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

      • value

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