org.checkerframework.common.value.qual

public @Interface IntVal

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 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.

Method Summary

Modifier and Type	Method and Description
public long[]	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 long[] value() The values that the expression might evaluate to.