Annotation Type 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 beLockHeld
.This annotation may not be written in source code; it is an implementation detail of the checker.
- See Also:
LockHeld