org.checkerframework.framework.util

Class TreePathCacher

java.lang.Object

com.sun.source.util.TreeScanner<TreePath,Tree>

org.checkerframework.framework.util.TreePathCacher

All Implemented Interfaces:

TreeVisitor<TreePath,Tree>

public class TreePathCacher
extends TreeScanner<TreePath,Tree>

TreePathCacher is a TreeScanner that creates and caches a TreePath for a target Tree.

This class replicates some logic from TreePath.getPath but also adds caching to all intermediate TreePaths that are generated. The intermediate TreePaths are reused when other targets have overlapping paths.

Constructor Summary

Constructors

Constructor and Description
TreePathCacher()

Method Summary

Modifier and Type	Method and Description
void	addPath(Tree target, TreePath path)
void	clear()
TreePath	getPath(CompilationUnitTree root, Tree target) Return the TreePath for a Tree.
boolean	isCached(Tree target)
TreePath	scan(Tree tree, Tree target) Scan a single node.

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

reduce, scan, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

TreePathCacher

public TreePathCacher()

Method Detail

isCached

public boolean isCached(Tree target)

Parameters:

target - the tree to search for

Returns:

true if the tree is cached

addPath

public void addPath(Tree target,
                    TreePath path)

Parameters:

target - the tree to add

path - the path to cache

getPath

public TreePath getPath(CompilationUnitTree root,
                        Tree target)

Return the TreePath for a Tree.

This method uses try/catch and the Result Error for control flow to stop the superclass from scanning other subtrees when target is found.

Parameters:

root - the compilation unit to search in

target - the target tree to look for

Returns:

the TreePath corresponding to target, or null if target is not found in the compilation root

clear

public void clear()

scan

public TreePath scan(Tree tree,
                     Tree target)

Scan a single node. The current path is updated for the duration of the scan.

Overrides:

scan in class TreeScanner<TreePath,Tree>