Annotation Interface DoubleVal


An annotation indicating the possible values for a double or float type. If an expression's type has this annotation, then at run time, the expression evaluates to one of the annotation's arguments.

Annotation for values

See the Checker Framework Manual:
Constant Value Checker
  • Required Element Summary

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

    • value

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