Indicates that the given expressions are held if the method terminates successfully.
Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).
Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions.
The bottom type in the GuardedBy type system.
It is unknown what locks guard the value referred to by the annotated variable.
If a variable
Indicates a method precondition: the specified expressions must be held when the annotated method is invoked.
Indicates that an expression is used as a lock and the lock is known to be held on the current thread.
The method neither acquires nor releases locks, nor do any of the methods that it calls.
Indicates that an expression is not known to be
The method, or one of the methods it calls, might release locks that were held prior to the method being called.
The method maintains a strictly nondecreasing lock held count on the current thread for any locks that were held prior to the method call.