Package org.checkerframework.framework.ajava

package org.checkerframework.framework.ajava

Classes

Class	Description
AnnotationEqualityVisitor	Given two ASTs representing the same Java file that may differ in annotations, tests if they have the same annotations.
AnnotationFileStore	Stores a collection of annotation files.
AnnotationMirrorToAnnotationExprConversion	Methods for converting a AnnotationMirror into a JavaParser AnnotationExpr, namely annotationMirrorToAnnotationExpr.
AnnotationTransferVisitor	A visitor that adds all annotations from a AnnotatedTypeMirror to the corresponding JavaParser type, including nested types like array components.
DefaultJointVisitor	An implementation of JointJavacJavaParserVisitor where process methods do nothing.
DoubleJavaParserVisitor	A visitor that visits two JavaParser ASTs simultaneously that almost match.
ExpectedTreesVisitor	After this visitor visits a tree, ExpectedTreesVisitor.getTrees() returns all the trees that should match with some JavaParser node.
InsertAjavaAnnotations	This program inserts annotations from an ajava file into a Java file.
JointJavacJavaParserVisitor	A visitor that processes javac trees and JavaParser nodes simultaneously, matching corresponding nodes.
JointVisitorWithDefaultAction	A JointJavacJavaParserVisitor that visits all javac trees with their corresponding JavaParser nodes and performs some default action on each pair.
TreeScannerWithDefaults	A visitor that performs some default action on a tree and then all of its children.
TypeAnnotationMover	Moves annotations in a JavaParser AST from declaration position onto the types they correspond to.