Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.checkerframework.checker.lock Classes and Interfaces - 13 results found.
NameDescriptionTypePackageFramework
EnsuresLockHeldIndicates that the value expressions are LockHeld if the method terminates successfully.Classorg.checkerframework.checker.lock.qualChecker
EnsuresLockHeldIfIndicates that the given expressions are @LockHeld if the method returns the given result (either true or false).Classorg.checkerframework.checker.lock.qualChecker
GuardedByThe field (or other variable) to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-inClassorg.checkerframework.checker.lock.qualChecker
HoldingIndicates a method pre and postcondition: the method expects the specified expressions to be @LockHeld when the annotated methodClassorg.checkerframework.checker.lock.qualChecker
HoldingOnEntryIndicates a method precondition: the method expects the specified expressions to be @LockHeld when the annotated method is invoked.Classorg.checkerframework.checker.lock.qualChecker
LockAnalysisThe analysis class for the lock type system (serves as factory for the transfer function, stores and abstract values.Classorg.checkerframework.checker.lockChecker
LockAnnotatedTypeFactoryLockAnnotatedTypeFactory builds types with LockHeld and LockPossiblyHeld annotations.Classorg.checkerframework.checker.lockChecker
LockCheckerClassorg.checkerframework.checker.lockChecker
LockHeldClassorg.checkerframework.checker.lock.qualChecker
LockPossiblyHeldClassorg.checkerframework.checker.lock.qualChecker
LockStoreClassorg.checkerframework.checker.lockChecker
LockTransferClassorg.checkerframework.checker.lockChecker
LockVisitorThe LockVisitor enforces the subtyping rules of LockHeld and LockPossiblyHeld (via BaseTypeVisitor).Classorg.checkerframework.checker.lockChecker