Package org.checkerframework.checker.lock.qual

Annotation Type 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:
    GuardedBy
    See the Checker Framework Manual:
    Lock Checker, Example use of @Holding

    • Required Element Summary

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