org.checkerframework.framework.ajava.JointVisitorWithDefaultAction Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of checker Show documentation
The Checker Framework enhances Java's type system to make it more powerful and useful. This lets software developers detect and prevent errors in their Java programs. The Checker Framework includes compiler plug-ins ("checkers") that find bugs or verify their absence. It also permits you to write your own compiler plug-ins.
There is a newer version: 3.42.0-eisop4
Show newest version
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.CompactConstructorDeclaration;
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.RecordDeclaration;
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.PatternExpr;
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.SwitchExpr;
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.stmt.YieldStmt;
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.
 *
 * To use this class, override {@code defaultJointAction}.
 */
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 defaultJointAction(Tree javacTree, Node javaParserNode);

    @Override
    public void processAnnotation(AnnotationTree javacTree, NormalAnnotationExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processAnnotation(AnnotationTree javacTree, MarkerAnnotationExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processAnnotation(
            AnnotationTree javacTree, SingleMemberAnnotationExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processAnnotatedType(AnnotatedTypeTree javacTree, Node javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processArrayAccess(ArrayAccessTree javacTree, ArrayAccessExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processArrayType(ArrayTypeTree javacTree, ArrayType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processAssert(AssertTree javacTree, AssertStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processAssignment(AssignmentTree javacTree, AssignExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processBinary(BinaryTree javacTree, BinaryExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processBindingPattern(Tree javacTree, PatternExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processBlock(BlockTree javacTree, BlockStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processBreak(BreakTree javacTree, BreakStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processCase(CaseTree javacTree, SwitchEntry javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processCatch(CatchTree javacTree, CatchClause javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processClass(ClassTree javacTree, AnnotationDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processClass(ClassTree javacTree, ClassOrInterfaceDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processClass(ClassTree javacTree, EnumDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processClass(ClassTree javacTree, RecordDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processCompilationUnit(
            CompilationUnitTree javacTree, CompilationUnit javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processConditionalExpression(
            ConditionalExpressionTree javacTree, ConditionalExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processContinue(ContinueTree javacTree, ContinueStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processDoWhileLoop(DoWhileLoopTree javacTree, DoStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processEmptyStatement(EmptyStatementTree javacTree, EmptyStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processEnhancedForLoop(EnhancedForLoopTree javacTree, ForEachStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processExports(ExportsTree javacTree, ModuleExportsDirective javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processExpressionStatemen(
            ExpressionStatementTree javacTree, ExpressionStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processForLoop(ForLoopTree javacTree, ForStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processIdentifier(IdentifierTree javacTree, ClassOrInterfaceType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processIdentifier(IdentifierTree javacTree, Name javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processIdentifier(IdentifierTree javacTree, NameExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processIdentifier(IdentifierTree javacTree, SimpleName javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processIdentifier(IdentifierTree javacTree, SuperExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processIdentifier(IdentifierTree javacTree, ThisExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processIf(IfTree javacTree, IfStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processImport(ImportTree javacTree, ImportDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processInstanceOf(InstanceOfTree javacTree, InstanceOfExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processIntersectionType(
            IntersectionTypeTree javacTree, IntersectionType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processLabeledStatement(
            LabeledStatementTree javacTree, LabeledStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processLambdaExpression(LambdaExpressionTree javacTree, LambdaExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processLiteral(LiteralTree javacTree, BinaryExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processLiteral(LiteralTree javacTree, UnaryExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processLiteral(LiteralTree javacTree, LiteralExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMemberReference(
            MemberReferenceTree javacTree, MethodReferenceExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMemberSelect(MemberSelectTree javacTree, ClassExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMemberSelect(
            MemberSelectTree javacTree, ClassOrInterfaceType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMemberSelect(MemberSelectTree javacTree, FieldAccessExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMemberSelect(MemberSelectTree javacTree, Name javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMemberSelect(MemberSelectTree javacTree, ThisExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMemberSelect(MemberSelectTree javacTree, SuperExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMethod(MethodTree javacTree, MethodDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMethod(MethodTree javacTree, ConstructorDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMethod(MethodTree javacTree, CompactConstructorDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMethod(MethodTree javacTree, AnnotationMemberDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMethodInvocation(
            MethodInvocationTree javacTree, ExplicitConstructorInvocationStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processMethodInvocation(
            MethodInvocationTree javacTree, MethodCallExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processModule(ModuleTree javacTree, ModuleDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processNewClass(NewClassTree javacTree, ObjectCreationExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processOpens(OpensTree javacTree, ModuleOpensDirective javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processOther(Tree javacTree, Node javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processPackage(PackageTree javacTree, PackageDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processParameterizedType(
            ParameterizedTypeTree javacTree, ClassOrInterfaceType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processParenthesized(ParenthesizedTree javacTree, EnclosedExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processPrimitiveType(PrimitiveTypeTree javacTree, PrimitiveType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processPrimitiveType(PrimitiveTypeTree javacTree, VoidType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processProvides(ProvidesTree javacTree, ModuleProvidesDirective javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processRequires(RequiresTree javacTree, ModuleRequiresDirective javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processReturn(ReturnTree javacTree, ReturnStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processSwitch(SwitchTree javacTree, SwitchStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processSwitchExpression(Tree javacTree, SwitchExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processSynchronized(SynchronizedTree javacTree, SynchronizedStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processThrow(ThrowTree javacTree, ThrowStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processTry(TryTree javacTree, TryStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processTypeCast(TypeCastTree javacTree, CastExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processTypeParameter(TypeParameterTree javacTree, TypeParameter javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processUnary(UnaryTree javacTree, UnaryExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processUnionType(UnionTypeTree javacTree, UnionType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processUses(UsesTree javacTree, ModuleUsesDirective javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processVariable(VariableTree javacTree, EnumConstantDeclaration javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processVariable(VariableTree javacTree, Parameter javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processVariable(VariableTree javacTree, ReceiverParameter javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processVariable(VariableTree javacTree, VariableDeclarator javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processWhileLoop(WhileLoopTree javacTree, WhileStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processWildcard(WildcardTree javacTree, WildcardType javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processYield(Tree javacTree, YieldStmt javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }

    @Override
    public void processCompoundAssignment(
            CompoundAssignmentTree javacTree, AssignExpr javaParserNode) {
        defaultJointAction(javacTree, javaParserNode);
    }
}