Class DefaultJointVisitor

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

public class DefaultJointVisitor extends JointJavacJavaParserVisitor
An implementation of JointJavacJavaParserVisitor where process methods do nothing. To use this class, extend it and override a process method.