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