org.checkerframework.checker.lock.qual

Annotation Type LockHeld

@SubtypeOf(value=LockPossiblyHeld.class)
 @InvisibleQualifier
 @Documented
 @Retention(value=RUNTIME)
 @Target(value={})
public @interface LockHeld

Indicates that an expression is used as a lock and the lock is known to be held on the current thread.

This annotation may not be written in source code; it is an implementation detail of the checker.

See Also:

LockPossiblyHeld

See the Checker Framework Manual:

Lock Checker