Package org.checkerframework.checker.lock.qual

Annotation Interface Holding

@Documented @Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) @PreconditionAnnotation(qualifier=LockHeld.class) public @interface Holding
Indicates a method precondition: the specified expressions must be held when the annotated method is invoked.

The argument is a string or set of strings that indicates the expression(s) that must be held, using the syntax of Java expressions described in the manual. The expressions evaluate to an intrinsic (built-in, synchronization) monitor, or an explicit Lock.

See Also:
See the Checker Framework Manual:
Lock Checker, Example use of @Holding

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String[]
    value
    The Java expressions that need to be held.