Package org.checkerframework.checker.lock.qual

Annotation Type LockPossiblyHeld

@Documented
@Retention(RUNTIME)
@Target({})
@InvisibleQualifier
@SubtypeOf({})
@DefaultQualifierInHierarchy
@DefaultFor(value=LOWER_BOUND,
            types=java.lang.Void.class)
@TargetLocations(ALL)
@QualifierForLiterals(NULL)
public @interface LockPossiblyHeld

Indicates that an expression is not known to be LockHeld.

It is usually not necessary to write this annotation in source code. It is an implementation detail of the checker.

See Also:

LockHeld

See the Checker Framework Manual:

Lock Checker