Package org.checkerframework.common.value.qual

Annotation Type 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 Detail

      • value

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