Annotation Interface IntVal
@Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@SubtypeOf(UnknownVal.class)
public @interface IntVal
An annotation indicating the possible values for a byte, short, char, int, or long type. If an
expression's type has this annotation, then at run time, the expression evaluates to one of the
annotation's arguments.
- See the Checker Framework Manual:
- Constant Value Checker