Package org.checkerframework.framework.type.typeannotator
package org.checkerframework.framework.type.typeannotator
-
ClassesClassDescriptionAdds annotations to a type based on the use of a type.Implements support for
DefaultQualifierForUseandNoDefaultQualifierForUse.Adds annotations to types that are not relevant specified by theRelevantJavaTypeson a checker.ListTypeAnnotator is a TypeAnnotator that executes a list ofTypeAnnotatorfor each type visited.PropagationTypeAnnotatoradds qualifiers to types where the qualifier to add should be transferred from one or more other types.TypeAnnotatoris an abstract AnnotatedTypeScanner to be used withListTypeAnnotator.