Search Java Classes and Packages
#Org.checkerframework.checker.lock.qual Classes and Interfaces - 7 results found.
| Name | Description | Type | Package | Framework |
| EnsuresLockHeld | Indicates that the value expressions are LockHeld if the method terminates successfully. | Class | org.checkerframework.checker.lock.qual | Checker |
| EnsuresLockHeldIf | Indicates that the given expressions are @LockHeld if the method returns the given result (either true or false). | Class | org.checkerframework.checker.lock.qual | Checker |
| GuardedBy | The field (or other variable) to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-in | Class | org.checkerframework.checker.lock.qual | Checker |
| Holding | Indicates a method pre and postcondition: the method expects the specified expressions to be @LockHeld when the annotated method | Class | org.checkerframework.checker.lock.qual | Checker |
| HoldingOnEntry | Indicates a method precondition: the method expects the specified expressions to be @LockHeld when the annotated method is invoked. | Class | org.checkerframework.checker.lock.qual | Checker |
| LockHeld | Class | org.checkerframework.checker.lock.qual | Checker | |
| LockPossiblyHeld | Class | org.checkerframework.checker.lock.qual | Checker | |