Package org.checkerframework.common.value.qual

Annotation Type IntVal

@Documented
@Retention(RUNTIME)
@Target({TYPE_PARAMETER,TYPE_USE})
@SubtypeOf(UnknownVal.class)
public @interface IntVal

An annotation indicating the possible values for a byte, short, char, int, or long type. If an expression's type has this annotation, then at run time, the expression evaluates to one of the annotation's arguments.

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
long[]	value	The values that the expression might evaluate to.

Element Detail

value

long[] value

The values that the expression might evaluate to.