Top Description Methods
org.checkerframework.checker.lock.qual

public @Interface Holding

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:METHOD, CONSTRUCTOR
@PreconditionAnnotation
qualifier:LockHeld
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.PreconditionAnnotation

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 java.util.concurrent.locks.Lock.

See Also
GuardedBy

Method Summary

Modifier and TypeMethod and Description
public String[]
value()

The Java expressions that need to be held.

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public String[] value()

The Java expressions that need to be held.

See Also
Syntax of Java expressions