Package org.checkerframework.framework.ajava

Class ExpectedTreesVisitor

java.lang.Object
com.sun.source.util.TreeScanner<Void,Void>
org.checkerframework.framework.ajava.TreeScannerWithDefaults
org.checkerframework.framework.ajava.ExpectedTreesVisitor
All Implemented Interfaces:
TreeVisitor<Void,Void>
public class ExpectedTreesVisitor extends TreeScannerWithDefaults
After this visitor visits a tree, getTrees() returns all the trees that should match with some JavaParser node. Some trees shouldn't be matched with a JavaParser node because there isn't a corresponding JavaParser node. These trees are excluded.

The primary purpose is to test the JointJavacJavaParserVisitor class when the -AajavaChecks flag is used. That class traverses a javac tree and JavaParser AST simultaneously, so the trees this class stores can be used to test if the entirety of the javac tree was visited.