org.checkerframework.checker.lock.qual

Annotation Type LockPossiblyHeld

@SubtypeOf(value={})
 @Documented
 @DefaultQualifierInHierarchy
 @Retention(value=RUNTIME)
 @Target(value=TYPE_USE)
public @interface LockPossiblyHeld

LockPossiblyHeld is a type annotation that indicates that the value is not known to be @LockHeld (see LockHeld).

See Also:

LockHeld

See the Checker Framework Manual:

Lock Checker