org.checkerframework.checker.lock.qual

Annotation Type LockPossiblyHeld

@InvisibleQualifier
 @SubtypeOf(value={})
 @Documented
 @DefaultQualifierInHierarchy
 @DefaultFor(value=LOWER_BOUND)
 @DefaultQualifierInHierarchyInUncheckedCode
 @DefaultInUncheckedCodeFor(value={PARAMETER,LOWER_BOUND})
 @Retention(value=RUNTIME)
 @Target(value={})
public @interface LockPossiblyHeld

Indicates that an expression is not known to be LockHeld.

This annotation may not be written in source code; it is an implementation detail of the checker.

See Also:

LockHeld

See the Checker Framework Manual:

Lock Checker