org.checkerframework.framework.qual
public @Interface JavaExpression
extends Annotation
- Annotations
- @Documented
- @Retention:RUNTIME
- @Target:METHOD
- Imports
- java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target
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.
