| 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 |