@EnsuresLockHeldIf(expression = "this", result = true) boolean tryLock() { if (b) { lock2(); return true; } return false; }
void lockTheLock2() { myLock.lock2(); bar.field.toString(); }
@EnsuresLockHeldIf(expression = "this", result = true) boolean tryLock() { if (b) { lock2(); return true; } return false; }
void lockTheLock2() { myLock.lock2(); bar.field.toString(); }