| Modifier and Type | Annotation and Description |
|---|---|
| public @interface | EnsuresLockHeld
Indicates that the given expressions are held if the method terminates successfully. |
| public @interface | EnsuresLockHeldIf
Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false). |
| public @interface | GuardedBy
Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions. |
| public @interface | GuardedByBottom
The bottom type in the GuardedBy type system. |
| public @interface | GuardedByUnknown
It is unknown what locks guard the value referred to by the annotated variable. |
| public @interface | GuardSatisfied
If a variable |
| public @interface | Holding
Indicates a method precondition: the specified expressions must be held when the annotated method is invoked. |
| public @interface | LockHeld
Indicates that an expression is used as a lock and the lock is known to be held on the current thread. |
| public @interface | LockingFree
The method neither acquires nor releases locks, nor do any of the methods that it calls. |
| public @interface | LockPossiblyHeld
Indicates that an expression is not known to be |
| public @interface | MayReleaseLocks
The method, or one of the methods it calls, might release locks that were held prior to the method being called. |
| public @interface | NewObject
A type that represents a newly-constructed object. |
| public @interface | ReleasesNoLocks
The method maintains a strictly nondecreasing lock held count on the current thread for any locks that were held prior to the method call. |