Package org.checkerframework.checker.lock.qual

Annotation Types Summary

Annotation Type	Description
EnsuresLockHeld	Indicates that the given expressions are held if the method terminates successfully.
EnsuresLockHeld.List	A wrapper annotation that makes the EnsuresLockHeld annotation repeatable.
EnsuresLockHeldIf	Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).
EnsuresLockHeldIf.List	A wrapper annotation that makes the EnsuresLockHeldIf annotation repeatable.
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 type in the GuardedBy type system.
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	The method, or one of the methods it calls, might release locks that were held prior to the method being called.
NewObject	A type that represents a newly-constructed object.
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.