Annotation Type | Description |
---|---|
EnsuresLockHeld |
Indicates that the given expressions are held if the method
terminates successfully.
|
EnsuresLockHeldIf |
Indicates that the given expressions are held
if the method terminates successfully and returns the given result (either true or false).
|
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.
|
GuardedByBottom |
The bottom of the GuardedBy qualifier hierarchy.
|
GuardedByUnknown |
It is unknown what locks guard the value referred to by the annotated
variable.
|
GuardSatisfied |
If a variable
x has type @GuardSatisfied , then all
lock expressions for x 's value are held. |
Holding |
Indicates a method precondition: the specified expressions must be held
when the annotated method is invoked.
|
LockHeld |
Indicates that an expression is used as a lock and the lock
is known to be held on the current thread.
|
LockingFree |
The method neither acquires nor releases locks, nor do any of the
methods that it calls.
|
LockPossiblyHeld |
Indicates that an expression is not known to be
LockHeld . |
MayReleaseLocks |
It is unknown whether the method, or one of the methods it calls, releases
locks that were held prior to the method being called.
|
ReleasesNoLocks |
The method, and all the methods it calls, maintain a strictly
nondecreasing lock hold count on the current thread for any locks
that were held prior to the method call.
|