public boolean adjustValue( int key, int amount ) { synchronized( mutex ) { return m.adjustValue( key, amount ); } } public int adjustOrPutValue( int key, int adjust_amount, int put_amount ) {
private void checkMaxVisits(ExecutionNode node, VirtualMethod localMethod, TIntIntMap addressToVisitCount) throws MaxAddressVisitsExceededException, MaxMethodVisitsExceededException { if (totalVisits > getMaxMethodVisits()) { throw new MaxMethodVisitsExceededException(node, localMethod.getSignature()); } int address = node.getAddress(); int visitCount = addressToVisitCount.get(address); if (visitCount > getMaxAddressVisits()) { throw new MaxAddressVisitsExceededException(node, localMethod.getSignature()); } boolean adjusted = addressToVisitCount.adjustValue(address, 1); if (!adjusted) { addressToVisitCount.put(address, 1); } }
public boolean adjustValue( int key, int amount ) { synchronized( mutex ) { return m.adjustValue( key, amount ); } } public int adjustOrPutValue( int key, int adjust_amount, int put_amount ) {
public boolean adjustValue( int key, int amount ) { synchronized( mutex ) { return m.adjustValue( key, amount ); } } public int adjustOrPutValue( int key, int adjust_amount, int put_amount ) {
@Override public boolean adjustValue( int key, int amount ) { synchronized( mutex ) { return m.adjustValue( key, amount ); } } @Override
public boolean adjustValue( int key, int amount ) { synchronized( mutex ) { return m.adjustValue( key, amount ); } } public int adjustOrPutValue( int key, int adjust_amount, int put_amount ) {