Package org.checkerframework.common.value.qual

Annotation Interface 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.
See the Checker Framework Manual:
Constant Value Checker

  • Required Element Summary

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

  • Element Details

    • value

      long[] value
      The values that the expression might evaluate to.