| Class | Description |
|---|---|
| SearchIndexAnnotatedTypeFactory |
The Search Index Checker is used to help type the results of calls to the JDK's binary search
methods.
|
| SearchIndexChecker |
An internal checker that assists the Index Checker in typing the results of calls to the JDK's
Arrays.binarySearch routine. |
| SearchIndexTransfer |
The transfer function for the SearchIndexFor checker.
|