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 viewpoint-adapts field accesses.
|