Package checkers.lock.quals

Annotation Types Summary

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 java.util.concurrent.Lock.
Holding	Indicates that when the method is invoked, the given locks must be held by the caller.