org.checkerframework.framework.ajava
Classes
AnnotationEqualityVisitor
AnnotationFileStore
AnnotationMirrorToAnnotationExprConversion
AnnotationTransferVisitor
DefaultJointVisitor
DoubleJavaParserVisitor
ExpectedTreesVisitor
InsertAjavaAnnotations
JointJavacJavaParserVisitor
JointVisitorWithDefaultAction
TreeScannerWithDefaults
TypeAnnotationMover