org.checkerframework.checker.lock.qual

Annotation Type Holding

@Documented
 @Target(value={METHOD,CONSTRUCTOR})
 @Retention(value=RUNTIME)
public @interface Holding

Indicates a method pre and postcondition: the method expects the specified expressions to be @LockHeld when the annotated method is invoked. It is also expected for the specified expressions to be @LockHeld when exiting the annotated method. The possible annotation parameter values are explained in GuardedBy.

See Also:

GuardedBy, HoldingOnEntry

See the Checker Framework Manual:

Lock Checker

Required Element Summary

Required Elements

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

Element Detail

value

public abstract String[] value

The Java expressions that need to be LockHeld.

See Also:

Syntax of Java expressions