Package org.checkerframework.dataflow.cfg.node

Class ReturnNode

java.lang.Object

org.checkerframework.dataflow.cfg.node.Node

org.checkerframework.dataflow.cfg.node.ReturnNode

All Implemented Interfaces:

org.plumelib.util.UniqueId

public class ReturnNode
extends Node

A node for a return statement:

   return
   return expression
 

No ReturnNode is created for implicit return statements.

Field Summary

Fields

Modifier and Type	Field	Description
protected final @Nullable Node	result	The node of the returned expression.
protected final ReturnTree	returnTree	The return tree.

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

block, disambiguateOwner, inSource, lvalue, type

Constructor Summary

Constructors

Constructor	Description
ReturnNode(ReturnTree returnTree, @Nullable Node result, Types types)	Creates a node for the given return statement.

Method Summary

Modifier and Type	Method	Description
<R, P> R	accept(NodeVisitor<R,P> visitor, P p)	Accept method of the visitor pattern.
boolean	equals(@Nullable Object obj)
Collection<Node>	getOperands()	Returns a collection containing all of the operand Nodes of this Node.
@Nullable Node	getResult()	The result of the return node, null otherwise.
ReturnTree	getTree()	Returns the Tree in the abstract syntax tree, or null if no corresponding tree exists.
int	hashCode()
String	toString()

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

getBlock, getInSource, getTransitiveOperands, getType, getUid, isLValue, nodeCollectionToString, 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 Details

returnTree

protected final ReturnTree returnTree

The return tree.

result

protected final @Nullable Node result

The node of the returned expression.

Constructor Details

ReturnNode

public ReturnNode(ReturnTree returnTree,
 @Nullable Node result,
 Types types)

Creates a node for the given return statement.

Parameters:

returnTree - return tree

result - the returned expression

types - types util

Method Details

getResult

public @Nullable Node getResult()

The result of the return node, null otherwise.

Returns:

the result of the return node, null otherwise

getTree

public ReturnTree 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

@SideEffectFree
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