Class JointVisitorWithDefaultAction

java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Void,com.github.javaparser.ast.Node>
org.checkerframework.framework.ajava.JointJavacJavaParserVisitor
org.checkerframework.framework.ajava.JointVisitorWithDefaultAction
All Implemented Interfaces:
TreeVisitor<Void,com.github.javaparser.ast.Node>

public abstract class JointVisitorWithDefaultAction extends JointJavacJavaParserVisitor
A JointJavacJavaParserVisitor that visits all javac trees with their corresponding JavaParser nodes and performs some default action on each pair.

To use this class, override defaultJointAction.