| Class | Description |
|---|---|
| DependentTypesError |
Helper class for creating dependent type annotation error strings.
|
| DependentTypesHelper |
A class that helps checkers use qualifiers that are represented by annotations with Java
expression strings.
|
| DependentTypesTreeAnnotator |
Standardizes Java expressions in annotations and also view points adapts field accesses.
|