checkers.lock.quals

Annotation Type Holding

public @interface Holding

Indicates that when the method is invoked, the given locks must be held by the caller.

The possible annotation parameter values are explained in GuardedBy.

See Also:

GuardedBy

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	value

Element Detail

value

public abstract String[] value