org.checkerframework.checker.lock.qual

Annotation Type Holding

@Documented
 @Retention(value=RUNTIME)
 @Target(value={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 and Description
String[]	value The Java expressions that need to be held.

Element Detail

value

public abstract String[] value

The Java expressions that need to be held.

See Also:

Syntax of Java expressions