org.checkerframework.dataflow.cfg.node

Class MethodInvocationNode

java.lang.Object

org.checkerframework.dataflow.cfg.node.Node

org.checkerframework.dataflow.cfg.node.MethodInvocationNode

All Implemented Interfaces:

org.plumelib.util.UniqueId

public class MethodInvocationNode
extends Node

A node for method invocation.

   target(arg1, arg2, ...)
 

CFGs may contain MethodInvocationNodes that correspond to no AST Tree, in which case, the tree field will be null.

Field Summary

Fields

Modifier and Type	Field and Description
protected List<Node>	arguments The arguments of the method invocation.
protected @Nullable ExpressionTree	iterableExpression If this MethodInvocationNode is a node for an Iterator.next() desugared from an enhanced for loop, then the iterExpression field is the expression in the for loop, e.g., iter in for(Object o: iter.
protected MethodAccessNode	target The MethodAccessNode for the method being invoked.
protected @Nullable MethodInvocationTree	tree The tree for the method invocation.
protected TreePath	treePath The tree path to the method invocation.

Fields inherited from class org.checkerframework.dataflow.cfg.node.Node

assignmentContext, block, inSource, lvalue, type

Constructor Summary

Constructors

Constructor and Description
MethodInvocationNode(MethodAccessNode target, List<Node> arguments, TreePath treePath)
MethodInvocationNode(@Nullable MethodInvocationTree tree, MethodAccessNode target, List<Node> arguments, TreePath treePath) Create a MethodInvocationNode.

Method Summary

Modifier and Type	Method and Description
<R,P> R	accept(NodeVisitor<R,P> visitor, P p) Accept method of the visitor pattern.
boolean	equals(@Nullable Object obj)
Node	getArgument(int i)
List<Node>	getArguments()
@Nullable ExpressionTree	getIterableExpression() If this MethodInvocationNode is a node for an Iterator.next() desugared from an enhanced for loop, then return the expression in the for loop, e.g., iter in for(Object o: iter.
Collection<Node>	getOperands() Returns a collection containing all of the operand Nodes of this Node.
MethodAccessNode	getTarget()
@Nullable MethodInvocationTree	getTree() Returns the Tree in the abstract syntax tree, or null if no corresponding tree exists.
TreePath	getTreePath()
int	hashCode()
void	setIterableExpression(@Nullable ExpressionTree iterableExpression) Set the iterable expression from a for loop.
String	toString()

Methods inherited from class org.checkerframework.dataflow.cfg.node.Node

getAssignmentContext, getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, setAssignmentContext, setBlock, setInSource, setLValue, toStringDebug

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid

Field Detail

tree

protected final @Nullable MethodInvocationTree tree

The tree for the method invocation.

target

protected final MethodAccessNode target

The MethodAccessNode for the method being invoked. Includes the receiver if any. For a static method, the receiver may be a class name.

arguments

protected final List<Node> arguments

The arguments of the method invocation.

treePath

protected final TreePath treePath

The tree path to the method invocation.

iterableExpression

protected @Nullable ExpressionTree iterableExpression

If this MethodInvocationNode is a node for an Iterator.next() desugared from an enhanced for loop, then the iterExpression field is the expression in the for loop, e.g., iter in for(Object o: iter.

Constructor Detail

MethodInvocationNode

public MethodInvocationNode(@Nullable MethodInvocationTree tree,
                            MethodAccessNode target,
                            List<Node> arguments,
                            TreePath treePath)

Create a MethodInvocationNode.

Parameters:

tree - for the method invocation

target - the MethodAccessNode for the method being invoked

arguments - arguments of the method invocation

treePath - path to the method invocation

MethodInvocationNode

public MethodInvocationNode(MethodAccessNode target,
                            List<Node> arguments,
                            TreePath treePath)

Method Detail

getTarget

public MethodAccessNode getTarget()

getArguments

public List<Node> getArguments()

getArgument

public Node getArgument(int i)

getTreePath

public TreePath getTreePath()

getIterableExpression

public @Nullable ExpressionTree getIterableExpression()

If this MethodInvocationNode is a node for an Iterator.next() desugared from an enhanced for loop, then return the expression in the for loop, e.g., iter in for(Object o: iter. Otherwise, return null.

Returns:

the iter expression, or null if this is not a Iterator.next() from an enhanced for loop

setIterableExpression

public void setIterableExpression(@Nullable ExpressionTree iterableExpression)

Set the iterable expression from a for loop.

Parameters:

iterableExpression - iterable expression

See Also:

getIterableExpression()

getTree

public @Nullable MethodInvocationTree getTree()

Description copied from class: Node

Returns the Tree in the abstract syntax tree, or null if no corresponding tree exists. For instance, this is the case for an ImplicitThisNode.

Specified by:

getTree in class Node

Returns:

the corresponding Tree or null

accept

public <R,P> R accept(NodeVisitor<R,P> visitor,
                      P p)

Description copied from class: Node

Accept method of the visitor pattern.

Specified by:

accept in class Node

Type Parameters:

R - result type of the operation

P - parameter type

Parameters:

visitor - the visitor to be applied to this node

p - the parameter for this operation

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(@Nullable Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

getOperands

public Collection<Node> getOperands()

Description copied from class: Node

Returns a collection containing all of the operand Nodes of this Node.

Specified by:

getOperands in class Node

Returns:

a collection containing all of the operand Nodes of this Node