Package com.tonic.analysis.pdg.sdg.node

Class SDGActualOutNode

java.lang.Object

com.tonic.analysis.pdg.node.PDGNode

com.tonic.analysis.pdg.sdg.node.SDGActualOutNode

public class SDGActualOutNode
extends PDGNode

SDG node for the value a call site receives back from the callee.

Constructor Summary

Constructors

Constructor	Description
SDGActualOutNode(int id, SSAValue returnValue, IRBlock block)	Creates an actual-out node; the owning call node is set separately.

Method Summary

Modifier and Type	Method	Description
SDGCallNode	getCallNode()
SSAValue	getDefinedValue()
String	getLabel()
String	getParameterName()	Names the returned value for display, falling back to "result" for a void call.
SSAValue	getReturnValue()
List<Value>	getUsedValues()
boolean	hasReturnValue()
void	setCallNode(SDGCallNode callNode)	Links this node back to the call site that owns it.
String	toString()

Methods inherited from class com.tonic.analysis.pdg.node.PDGNode

addIncomingEdge, addOutgoingEdge, equals, getBlock, getControlDependenceEdges, getDataDependenceEdges, getId, getIncomingEdges, getInDegree, getOutDegree, getOutgoingEdges, getPredecessors, getSuccessors, getTaintLabel, getType, hashCode, hasIncomingEdges, hasOutgoingEdges, isTainted, removeIncomingEdge, removeOutgoingEdge, setBlock, setTainted, setTaintLabel

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

SDGActualOutNode

public SDGActualOutNode(int id,
                        SSAValue returnValue,
                        IRBlock block)

Creates an actual-out node; the owning call node is set separately.

Parameters:

id - the node id

returnValue - the value the call defines, or null for a void call

block - the block holding the call

Method Detail

getCallNode

public SDGCallNode getCallNode()

Returns:

the call node

setCallNode

public void setCallNode(SDGCallNode callNode)

Links this node back to the call site that owns it.

Parameters:

callNode - the owning call node

getReturnValue

public SSAValue getReturnValue()

Returns:

the return value

getLabel

public String getLabel()

Specified by:

getLabel in class PDGNode

Returns:

a short human-readable description of what this node represents

getUsedValues

public List<Value> getUsedValues()

Specified by:

getUsedValues in class PDGNode

Returns:

the values this node reads

getDefinedValue

public SSAValue getDefinedValue()

Specified by:

getDefinedValue in class PDGNode

Returns:

the value this node defines, or null if it defines none

hasReturnValue

public boolean hasReturnValue()

Returns:

true if the call produces a value rather than returning void

getParameterName

public String getParameterName()

Names the returned value for display, falling back to "result" for a void call.

Returns:

the display name

toString

public String toString()

Overrides:

toString in class PDGNode