Name | Description | Type | Package | Framework |
ImplicitsTypeAnnotator | Adds annotations to a type based on the contents of a type. | Class | org.checkerframework.framework.type.typeannotator | Checker |
ListTypeAnnotator | ListTypeAnnotator is a TypeAnnotator that executes a list of TypeAnnotator for each type visited. | Class | org.checkerframework.framework.type.typeannotator | Checker |
PropagationTypeAnnotator | PropagationTypeAnnotator adds qualifiers to types where the qualifier to add should be transferred from one or more other types. | Class | org.checkerframework.framework.type.typeannotator | Checker |
TypeAnnotator | TypeAnnotator is an abstract AnnotatedTypeScanner to be used with ListTypeAnnotator | Class | org.checkerframework.framework.type.typeannotator | Checker |