| Class | Description |
|---|---|
| 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.
|