Annotation 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:
See the Checker Framework Manual:
Lock Checker