org.checkerframework.dataflow.cfg.node

Class MethodInvocationNode

java.lang.Object

org.checkerframework.dataflow.cfg.node.Node

org.checkerframework.dataflow.cfg.node.MethodInvocationNode

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 MethodAccessNode	target The target of the method invocation -- that is, the receiver.
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()
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()
String	toString()

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

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

Methods inherited from class java.lang.Object

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

Field Detail

tree

protected final @Nullable MethodInvocationTree tree

The tree for the method invocation.

target

protected final MethodAccessNode target

The target of the method invocation -- that is, the receiver. For a static method, 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.

Constructor Detail

MethodInvocationNode

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

Create a MethodInvocationNode.

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()

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 ImplicitThisLiteralNode.

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