TreePathUtil (checker-framework 3.19.0-eisop1 API)

java.lang.Object
- org.checkerframework.javacutil.TreePathUtil

```
public final class TreePathUtil
extends Object
```
Utility methods for obtaining or analyzing a javac TreePath.

See Also:

TreeUtils

Method Summary

All Methods Static Methods Concrete Methods
Modifier and Type	Method and Description
`static @Nullable ClassTree`	`enclosingClass(TreePath path)` Gets the enclosing class of the tree node defined by the given `TreePath`.
`static @Nullable MethodTree`	`enclosingMethod(TreePath path)` Gets the enclosing method of the tree node defined by the given `TreePath`.
`static @Nullable Tree`	`enclosingMethodOrLambda(TreePath path)` Gets the enclosing method or lambda expression of the tree node defined by the given `TreePath`.
`static Pair<Tree,Tree>`	`enclosingNonParen(TreePath path)` Gets the first (innermost) enclosing tree in path, that is not a parenthesis.
`static <T extends Tree> T`	`enclosingOfClass(TreePath path, Class<T> treeClass)` Gets the first (innermost) enclosing tree in path, of the specified class.
`static @Nullable Tree`	`enclosingOfKind(TreePath path, Set<Tree.Kind> kinds)` Gets the first (innermost) enclosing tree in path, with any one of the specified kinds.
`static @Nullable Tree`	`enclosingOfKind(TreePath path, Tree.Kind kind)` Gets the first (innermost) enclosing tree in path, of the specified kind.
`static @Nullable BlockTree`	`enclosingTopLevelBlock(TreePath path)` Returns the top-level block that encloses the given path, or null if none does.
`static @Nullable VariableTree`	`enclosingVariable(TreePath path)` Gets the enclosing variable of a tree node defined by the given `TreePath`.
`static @Nullable Tree`	`getAssignmentContext(TreePath treePath)` Returns the "assignment context" for the leaf of `treePath`, which is often the leaf of the parent of `treePath`.
`static boolean`	`inConstructor(TreePath path)` Returns true if the tree is in a constructor or an initializer block.
`static boolean`	`isTreeInStaticScope(TreePath path)` Returns true if the leaf of the tree path is in a static scope.
`static String`	`leafToStringTruncated(@Nullable TreePath path, int length)` Returns a string representation of the leaf of the given path, using `TreeUtils.toStringTruncated(com.sun.source.tree.Tree, int)`.
`static @Nullable TreePath`	`pathTillClass(TreePath path)` Gets path to the first (innermost) enclosing class tree, where class is defined by the `TreeUtils.classTreeKinds()` method.
`static @Nullable TreePath`	`pathTillMethod(TreePath path)` Gets path to the first (innermost) enclosing method tree.
`static @Nullable TreePath`	`pathTillOfKind(TreePath path, Set<Tree.Kind> kinds)` Gets path to the first (innermost) enclosing tree with any one of the specified kinds.
`static @Nullable TreePath`	`pathTillOfKind(TreePath path, Tree.Kind kind)` Gets path to the first (innermost) enclosing tree of the specified kind.
`static String`	`toString(TreePath path)` Return a printed representation of a TreePath.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - pathTillOfKind
```
public static @Nullable TreePath pathTillOfKind(TreePath path,
                                                Tree.Kind kind)
```
    Gets path to the first (innermost) enclosing tree of the specified kind.
    
    Parameters:
    
    path - the path defining the tree node
    
    kind - the kind of the desired tree
    
    Returns:
    
    the path to the enclosing tree of the given type, null otherwise
  - pathTillOfKind
```
public static @Nullable TreePath pathTillOfKind(TreePath path,
                                                Set<Tree.Kind> kinds)
```
    Gets path to the first (innermost) enclosing tree with any one of the specified kinds.
    
    Parameters:
    
    path - the path defining the tree node
    
    kinds - the set of kinds of the desired tree
    
    Returns:
    
    the path to the enclosing tree of the given type, null otherwise
  - pathTillClass
```
public static @Nullable TreePath pathTillClass(TreePath path)
```
    Gets path to the first (innermost) enclosing class tree, where class is defined by the TreeUtils.classTreeKinds() method.
    
    Parameters:
    
    path - the path defining the tree node
    
    Returns:
    
    the path to the enclosing class tree, null otherwise
  - pathTillMethod
```
public static @Nullable TreePath pathTillMethod(TreePath path)
```
    Gets path to the first (innermost) enclosing method tree.
    
    Parameters:
    
    path - the path defining the tree node
    
    Returns:
    
    the path to the enclosing class tree, null otherwise
  - enclosingOfKind
```
public static @Nullable Tree enclosingOfKind(TreePath path,
                                             Tree.Kind kind)
```
    Gets the first (innermost) enclosing tree in path, of the specified kind.
    
    Parameters:
    
    path - the path defining the tree node
    
    kind - the kind of the desired tree
    
    Returns:
    
    the enclosing tree of the given type as given by the path, null otherwise
  - enclosingOfKind
```
public static @Nullable Tree enclosingOfKind(TreePath path,
                                             Set<Tree.Kind> kinds)
```
    Gets the first (innermost) enclosing tree in path, with any one of the specified kinds.
    
    Parameters:
    
    path - the path defining the tree node
    
    kinds - the set of kinds of the desired tree
    
    Returns:
    
    the enclosing tree of the given type as given by the path, null otherwise
  - enclosingOfClass
```
public static <T extends Tree> T enclosingOfClass(TreePath path,
                                                  Class<T> treeClass)
```
    Gets the first (innermost) enclosing tree in path, of the specified class.
    
    Type Parameters:
    
    T - the type of treeClass
    
    Parameters:
    
    path - the path defining the tree node
    
    treeClass - the class of the desired tree
    
    Returns:
    
    the enclosing tree of the given type as given by the path, null otherwise
  - enclosingClass
```
public static @Nullable ClassTree enclosingClass(TreePath path)
```
    Gets the enclosing class of the tree node defined by the given TreePath. It returns a Tree, from which checkers.types.AnnotatedTypeMirror or Element can be obtained.
    
    Parameters:
    
    path - the path defining the tree node
    
    Returns:
    
    the enclosing class (or interface) as given by the path, or null if one does not exist
  - enclosingVariable
```
public static @Nullable VariableTree enclosingVariable(TreePath path)
```
    Gets the enclosing variable of a tree node defined by the given TreePath.
    
    Parameters:
    
    path - the path defining the tree node
    
    Returns:
    
    the enclosing variable as given by the path, or null if one does not exist
  - enclosingMethod
```
public static @Nullable MethodTree enclosingMethod(TreePath path)
```
    Gets the enclosing method of the tree node defined by the given TreePath. It returns a Tree, from which an checkers.types.AnnotatedTypeMirror or Element can be obtained.
    Also see AnnotatedTypeFactory#getEnclosingMethod and AnnotatedTypeFactory#getEnclosingClassOrMethod, which do not require a TreePath.
    
    Parameters:
    
    path - the path defining the tree node
    
    Returns:
    
    the enclosing method as given by the path, or null if one does not exist
  - enclosingMethodOrLambda
```
public static @Nullable Tree enclosingMethodOrLambda(TreePath path)
```
    Gets the enclosing method or lambda expression of the tree node defined by the given TreePath. It returns a Tree, from which an checkers.types.AnnotatedTypeMirror or Element can be obtained.
    
    Parameters:
    
    path - the path defining the tree node
    
    Returns:
    
    the enclosing method or lambda as given by the path, or null if one does not exist
  - enclosingTopLevelBlock
```
public static @Nullable BlockTree enclosingTopLevelBlock(TreePath path)
```
    Returns the top-level block that encloses the given path, or null if none does.
    
    Parameters:
    
    path - a path
    
    Returns:
    
    the top-level block that encloses the given path, or null if none does
  - enclosingNonParen
```
public static Pair<Tree,Tree> enclosingNonParen(TreePath path)
```
    Gets the first (innermost) enclosing tree in path, that is not a parenthesis.
    
    Parameters:
    
    path - the path defining the tree node
    
    Returns:
    
    a pair of a non-parenthesis tree that contains the argument, and its child that is the argument or is a parenthesized version of it
  - getAssignmentContext
```
public static @Nullable Tree getAssignmentContext(TreePath treePath)
```
    Returns the "assignment context" for the leaf of treePath, which is often the leaf of the parent of treePath. (Does not handle pseudo-assignment of an argument to a parameter or a receiver expression to a receiver.) This is not the same as org.checkerframework.dataflow.cfg.node.AssignmentContext, which represents the left-hand side rather than the assignment itself.
    The assignment context for treePath is the leaf of its parent, if that leaf is one of the following trees:
    - AssignmentTree
    - CompoundAssignmentTree
    - MethodInvocationTree
    - NewArrayTree
    - NewClassTree
    - ReturnTree
    - VariableTree
    If the parent is a ConditionalExpressionTree we need to distinguish two cases: If the leaf is either the then or else branch of the ConditionalExpressionTree, then recurse on the parent. If the leaf is the condition of the ConditionalExpressionTree, then return null to not consider this assignment context.
    If the leaf is a ParenthesizedTree, then recurse on the parent.
    Otherwise, null is returned.
    Parameters:
    
    treePath - a path
    
    Returns:
    
    the assignment context as described, null otherwise
  - inConstructor
```
public static boolean inConstructor(TreePath path)
```
    Returns true if the tree is in a constructor or an initializer block.
    
    Parameters:
    
    path - the path to test
    
    Returns:
    
    true if the path is in a constructor or an initializer block
  - isTreeInStaticScope
```
public static boolean isTreeInStaticScope(TreePath path)
```
    Returns true if the leaf of the tree path is in a static scope.
    
    Parameters:
    
    path - TreePath whose leaf may or may not be in static scope
    
    Returns:
    
    true if the leaf of the tree path is in a static scope
  - toString
```
public static String toString(TreePath path)
```
    Return a printed representation of a TreePath.
    
    Parameters:
    
    path - a TreePath
    
    Returns:
    
    a printed representation of the given TreePath
  - leafToStringTruncated
```
public static String leafToStringTruncated(@Nullable TreePath path,
                                           int length)
```
    Returns a string representation of the leaf of the given path, using TreeUtils.toStringTruncated(com.sun.source.tree.Tree, int).
    
    Parameters:
    
    path - a path
    
    length - the maximum length for the result; must be at least 6
    
    Returns:
    
    a one-line string representation of the leaf of the given path that is no longer than length characters long

Class TreePathUtil

Method Summary

Methods inherited from class java.lang.Object

Method Detail

pathTillOfKind

pathTillOfKind

pathTillClass

pathTillMethod

enclosingOfKind

enclosingOfKind

enclosingOfClass

enclosingClass

enclosingVariable

enclosingMethod

enclosingMethodOrLambda

enclosingTopLevelBlock

enclosingNonParen

getAssignmentContext

inConstructor

isTreeInStaticScope

toString

leafToStringTruncated