org.checkerframework.common.value.qual

Annotation Type IntVal

@Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_PARAMETER,TYPE_USE})
 @SubtypeOf(value=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.

See the Checker Framework Manual:

Constant Value Checker

Required Element Summary

Required Elements

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

Element Detail

value

public abstract long[] value

The values that the expression might evaluate to.