Annotation 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
    Returns the value of the literal.
  • Element Details

    • value

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