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

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.