Package org.checkerframework.checker.index.qual

Annotation Interface UpperBoundLiteral

@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @TargetLocations({LOWER_BOUND,UPPER_BOUND}) @SubtypeOf(LTEqLengthOf.class) public @interface UpperBoundLiteral
A literal value. Programmers should rarely write this type.
See the Checker Framework Manual:
Index Checker

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    int
    value
    Returns the value of the literal.

  • Element Details

    • value

      int value
      Returns the value of the literal.
      Returns:
      the value of the literal