Class ASTIndex
java.lang.Object
org.checkerframework.afu.scenelib.util.coll.WrapperMap<Tree,ASTRecord>
org.checkerframework.afu.scenelib.io.ASTIndex
Cache of
ASTPath
data for the nodes of a compilation unit tree.-
Nested Class Summary
-
Field Summary
Fields inherited from class org.checkerframework.afu.scenelib.util.coll.WrapperMap
back
-
Method Summary
Modifier and TypeMethodDescriptionstatic ASTRecord
getASTPath
(CompilationUnitTree cut, Tree node) static Tree
getNode
(CompilationUnitTree cut, ASTRecord rec) static Integer
getParameterIndex
(CompilationUnitTree cut, String className, String methodName, String varName) static String
getParameterName
(CompilationUnitTree cut, String className, String methodName, int index) static TreePath
getTreePath
(CompilationUnitTree cut, ASTRecord rec) indexOf
(CompilationUnitTree root) Maps source trees in compilation unit to corresponding AST paths.toString()
Methods inherited from class org.checkerframework.afu.scenelib.util.coll.WrapperMap
clear, containsKey, containsValue, entrySet, equals, get, hashCode, isEmpty, keySet, put, putAll, remove, size, values
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface java.util.Map
compute, computeIfAbsent, computeIfPresent, forEach, getOrDefault, merge, putIfAbsent, remove, replace, replace, replaceAll
-
Method Details
-
indexOf
Maps source trees in compilation unit to corresponding AST paths.- Parameters:
root
- compilation unit to be indexed- Returns:
- map of trees in compilation unit to AST paths
-
getASTPath
-
getTreePath
-
getNode
-
getParameterName
public static String getParameterName(CompilationUnitTree cut, String className, String methodName, int index) -
getParameterIndex
public static Integer getParameterIndex(CompilationUnitTree cut, String className, String methodName, String varName) -
toString
- Overrides:
toString
in classWrapperMap<Tree,
ASTRecord>
-