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:

com.sun.source.tree.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.

Constructor Summary

Constructors

Constructor	Description
ExpectedTreesVisitor()

Method Summary

Modifier and Type	Method	Description
void	defaultAction(com.sun.source.tree.Tree tree)	Records that tree should have a corresponding JavaParser node.
Set<com.sun.source.tree.Tree>	getTrees()	Returns the visited trees that should match to some JavaParser node.
Void	visitAnnotation(com.sun.source.tree.AnnotationTree tree, Void p)
Void	visitBindingPattern17(com.sun.source.tree.Tree tree, Void p)	Visit a binding pattern tree.
Void	visitClass(com.sun.source.tree.ClassTree tree, Void p)
Void	visitDoWhileLoop(com.sun.source.tree.DoWhileLoopTree tree, Void p)
Void	visitExpressionStatement(com.sun.source.tree.ExpressionStatementTree tree, Void p)
Void	visitForLoop(com.sun.source.tree.ForLoopTree tree, Void p)
Void	visitIf(com.sun.source.tree.IfTree tree, Void p)
Void	visitImport(com.sun.source.tree.ImportTree tree, Void p)
Void	visitLambdaExpression(com.sun.source.tree.LambdaExpressionTree tree, Void p)
Void	visitMethod(com.sun.source.tree.MethodTree tree, Void p)
Void	visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree, Void p)
Void	visitModifiers(com.sun.source.tree.ModifiersTree tree, Void p)
Void	visitNewArray(com.sun.source.tree.NewArrayTree tree, Void p)
Void	visitNewClass(com.sun.source.tree.NewClassTree tree, Void p)
Void	visitSwitch(com.sun.source.tree.SwitchTree tree, Void p)
Void	visitSwitchExpression17(com.sun.source.tree.Tree tree, Void p)	Visit a switch expression tree.
Void	visitSynchronized(com.sun.source.tree.SynchronizedTree tree, Void p)
Void	visitVariable(com.sun.source.tree.VariableTree tree, Void p)
Void	visitWhileLoop(com.sun.source.tree.WhileLoopTree tree, Void p)
Void	visitYield17(com.sun.source.tree.Tree tree, 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

Methods inherited from class com.sun.source.util.TreeScanner

reduce, scan, visitBindingPattern, visitDefaultCaseLabel, visitGuardedPattern, visitParenthesizedPattern, visitSwitchExpression, visitYield

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExpectedTreesVisitor

public ExpectedTreesVisitor()

Method Details

getTrees

public 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 that tree should have a corresponding JavaParser node.

Specified by:

defaultAction in class TreeScannerWithDefaults

Parameters:

tree - the tree to record

visitAnnotation

public Void visitAnnotation(com.sun.source.tree.AnnotationTree tree,
 Void p)

Specified by:

visitAnnotation in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitAnnotation in class TreeScannerWithDefaults

visitBindingPattern17

public Void visitBindingPattern17(com.sun.source.tree.Tree tree,
 Void p)

Description copied from class: TreeScannerWithDefaults

Visit a binding pattern tree.

Overrides:

visitBindingPattern17 in class TreeScannerWithDefaults

Parameters:

tree - a binding pattern tree

p - null

Returns:

null

visitClass

public Void visitClass(com.sun.source.tree.ClassTree tree,
 Void p)

Specified by:

visitClass in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitClass in class TreeScannerWithDefaults

visitExpressionStatement

public Void visitExpressionStatement(com.sun.source.tree.ExpressionStatementTree tree,
 Void p)

Specified by:

visitExpressionStatement in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitExpressionStatement in class TreeScannerWithDefaults

visitForLoop

public Void visitForLoop(com.sun.source.tree.ForLoopTree tree,
 Void p)

Specified by:

visitForLoop in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitForLoop in class TreeScannerWithDefaults

visitSwitch

public Void visitSwitch(com.sun.source.tree.SwitchTree tree,
 Void p)

Specified by:

visitSwitch in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitSwitch in class TreeScannerWithDefaults

visitSwitchExpression17

public Void visitSwitchExpression17(com.sun.source.tree.Tree tree,
 Void p)

Description copied from class: TreeScannerWithDefaults

Visit a switch expression tree.

Overrides:

visitSwitchExpression17 in class TreeScannerWithDefaults

Parameters:

tree - switch expression tree

p - null

Returns:

null

visitSynchronized

public Void visitSynchronized(com.sun.source.tree.SynchronizedTree tree,
 Void p)

Specified by:

visitSynchronized in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitSynchronized in class TreeScannerWithDefaults

visitIf

public Void visitIf(com.sun.source.tree.IfTree tree,
 Void p)

Specified by:

visitIf in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitIf in class TreeScannerWithDefaults

visitImport

public Void visitImport(com.sun.source.tree.ImportTree tree,
 Void p)

Specified by:

visitImport in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitImport in class TreeScannerWithDefaults

visitMethod

public Void visitMethod(com.sun.source.tree.MethodTree tree,
 Void p)

Specified by:

visitMethod in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitMethod in class TreeScannerWithDefaults

visitMethodInvocation

public Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree,
 Void p)

Specified by:

visitMethodInvocation in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitMethodInvocation in class TreeScannerWithDefaults

visitModifiers

public Void visitModifiers(com.sun.source.tree.ModifiersTree tree,
 Void p)

Specified by:

visitModifiers in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitModifiers in class TreeScannerWithDefaults

visitNewArray

public Void visitNewArray(com.sun.source.tree.NewArrayTree tree,
 Void p)

Specified by:

visitNewArray in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitNewArray in class TreeScannerWithDefaults

visitNewClass

public Void visitNewClass(com.sun.source.tree.NewClassTree tree,
 Void p)

Specified by:

visitNewClass in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitNewClass in class TreeScannerWithDefaults

visitLambdaExpression

public Void visitLambdaExpression(com.sun.source.tree.LambdaExpressionTree tree,
 Void p)

Specified by:

visitLambdaExpression in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitLambdaExpression in class TreeScannerWithDefaults

visitWhileLoop

public Void visitWhileLoop(com.sun.source.tree.WhileLoopTree tree,
 Void p)

Specified by:

visitWhileLoop in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitWhileLoop in class TreeScannerWithDefaults

visitDoWhileLoop

public Void visitDoWhileLoop(com.sun.source.tree.DoWhileLoopTree tree,
 Void p)

Specified by:

visitDoWhileLoop in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitDoWhileLoop in class TreeScannerWithDefaults

visitVariable

public Void visitVariable(com.sun.source.tree.VariableTree tree,
 Void p)

Specified by:

visitVariable in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitVariable in class TreeScannerWithDefaults

visitYield17

public Void visitYield17(com.sun.source.tree.Tree tree,
 Void p)

Description copied from class: TreeScannerWithDefaults

Visit a yield tree.

Overrides:

visitYield17 in class TreeScannerWithDefaults

Parameters:

tree - a yield tree

p - null

Returns:

null