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.