Package org.checkerframework.framework.util.dependenttypes
-
Class Summary 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.