Package org.checkerframework.common.value.qual

Annotation Interface DoubleVal

@Documented @Retention(RUNTIME) @Target({TYPE_PARAMETER,TYPE_USE}) @SubtypeOf(UnknownVal.class) public @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[]
    value
    The values that the expression might evaluate to.

  • Element Details

    • value

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