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

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.44.0
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);
  }
}