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