Package com.ibm.wala.demandpa.flowgraph

Class ParamLabel

java.lang.Object

com.ibm.wala.demandpa.flowgraph.CallLabel

com.ibm.wala.demandpa.flowgraph.ParamLabel

All Implemented Interfaces:

IFlowLabel

public class ParamLabel
extends CallLabel

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.flowgraph.IFlowLabel

IFlowLabel.IFlowLabelVisitor

Field Summary

Fields inherited from class com.ibm.wala.demandpa.flowgraph.CallLabel

callSite

Method Summary

Modifier and Type	Method	Description
ParamBarLabel	bar()
boolean	isBarred()
static ParamLabel	make(CallerSiteContext callSite)
String	toString()
void	visit(IFlowLabel.IFlowLabelVisitor v, Object dst)

Methods inherited from class com.ibm.wala.demandpa.flowgraph.CallLabel

equals, getCallSite, hashCode

Methods inherited from class java.lang.Object

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

Method Details

make

public static ParamLabel make(CallerSiteContext callSite)

visit

public void visit(IFlowLabel.IFlowLabelVisitor v,
 Object dst)
           throws IllegalArgumentException

Throws:

IllegalArgumentException

toString

public String toString()

Overrides:

toString in class Object

bar

public ParamBarLabel bar()

Returns:

the bar (inverse) edge corresponding to this edge

isBarred

public boolean isBarred()

Returns:

true if this is a "barred" edge