org.checkerframework.checker.lock.qual

Annotation Types

• EnsuresLockHeld
• EnsuresLockHeldIf
• GuardedBy
• GuardedByBottom
• GuardedByUnknown
• GuardSatisfied
• Holding
• LockHeld
• LockingFree
• LockPossiblyHeld
• MayReleaseLocks
• ReleasesNoLocks