@Target(value=METHOD)
@Retention(value=RUNTIME)
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