checkers.util
Class TreeUtils

java.lang.Object
  checkers.util.TreeUtils

@DefaultQualifier(value="checkers.nullness.quals.NonNull")
public final class TreeUtils
extends Object

A utility class made for helping to analyze a given Tree.

Method Summary

static TypeElement	elementFromDeclaration(ClassTree node) Gets the element for a class corresponding to a declaration.
static ExecutableElement	elementFromDeclaration(MethodTree node) Gets the element for a method corresponding to a declaration.
static VariableElement	elementFromDeclaration(VariableTree node) Gets the element for a variable corresponding to its declaration.
static Element	elementFromUse(IdentifierTree node) Gets the element for the declaration corresponding to this identifier.
static Element	elementFromUse(MemberSelectTree node) Gets the element for the declaration corresponding to this member access.
static ExecutableElement	elementFromUse(MethodInvocationTree node) Gets the element for the method corresponding to this invocation.
static ClassTree	enclosingClass(TreePath path) Gets the enclosing method of the tree node defined by the given {@link TreePath}.
static MethodTree	enclosingMethod(TreePath path) Gets the enclosing method of the tree node defined by the given {@link TreePath}.
static Tree	enclosingOfKind(TreePath path, Tree.Kind kind) Gets the first enclosing tree in path, of the specified kind.
static VariableTree	enclosingVariable(TreePath path) Gets the enclosing variable of a tree node defined by the given TreePath.
static Tree	getAssignmentContext(TreePath treePath) Returns the tree with the assignment context for the treePath leaf node.
static boolean	isConstructor(MethodTree tree) Checks if the provided method is a constructor method or no.
static boolean	isSelfAccess(ExpressionTree tree) Returns true if the tree is a tree that 'looks like' either an access of a field or an invokation of a method that are owned by the same accessing instance.
static boolean	isSuperCall(MethodInvocationTree tree) Checks if the method invocation is a call to super
static ExpressionTree	skipParens(ExpressionTree tree) If the given tree is a parenthesized tree, it returns the enclosed non-parenthesized tree.
static Tree	skipParens(Tree tree) If the given tree is a parenthesized tree, it returns the enclosed non-parenthesized tree.

Methods inherited from class java.lang.Object

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

Method Detail

isConstructor

public static boolean isConstructor(MethodTree tree)

Checks if the provided method is a constructor method or no.

Parameters:

tree - a tree defining the method

Returns:

true iff tree describes a constructor

isSelfAccess

public static boolean isSelfAccess(ExpressionTree tree)

Returns true if the tree is a tree that 'looks like' either an access of a field or an invokation of a method that are owned by the same accessing instance. It would only return true if the access tree is of the form:

   field
   this.field

   method()
   this.method()
 

It does not perform any semantical check to differentiate between fields and local variables; local methods or imported static methods.

Parameters:

tree - expression tree representing an access to object member

Returns:

true iff the member is a member of this instance

isSuperCall

public static boolean isSuperCall(MethodInvocationTree tree)

Checks if the method invocation is a call to super

Parameters:

tree - a tree defining a method invocation

Returns:

true iff tree describes a call to super

enclosingOfKind

public static Tree enclosingOfKind(TreePath path,
                                   Tree.Kind kind)

Gets the first 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

enclosingClass

public static ClassTree enclosingClass(TreePath path)

Gets the enclosing method of the tree node defined by the given {@link TreePath}. It returns a Tree, from which 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 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 MethodTree enclosingMethod(TreePath path)

Gets the enclosing method of the tree node defined by the given {@link TreePath}. It returns a Tree, from which an AnnotatedTypeMirror or Element can be obtained.

Parameters:

path - the path defining the tree node

Returns:

the enclosing method as given by the path, or null if one does not exist

skipParens

public static Tree skipParens(Tree tree)

If the given tree is a parenthesized tree, it returns the enclosed non-parenthesized tree. Otherwise, it returns the same tree.

Parameters:

tree - a tree

Returns:

the outermost non-parenthesized tree enclosed by the given tree

skipParens

public static ExpressionTree skipParens(ExpressionTree tree)

If the given tree is a parenthesized tree, it returns the enclosed non-parenthesized tree. Otherwise, it returns the same tree.

Parameters:

tree - an expression tree

Returns:

the outermost non-parenthesized tree enclosed by the given tree

getAssignmentContext

public static Tree getAssignmentContext(TreePath treePath)

Returns the tree with the assignment context for the treePath leaf node. The assignment context for the treepath is the most enclosing tree of type:

• AssignmentTree
• CompoundAssignmentTree
• MethodInvocationTree
• NewArrayTree
• NewClassTree
• ReturnTree
• VariableTree

Parameters:

treePath -

Returns:

the assignment context as described.

elementFromDeclaration

public static final TypeElement elementFromDeclaration(ClassTree node)

Gets the element for a class corresponding to a declaration.

Parameters:

node -

Returns:

the element for the given class

elementFromDeclaration

public static final ExecutableElement elementFromDeclaration(MethodTree node)

Gets the element for a method corresponding to a declaration.

Parameters:

node -

Returns:

the element for the given method

elementFromDeclaration

public static final VariableElement elementFromDeclaration(VariableTree node)

Gets the element for a variable corresponding to its declaration.

Parameters:

node -

Returns:

the element for the given variable

elementFromUse

public static final ExecutableElement elementFromUse(MethodInvocationTree node)

Gets the element for the method corresponding to this invocation. To get the element for a method declaration, use Trees.getElement(TreePath) instead.

Parameters:

node - the method invocation

Returns:

the element for the method that corresponds to this invocation

elementFromUse

public static final Element elementFromUse(IdentifierTree node)

Gets the element for the declaration corresponding to this identifier. To get the element for a declaration, use Trees.getElement(TreePath) instead.

Parameters:

node - the identifier

Returns:

the element for the declaration that corresponds to this identifier

elementFromUse

public static final Element elementFromUse(MemberSelectTree node)

Gets the element for the declaration corresponding to this member access. To get the element for a declaration, use Trees.getElement(TreePath) instead.

Parameters:

node - the member access

Returns:

the element for the declaration that corresponds to this member access