org.checkerframework.framework.ajava

Classes

• AnnotationEqualityVisitor
• AnnotationFileStore
• AnnotationMirrorToAnnotationExprConversion
• AnnotationTransferVisitor
• DefaultJointVisitor
• DoubleJavaParserVisitor
• ExpectedTreesVisitor
• InsertAjavaAnnotations
• JointJavacJavaParserVisitor
• JointVisitorWithDefaultAction
• TreeScannerWithDefaults
• TypeAnnotationMover