org.checkerframework.checker.lock.qual

Annotation Type LockPossiblyHeld

@Documented
 @Retention(value=RUNTIME)
 @Target(value={})
 @InvisibleQualifier
 @SubtypeOf(value={})
 @DefaultQualifierInHierarchy
 @DefaultFor(value=LOWER_BOUND,
            types=java.lang.Void.class)
 @QualifierForLiterals(value=NULL)
 @DefaultQualifierInHierarchyInUncheckedCode
 @DefaultInUncheckedCodeFor(value={PARAMETER,LOWER_BOUND})
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