Annotation Interface LockPossiblyHeld
@Documented
@Retention(RUNTIME)
@Target({})
@InvisibleQualifier
@SubtypeOf({})
@DefaultQualifierInHierarchy
@DefaultFor(value=LOWER_BOUND,
types=java.lang.Void.class)
@QualifierForLiterals(NULL)
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:
- See the Checker Framework Manual:
- Lock Checker