Package org.checkerframework.checker.lock.qual
package org.checkerframework.checker.lock.qual
-
Annotation InterfacesClassDescriptionIndicates that the given expressions are held if the method terminates successfully.A wrapper annotation that makes the
EnsuresLockHeldannotation repeatable.Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).A wrapper annotation that makes theEnsuresLockHeldIfannotation repeatable.Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions.The bottom type in the GuardedBy type system.It is unknown what locks guard the value referred to by the annotated variable.If a variablexhas type@GuardSatisfied, then all lock expressions forx's value are held.Indicates a method precondition: the specified expressions must be held when the annotated method is invoked.Indicates that an expression is used as a lock and the lock is known to be held on the current thread.The method neither acquires nor releases locks, nor do any of the methods that it calls.Indicates that an expression is not known to beLockHeld.The method, or one of the methods it calls, might release locks that were held prior to the method being called.A type that represents a newly-constructed object.The method maintains a strictly nondecreasing lock held count on the current thread for any locks that were held prior to the method call.