checkers.lock.quals
Annotation Type Holding

@Documented
@Target(value=METHOD)
@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

String[]

value

Element Detail

value

public abstract String[] value