org.checkerframework.checker.lock.qual

Annotation Types

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