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