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