Package checkers.lock.quals

Annotation Types Summary

Annotation Type	Description
GuardedBy	The field or method to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-in (synchronization) lock, or may be an explicit Lock.
Holding	Indicates that when the method is invoked, the given locks must be held by the caller.