org.checkerframework.framework.qual

Annotation Type RequiresQualifier

@Documented
 @Retention(value=RUNTIME)
 @Target(value={METHOD,CONSTRUCTOR})
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 methods execution are indicated by expression and are specified using a string. The qualifier is specified by qualifier.

Author:

Stefan Heule

See the Checker Framework Manual:

Syntax of Java expressions

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
String[]	expression The Java expressions for which the annotation need to be present.
Class<? extends Annotation>	qualifier The qualifier that is required.

Element Detail

expression

public abstract String[] expression

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

The qualifier that is required.