org.checkerframework.framework.qual

Annotation Type RequiresQualifier

@Documented
 @Retention(value=RUNTIME)
 @Target(value={METHOD,CONSTRUCTOR})
 @Repeatable(value=RequiresQualifier.List.class)
public @interface RequiresQualifier

A precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to the method. The expressions for which the annotation must hold after the method's execution are indicated by expression and are specified using a string. The qualifier is specified by qualifier.

See the Checker Framework Manual:

Syntax of Java expressions

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	expression
Class<? extends Annotation>	qualifier

Element Detail

expression

public abstract String[] expression

Returns:

the Java expressions for which the annotation need to be present

See the Checker Framework Manual:

Syntax of Java expressions

qualifier

public abstract Class<? extends Annotation> qualifier

Returns:

the qualifier that is required