Class Hierarchy
- java.lang.Object
- org.checkerframework.framework.ajava.AnnotationFileStore
- org.checkerframework.framework.ajava.AnnotationMirrorToAnnotationExprConversion
- org.checkerframework.framework.ajava.InsertAjavaAnnotations
- com.sun.source.util.SimpleTreeVisitor<R,
P> (implements com.sun.source.tree.TreeVisitor<R, P>) - org.checkerframework.framework.ajava.JointJavacJavaParserVisitor
- org.checkerframework.framework.ajava.DefaultJointVisitor
- org.checkerframework.framework.ajava.JointVisitorWithDefaultAction
- org.checkerframework.framework.ajava.JointJavacJavaParserVisitor
- com.sun.source.util.TreeScanner<R,
P> (implements com.sun.source.tree.TreeVisitor<R, P>) - org.checkerframework.framework.ajava.TreeScannerWithDefaults
- org.checkerframework.framework.ajava.ExpectedTreesVisitor
- org.checkerframework.framework.ajava.TreeScannerWithDefaults
- com.github.javaparser.ast.visitor.VoidVisitorAdapter<A> (implements com.github.javaparser.ast.visitor.VoidVisitor<A>)
- org.checkerframework.framework.ajava.AnnotationTransferVisitor
- org.checkerframework.framework.ajava.DoubleJavaParserVisitor
- org.checkerframework.framework.ajava.AnnotationEqualityVisitor
- org.checkerframework.framework.ajava.TypeAnnotationMover