@InvisibleQualifier @SubtypeOf(value={}) @Documented @DefaultQualifierInHierarchy @DefaultFor(value=LOWER_BOUND) @DefaultQualifierInHierarchyInUncheckedCode @DefaultInUncheckedCodeFor(value={PARAMETER,LOWER_BOUND}) @Retention(value=RUNTIME) @Target(value={}) public @interface LockPossiblyHeld
LockHeld
.
This annotation may not be written in source code; it is an implementation detail of the checker.
LockHeld