Class ExpectedTreesVisitor
- java.lang.Object
-
- com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>
-
- org.checkerframework.framework.ajava.TreeScannerWithDefaults
-
- org.checkerframework.framework.ajava.ExpectedTreesVisitor
-
- All Implemented Interfaces:
com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.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.
-
-
Constructor Summary
Constructors Constructor Description ExpectedTreesVisitor()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
defaultAction(com.sun.source.tree.Tree tree)
Records thattree
should have a corresponding JavaParser node.java.util.Set<com.sun.source.tree.Tree>
getTrees()
Returns the visited trees that should match to some JavaParser node.java.lang.Void
visitAnnotation(com.sun.source.tree.AnnotationTree tree, java.lang.Void p)
java.lang.Void
visitBindingPattern17(com.sun.source.tree.Tree tree, java.lang.Void p)
Visit a binding pattern tree.java.lang.Void
visitClass(com.sun.source.tree.ClassTree tree, java.lang.Void p)
java.lang.Void
visitDoWhileLoop(com.sun.source.tree.DoWhileLoopTree tree, java.lang.Void p)
java.lang.Void
visitExpressionStatement(com.sun.source.tree.ExpressionStatementTree tree, java.lang.Void p)
java.lang.Void
visitForLoop(com.sun.source.tree.ForLoopTree tree, java.lang.Void p)
java.lang.Void
visitIf(com.sun.source.tree.IfTree tree, java.lang.Void p)
java.lang.Void
visitImport(com.sun.source.tree.ImportTree tree, java.lang.Void p)
java.lang.Void
visitLambdaExpression(com.sun.source.tree.LambdaExpressionTree tree, java.lang.Void p)
java.lang.Void
visitMethod(com.sun.source.tree.MethodTree tree, java.lang.Void p)
java.lang.Void
visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree, java.lang.Void p)
java.lang.Void
visitModifiers(com.sun.source.tree.ModifiersTree tree, java.lang.Void p)
java.lang.Void
visitNewArray(com.sun.source.tree.NewArrayTree tree, java.lang.Void p)
java.lang.Void
visitNewClass(com.sun.source.tree.NewClassTree tree, java.lang.Void p)
java.lang.Void
visitSwitch(com.sun.source.tree.SwitchTree tree, java.lang.Void p)
java.lang.Void
visitSwitchExpression17(com.sun.source.tree.Tree tree, java.lang.Void p)
Visit a switch expression tree.java.lang.Void
visitSynchronized(com.sun.source.tree.SynchronizedTree tree, java.lang.Void p)
java.lang.Void
visitVariable(com.sun.source.tree.VariableTree tree, java.lang.Void p)
java.lang.Void
visitWhileLoop(com.sun.source.tree.WhileLoopTree tree, java.lang.Void p)
java.lang.Void
visitYield17(com.sun.source.tree.Tree tree, java.lang.Void p)
Visit a yield tree.-
Methods inherited from class org.checkerframework.framework.ajava.TreeScannerWithDefaults
scan, visitAnnotatedType, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitIdentifier, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLiteral, visitMemberReference, visitMemberSelect, visitModule, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitWildcard
-
-
-
-
Method Detail
-
getTrees
public java.util.Set<com.sun.source.tree.Tree> getTrees()
Returns the visited trees that should match to some JavaParser node.- Returns:
- the visited trees that should match to some JavaParser node
-
defaultAction
public void defaultAction(com.sun.source.tree.Tree tree)
Records thattree
should have a corresponding JavaParser node.- Specified by:
defaultAction
in classTreeScannerWithDefaults
- Parameters:
tree
- the tree to record
-
visitAnnotation
public java.lang.Void visitAnnotation(com.sun.source.tree.AnnotationTree tree, java.lang.Void p)
- Specified by:
visitAnnotation
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitAnnotation
in classTreeScannerWithDefaults
-
visitBindingPattern17
public java.lang.Void visitBindingPattern17(com.sun.source.tree.Tree tree, java.lang.Void p)
Description copied from class:TreeScannerWithDefaults
Visit a binding pattern tree.- Overrides:
visitBindingPattern17
in classTreeScannerWithDefaults
- Parameters:
tree
- a binding pattern treep
- null- Returns:
- null
-
visitClass
public java.lang.Void visitClass(com.sun.source.tree.ClassTree tree, java.lang.Void p)
- Specified by:
visitClass
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitClass
in classTreeScannerWithDefaults
-
visitExpressionStatement
public java.lang.Void visitExpressionStatement(com.sun.source.tree.ExpressionStatementTree tree, java.lang.Void p)
- Specified by:
visitExpressionStatement
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitExpressionStatement
in classTreeScannerWithDefaults
-
visitForLoop
public java.lang.Void visitForLoop(com.sun.source.tree.ForLoopTree tree, java.lang.Void p)
- Specified by:
visitForLoop
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitForLoop
in classTreeScannerWithDefaults
-
visitSwitch
public java.lang.Void visitSwitch(com.sun.source.tree.SwitchTree tree, java.lang.Void p)
- Specified by:
visitSwitch
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitSwitch
in classTreeScannerWithDefaults
-
visitSwitchExpression17
public java.lang.Void visitSwitchExpression17(com.sun.source.tree.Tree tree, java.lang.Void p)
Description copied from class:TreeScannerWithDefaults
Visit a switch expression tree.- Overrides:
visitSwitchExpression17
in classTreeScannerWithDefaults
- Parameters:
tree
- switch expression treep
- null- Returns:
- null
-
visitSynchronized
public java.lang.Void visitSynchronized(com.sun.source.tree.SynchronizedTree tree, java.lang.Void p)
- Specified by:
visitSynchronized
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitSynchronized
in classTreeScannerWithDefaults
-
visitIf
public java.lang.Void visitIf(com.sun.source.tree.IfTree tree, java.lang.Void p)
- Specified by:
visitIf
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitIf
in classTreeScannerWithDefaults
-
visitImport
public java.lang.Void visitImport(com.sun.source.tree.ImportTree tree, java.lang.Void p)
- Specified by:
visitImport
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitImport
in classTreeScannerWithDefaults
-
visitMethod
public java.lang.Void visitMethod(com.sun.source.tree.MethodTree tree, java.lang.Void p)
- Specified by:
visitMethod
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitMethod
in classTreeScannerWithDefaults
-
visitMethodInvocation
public java.lang.Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree, java.lang.Void p)
- Specified by:
visitMethodInvocation
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitMethodInvocation
in classTreeScannerWithDefaults
-
visitModifiers
public java.lang.Void visitModifiers(com.sun.source.tree.ModifiersTree tree, java.lang.Void p)
- Specified by:
visitModifiers
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitModifiers
in classTreeScannerWithDefaults
-
visitNewArray
public java.lang.Void visitNewArray(com.sun.source.tree.NewArrayTree tree, java.lang.Void p)
- Specified by:
visitNewArray
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitNewArray
in classTreeScannerWithDefaults
-
visitNewClass
public java.lang.Void visitNewClass(com.sun.source.tree.NewClassTree tree, java.lang.Void p)
- Specified by:
visitNewClass
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitNewClass
in classTreeScannerWithDefaults
-
visitLambdaExpression
public java.lang.Void visitLambdaExpression(com.sun.source.tree.LambdaExpressionTree tree, java.lang.Void p)
- Specified by:
visitLambdaExpression
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitLambdaExpression
in classTreeScannerWithDefaults
-
visitWhileLoop
public java.lang.Void visitWhileLoop(com.sun.source.tree.WhileLoopTree tree, java.lang.Void p)
- Specified by:
visitWhileLoop
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitWhileLoop
in classTreeScannerWithDefaults
-
visitDoWhileLoop
public java.lang.Void visitDoWhileLoop(com.sun.source.tree.DoWhileLoopTree tree, java.lang.Void p)
- Specified by:
visitDoWhileLoop
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitDoWhileLoop
in classTreeScannerWithDefaults
-
visitVariable
public java.lang.Void visitVariable(com.sun.source.tree.VariableTree tree, java.lang.Void p)
- Specified by:
visitVariable
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>
- Overrides:
visitVariable
in classTreeScannerWithDefaults
-
visitYield17
public java.lang.Void visitYield17(com.sun.source.tree.Tree tree, java.lang.Void p)
Description copied from class:TreeScannerWithDefaults
Visit a yield tree.- Overrides:
visitYield17
in classTreeScannerWithDefaults
- Parameters:
tree
- a yield treep
- null- Returns:
- null
-
-