org.checkerframework.checker.index.qual

Annotation Types

• GTENegativeOne
• IndexFor
• IndexOrHigh
• IndexOrLow
• LengthOf
• LowerBoundBottom
• LowerBoundUnknown
• LTEqLengthOf
• LTLengthOf
• LTOMLengthOf
• NegativeIndexFor
• NonNegative
• PolyIndex
• PolyLength
• PolyLowerBound
• PolySameLen
• PolyUpperBound
• Positive
• SameLen
• SameLenBottom
• SameLenUnknown
• SearchIndexBottom
• SearchIndexFor
• SearchIndexUnknown
• UpperBoundBottom
• UpperBoundUnknown