Annotation Interface 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