Package org.checkerframework.checker.lock.qual

Annotation Type LockHeld

@Documented
@Retention(RUNTIME)
@Target({})
@SubtypeOf(LockPossiblyHeld.class)
@InvisibleQualifier
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