Package org.checkerframework.framework.qual

Annotation Type JavaExpression

@Documented
@Retention(RUNTIME)
@Target(METHOD)
public @interface JavaExpression

An annotation to use on an element of a dependent type qualifier to specify which elements of the annotation should be interpreted as Java expressions. The type of the element must be an array of Strings.

See the Checker Framework Manual:

Syntax of Java expressions