| Name | Description | Type | Package | Framework |
| AbstractAtmComboVisitor | defaultErrorMessage. | Class | org.checkerframework.framework.type.visitor | Checker |
| AnnotatedTypeComparer | A TypeVisitor that takes an AnnotatedTypeMirror as a parameter, and visits it simultaneously. | Class | org.checkerframework.framework.type.visitor | Checker |
| AnnotatedTypeMerger | Replaces or adds all the annotations in the parameter with the annotations from the visited type. | Class | org.checkerframework.framework.type.visitor | Checker |
| AnnotatedTypeScanner | A TypeVisitor that visits all the child tree nodes. | Class | org.checkerframework.framework.type.visitor | Checker |
| AnnotatedTypeVisitor | A Visitor class of annotated types, in the style of the visitor A visitor of types, in the style of the visitor design pattern. | Interface | org.checkerframework.framework.type.visitor | Checker |
| AtmComboVisitor | Visitor interface for all pair-wise combinations of AnnotatedTypeMirrors. | Interface | org.checkerframework.framework.type.visitor | Checker |
| EquivalentAtmComboScanner | EquivalentAtmComboScanner is an AtmComboVisitor that accepts combinations that are identical in TypeMirror structure but might differ in contained AnnotationMirrors. | Class | org.checkerframework.framework.type.visitor | Checker |
| SimpleAnnotatedTypeScanner | Class | org.checkerframework.framework.type.visitor | Checker | |
| SimpleAnnotatedTypeVisitor | A simple visitor for AnnotatedTypeMirrors. | Class | org.checkerframework.framework.type.visitor | Checker |
| VisitHistory | IMPORTANT: DO NOT USE VisitHistory FOR VISITORS THAT UPDATE AN ANNOTATED TYPE MIRROR'S ANNOTATIONS OR YOU VIOLATE THE CONTRACT OF equals/Hashcode. | Class | org.checkerframework.framework.type.visitor | Checker |
| VisitorState | Represents the state of a visitor. | Class | org.checkerframework.framework.type | Checker |