org.checkerframework.common.value.qual

public @Interface DoubleVal

Annotations

@Documented
@Retention:RUNTIME
@Target:TYPE_PARAMETER, TYPE_USE
@SubtypeOf:UnknownVal

Imports

java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf

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

Method Summary

Modifier and Type	Method and Description
public double[]	value() The values that the expression might evaluate to.

Inherited from java.lang.annotation.Annotation:: annotationType equals hashCode toString

Method Detail

value	back to summary
public double[] value() The values that the expression might evaluate to.