| 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 int value.
|
| UBQualifier |
Abstraction for Upper Bound annotations.
|
| 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.
|