checkers.lock.quals
Annotation Type GuardedBy

@Target(value=TYPE_USE)
@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:

• this : The intrinsic lock of the object in whose class the field is defined.
• class-name.this : For inner classes, it may be necessary to disambiguate 'this'; the class-name.this designation allows you to specify which 'this' reference is intended
• itself : For reference fields only; the object to which the field refers.
• field-name : The lock object is referenced by the (instance or static) field specified by field-name.
• class-name.field-name : The lock object is reference by the static field specified by class-name.field-name.
• method-name() : The lock object is returned by calling the named nil-ary method.
• class-name.class : The Class object for the specified class should be used as the lock object.

Required Element Summary

Modifier and Type	Required Element and Description
String	value

Element Detail

value

public abstract String value