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 method's 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
java.lang.String[]	expression The Java expressions for which the annotation need to be present.
java.lang.Class<? extends java.lang.annotation.Annotation>	qualifier The qualifier that is required.

Element Detail

expression

public abstract java.lang.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 java.lang.Class<? extends java.lang.annotation.Annotation> qualifier

The qualifier that is required.