| Class | Description |
|---|---|
| OffsetEquation |
An offset equation is 2 sets of Java expression strings, one set of added terms and one set of
subtracted terms, and a single integer constant.
|
| UBQualifier |
Abstraction for Upper Bound annotations.
|
| UBQualifier.LessThanLengthOf | |
| UBQualifier.UpperBoundUnknownQualifier | |
| UpperBoundAnnotatedTypeFactory |
Implements the introduction rules for the Upper Bound Checker.
|
| UpperBoundChecker |
A type-checker for preventing arrays from being accessed with values that are too high.
|
| UpperBoundTransfer | |
| UpperBoundVisitor |
Warns about array accesses that could be too high.
|