org.checkerframework.common.value.qual

Annotation Type DoubleVal

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

Element Detail

value

public abstract double[] value

The values that the expression might evaluate to.