org.checkerframework.checker.index.upperbound

Classes

• OffsetEquation
• UBQualifier
• UBQualifier.LessThanLengthOf
• UBQualifier.UpperBoundUnknownQualifier
• UpperBoundAnnotatedTypeFactory
• UpperBoundChecker
• UpperBoundTransfer
• UpperBoundVisitor