Package org.checkerframework.framework.util.dependenttypes
package org.checkerframework.framework.util.dependenttypes
-
ClassesClassDescriptionHelper class for creating dependent type annotation error strings.A class that helps checkers use qualifiers that are represented by annotations with Java expression strings.Standardizes Java expressions in annotations and also viewpoint-adapts field accesses.