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