| Class | Description |
|---|---|
| BaseAnnotatedTypeFactoryForIndexChecker |
A class for functionality common to multiple type-checkers that are used by the Index Checker.
|
| IndexAbstractTransfer |
This class provides methods shared by the Index Checker's internal checkers in their transfer
functions.
|
| IndexChecker |
A type checker for preventing out-of-bounds accesses on fixed-length sequences, such as arrays
and strings.
|
| IndexMethodIdentifier |
Given a Tree or other construct, this class has methods to query whether it is a particular
method call.
|
| IndexRefinementInfo |
This struct contains all of the information that the refinement functions need.
|
| IndexUtil |
A collection of utility functions used by several Index Checker subcheckers.
|
| OffsetDependentTypesHelper |
Dependent type helper for array offset expressions.
|
| Subsequence |
Holds information from
HasSubsequence annotations. |