Annotation Interface BoolVal
@Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@SubtypeOf(UnknownVal.class)
public @interface BoolVal
An annotation indicating the possible values for a bool 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
-
Required Element Summary
Modifier and TypeRequired ElementDescriptionboolean[]
The values that the expression might evaluate to.
-
Element Details
-
value
boolean[] valueThe values that the expression might evaluate to.
-