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

Element Detail

value

public abstract double[] value