checkers.lock.quals
Annotation Type Holding


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

Indicates that when the method is invoked, the given locks must be held by the caller. The possible values are explained in GuardedBy possible values.

See Also:
GuardedBy

Required Element Summary
Modifier and Type Required Element and Description
 String[] value
           
 

Element Detail

value

public abstract String[] value