| package org.checkerframework.framework.ajava; |
| |
| import com.github.javaparser.ast.CompilationUnit; |
| import com.github.javaparser.ast.ImportDeclaration; |
| import com.github.javaparser.ast.Node; |
| import com.github.javaparser.ast.PackageDeclaration; |
| import com.github.javaparser.ast.body.AnnotationDeclaration; |
| import com.github.javaparser.ast.body.AnnotationMemberDeclaration; |
| import com.github.javaparser.ast.body.ClassOrInterfaceDeclaration; |
| import com.github.javaparser.ast.body.ConstructorDeclaration; |
| import com.github.javaparser.ast.body.EnumConstantDeclaration; |
| import com.github.javaparser.ast.body.EnumDeclaration; |
| import com.github.javaparser.ast.body.MethodDeclaration; |
| import com.github.javaparser.ast.body.Parameter; |
| import com.github.javaparser.ast.body.ReceiverParameter; |
| import com.github.javaparser.ast.body.VariableDeclarator; |
| import com.github.javaparser.ast.expr.ArrayAccessExpr; |
| import com.github.javaparser.ast.expr.AssignExpr; |
| import com.github.javaparser.ast.expr.BinaryExpr; |
| import com.github.javaparser.ast.expr.CastExpr; |
| import com.github.javaparser.ast.expr.ClassExpr; |
| import com.github.javaparser.ast.expr.ConditionalExpr; |
| import com.github.javaparser.ast.expr.EnclosedExpr; |
| import com.github.javaparser.ast.expr.FieldAccessExpr; |
| import com.github.javaparser.ast.expr.InstanceOfExpr; |
| import com.github.javaparser.ast.expr.LambdaExpr; |
| import com.github.javaparser.ast.expr.LiteralExpr; |
| import com.github.javaparser.ast.expr.MarkerAnnotationExpr; |
| import com.github.javaparser.ast.expr.MethodCallExpr; |
| import com.github.javaparser.ast.expr.MethodReferenceExpr; |
| import com.github.javaparser.ast.expr.Name; |
| import com.github.javaparser.ast.expr.NameExpr; |
| import com.github.javaparser.ast.expr.NormalAnnotationExpr; |
| import com.github.javaparser.ast.expr.ObjectCreationExpr; |
| import com.github.javaparser.ast.expr.SimpleName; |
| import com.github.javaparser.ast.expr.SingleMemberAnnotationExpr; |
| import com.github.javaparser.ast.expr.SuperExpr; |
| import com.github.javaparser.ast.expr.ThisExpr; |
| import com.github.javaparser.ast.expr.UnaryExpr; |
| import com.github.javaparser.ast.modules.ModuleDeclaration; |
| import com.github.javaparser.ast.modules.ModuleExportsDirective; |
| import com.github.javaparser.ast.modules.ModuleOpensDirective; |
| import com.github.javaparser.ast.modules.ModuleProvidesDirective; |
| import com.github.javaparser.ast.modules.ModuleRequiresDirective; |
| import com.github.javaparser.ast.modules.ModuleUsesDirective; |
| import com.github.javaparser.ast.stmt.AssertStmt; |
| import com.github.javaparser.ast.stmt.BlockStmt; |
| import com.github.javaparser.ast.stmt.BreakStmt; |
| import com.github.javaparser.ast.stmt.CatchClause; |
| import com.github.javaparser.ast.stmt.ContinueStmt; |
| import com.github.javaparser.ast.stmt.DoStmt; |
| import com.github.javaparser.ast.stmt.EmptyStmt; |
| import com.github.javaparser.ast.stmt.ExplicitConstructorInvocationStmt; |
| import com.github.javaparser.ast.stmt.ExpressionStmt; |
| import com.github.javaparser.ast.stmt.ForEachStmt; |
| import com.github.javaparser.ast.stmt.ForStmt; |
| import com.github.javaparser.ast.stmt.IfStmt; |
| import com.github.javaparser.ast.stmt.LabeledStmt; |
| import com.github.javaparser.ast.stmt.ReturnStmt; |
| import com.github.javaparser.ast.stmt.SwitchEntry; |
| import com.github.javaparser.ast.stmt.SwitchStmt; |
| import com.github.javaparser.ast.stmt.SynchronizedStmt; |
| import com.github.javaparser.ast.stmt.ThrowStmt; |
| import com.github.javaparser.ast.stmt.TryStmt; |
| import com.github.javaparser.ast.stmt.WhileStmt; |
| import com.github.javaparser.ast.type.ArrayType; |
| import com.github.javaparser.ast.type.ClassOrInterfaceType; |
| import com.github.javaparser.ast.type.IntersectionType; |
| import com.github.javaparser.ast.type.PrimitiveType; |
| import com.github.javaparser.ast.type.TypeParameter; |
| import com.github.javaparser.ast.type.UnionType; |
| import com.github.javaparser.ast.type.VoidType; |
| import com.github.javaparser.ast.type.WildcardType; |
| import com.sun.source.tree.AnnotatedTypeTree; |
| import com.sun.source.tree.AnnotationTree; |
| import com.sun.source.tree.ArrayAccessTree; |
| import com.sun.source.tree.ArrayTypeTree; |
| import com.sun.source.tree.AssertTree; |
| import com.sun.source.tree.AssignmentTree; |
| import com.sun.source.tree.BinaryTree; |
| import com.sun.source.tree.BlockTree; |
| import com.sun.source.tree.BreakTree; |
| import com.sun.source.tree.CaseTree; |
| import com.sun.source.tree.CatchTree; |
| import com.sun.source.tree.ClassTree; |
| import com.sun.source.tree.CompilationUnitTree; |
| import com.sun.source.tree.CompoundAssignmentTree; |
| import com.sun.source.tree.ConditionalExpressionTree; |
| import com.sun.source.tree.ContinueTree; |
| import com.sun.source.tree.DoWhileLoopTree; |
| import com.sun.source.tree.EmptyStatementTree; |
| import com.sun.source.tree.EnhancedForLoopTree; |
| import com.sun.source.tree.ExportsTree; |
| import com.sun.source.tree.ExpressionStatementTree; |
| import com.sun.source.tree.ForLoopTree; |
| import com.sun.source.tree.IdentifierTree; |
| import com.sun.source.tree.IfTree; |
| import com.sun.source.tree.ImportTree; |
| import com.sun.source.tree.InstanceOfTree; |
| import com.sun.source.tree.IntersectionTypeTree; |
| import com.sun.source.tree.LabeledStatementTree; |
| import com.sun.source.tree.LambdaExpressionTree; |
| import com.sun.source.tree.LiteralTree; |
| import com.sun.source.tree.MemberReferenceTree; |
| import com.sun.source.tree.MemberSelectTree; |
| import com.sun.source.tree.MethodInvocationTree; |
| import com.sun.source.tree.MethodTree; |
| import com.sun.source.tree.ModuleTree; |
| import com.sun.source.tree.NewClassTree; |
| import com.sun.source.tree.OpensTree; |
| import com.sun.source.tree.PackageTree; |
| import com.sun.source.tree.ParameterizedTypeTree; |
| import com.sun.source.tree.ParenthesizedTree; |
| import com.sun.source.tree.PrimitiveTypeTree; |
| import com.sun.source.tree.ProvidesTree; |
| import com.sun.source.tree.RequiresTree; |
| import com.sun.source.tree.ReturnTree; |
| import com.sun.source.tree.SwitchTree; |
| import com.sun.source.tree.SynchronizedTree; |
| import com.sun.source.tree.ThrowTree; |
| import com.sun.source.tree.Tree; |
| import com.sun.source.tree.TryTree; |
| import com.sun.source.tree.TypeCastTree; |
| import com.sun.source.tree.TypeParameterTree; |
| import com.sun.source.tree.UnaryTree; |
| import com.sun.source.tree.UnionTypeTree; |
| import com.sun.source.tree.UsesTree; |
| import com.sun.source.tree.VariableTree; |
| import com.sun.source.tree.WhileLoopTree; |
| import com.sun.source.tree.WildcardTree; |
| |
| /** |
| * A {@code JointJavacJavaParserVisitor} that visits all javac trees with their corresponding |
| * JavaParser nodes and performs some default action on each pair. |
| * |
| * <p>To use this class, override {@code defaultAction}. |
| */ |
| public abstract class JointVisitorWithDefaultAction extends JointJavacJavaParserVisitor { |
| /** |
| * Action performed on each javac tree and JavaParser node pair. |
| * |
| * @param javacTree tree to process |
| * @param javaParserNode corresponding JavaParser node |
| */ |
| public abstract void defaultAction(Tree javacTree, Node javaParserNode); |
| |
| @Override |
| public void processAnnotation(AnnotationTree javacTree, NormalAnnotationExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processAnnotation(AnnotationTree javacTree, MarkerAnnotationExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processAnnotation( |
| AnnotationTree javacTree, SingleMemberAnnotationExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processAnnotatedType(AnnotatedTypeTree javacTree, Node javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processArrayAccess(ArrayAccessTree javacTree, ArrayAccessExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processArrayType(ArrayTypeTree javacTree, ArrayType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processAssert(AssertTree javacTree, AssertStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processAssignment(AssignmentTree javacTree, AssignExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processBinary(BinaryTree javacTree, BinaryExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processBlock(BlockTree javacTree, BlockStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processBreak(BreakTree javacTree, BreakStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processCase(CaseTree javacTree, SwitchEntry javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processCatch(CatchTree javacTree, CatchClause javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processClass(ClassTree javacTree, AnnotationDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processClass(ClassTree javacTree, ClassOrInterfaceDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processClass(ClassTree javacTree, EnumDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processCompilationUnit( |
| CompilationUnitTree javacTree, CompilationUnit javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processConditionalExpression( |
| ConditionalExpressionTree javacTree, ConditionalExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processContinue(ContinueTree javacTree, ContinueStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processDoWhileLoop(DoWhileLoopTree javacTree, DoStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processEmptyStatement(EmptyStatementTree javacTree, EmptyStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processEnhancedForLoop(EnhancedForLoopTree javacTree, ForEachStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processExports(ExportsTree javacTree, ModuleExportsDirective javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processExpressionStatemen( |
| ExpressionStatementTree javacTree, ExpressionStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processForLoop(ForLoopTree javacTree, ForStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processIdentifier(IdentifierTree javacTree, ClassOrInterfaceType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processIdentifier(IdentifierTree javacTree, Name javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processIdentifier(IdentifierTree javacTree, NameExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processIdentifier(IdentifierTree javacTree, SimpleName javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processIdentifier(IdentifierTree javacTree, SuperExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processIdentifier(IdentifierTree javacTree, ThisExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processIf(IfTree javacTree, IfStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processImport(ImportTree javacTree, ImportDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processInstanceOf(InstanceOfTree javacTree, InstanceOfExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processIntersectionType( |
| IntersectionTypeTree javacTree, IntersectionType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processLabeledStatement(LabeledStatementTree javacTree, LabeledStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processLambdaExpression(LambdaExpressionTree javacTree, LambdaExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processLiteral(LiteralTree javacTree, BinaryExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processLiteral(LiteralTree javacTree, UnaryExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processLiteral(LiteralTree javacTree, LiteralExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMemberReference( |
| MemberReferenceTree javacTree, MethodReferenceExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMemberSelect(MemberSelectTree javacTree, ClassExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMemberSelect(MemberSelectTree javacTree, ClassOrInterfaceType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMemberSelect(MemberSelectTree javacTree, FieldAccessExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMemberSelect(MemberSelectTree javacTree, Name javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMemberSelect(MemberSelectTree javacTree, ThisExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMemberSelect(MemberSelectTree javacTree, SuperExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMethod(MethodTree javacTree, MethodDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMethod(MethodTree javacTree, ConstructorDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMethod(MethodTree javacTree, AnnotationMemberDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMethodInvocation( |
| MethodInvocationTree javacTree, ExplicitConstructorInvocationStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processMethodInvocation( |
| MethodInvocationTree javacTree, MethodCallExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processModule(ModuleTree javacTree, ModuleDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processNewClass(NewClassTree javacTree, ObjectCreationExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processOpens(OpensTree javacTree, ModuleOpensDirective javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processOther(Tree javacTree, Node javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processPackage(PackageTree javacTree, PackageDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processParameterizedType( |
| ParameterizedTypeTree javacTree, ClassOrInterfaceType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processParenthesized(ParenthesizedTree javacTree, EnclosedExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processPrimitiveType(PrimitiveTypeTree javacTree, PrimitiveType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processPrimitiveType(PrimitiveTypeTree javacTree, VoidType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processProvides(ProvidesTree javacTree, ModuleProvidesDirective javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processRequires(RequiresTree javacTree, ModuleRequiresDirective javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processReturn(ReturnTree javacTree, ReturnStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processSwitch(SwitchTree javacTree, SwitchStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processSynchronized(SynchronizedTree javacTree, SynchronizedStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processThrow(ThrowTree javacTree, ThrowStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processTry(TryTree javacTree, TryStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processTypeCast(TypeCastTree javacTree, CastExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processTypeParameter(TypeParameterTree javacTree, TypeParameter javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processUnary(UnaryTree javacTree, UnaryExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processUnionType(UnionTypeTree javacTree, UnionType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processUses(UsesTree javacTree, ModuleUsesDirective javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processVariable(VariableTree javacTree, EnumConstantDeclaration javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processVariable(VariableTree javacTree, Parameter javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processVariable(VariableTree javacTree, ReceiverParameter javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processVariable(VariableTree javacTree, VariableDeclarator javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processWhileLoop(WhileLoopTree javacTree, WhileStmt javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processWildcard(WildcardTree javacTree, WildcardType javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| |
| @Override |
| public void processCompoundAssignment( |
| CompoundAssignmentTree javacTree, AssignExpr javaParserNode) { |
| defaultAction(javacTree, javaParserNode); |
| } |
| } |