org.checkerframework.checker.index.qual

Annotation Types

• GTENegativeOne
• IndexFor
• IndexOrHigh
• IndexOrLow
• LowerBoundUnknown
• LTEqLengthOf
• LTLengthOf
• LTOMLengthOf
• MinLen
• MinLenBottom
• NonNegative
• PolyIndex
• PolyLowerBound
• PolyMinLen
• PolySameLen
• PolyUpperBound
• Positive
• SameLen
• SameLenBottom
• SameLenUnknown
• UpperBoundBottom
• UpperBoundUnknown