checkers.lock.quals
Annotation Type GuardedBy


@Retention(value=RUNTIME)
public @interface GuardedBy

The field or method to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-in (synchronization) lock, or may be an explicit Lock. The argument is a string that indicates which lock guards the annotated variable:


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

Element Detail

value

public abstract String value