org.checkerframework.checker.lock.qual

Annotation Type GuardedBy

@SubtypeOf(value=GuardedByUnknown.class)
 @Documented
 @DefaultQualifierInHierarchy
 @DefaultFor(value={EXCEPTION_PARAMETER,UPPER_BOUND})
 @DefaultInUncheckedCodeFor(value=PARAMETER)
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface GuardedBy

Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions.

@GuardedBy({}) is the default type qualifier.

The argument is a string or set of strings that indicates the expression(s) that must be held, using the syntax of Java expressions described in the manual. The expressions evaluate to an intrinsic (built-in, synchronization) monitor or an explicit Lock. The expression "<self>" is also permitted; the type @GuardedBy("<self>") Object o indicates that the value referenced by o is guarded by the intrinsic (monitor) lock of the value referenced by o.

Two @GuardedBy annotations with different argument expressions are unrelated by subtyping.

See Also:

Holding

See the Checker Framework Manual:

Lock Checker, Example use of @GuardedBy

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String[]	value The Java value expressions that need to be held.

Element Detail

value

public abstract String[] value

The Java value expressions that need to be held.

See Also:

Syntax of Java expressions

Default:

{}