Annotation 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

    Required Elements
    Modifier and Type
    Required Element
    Description
    boolean[]
    The values that the expression might evaluate to.
  • Element Details

    • value

      boolean[] value
      The values that the expression might evaluate to.