Package com.ibm.wala.demandpa.flowgraph
Class ReturnLabel
- java.lang.Object
-
- com.ibm.wala.demandpa.flowgraph.CallLabel
-
- com.ibm.wala.demandpa.flowgraph.ReturnLabel
-
- All Implemented Interfaces:
IFlowLabel
public class ReturnLabel extends CallLabel
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.flowgraph.IFlowLabel
IFlowLabel.IFlowLabelVisitor
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description ReturnBarLabel
bar()
boolean
isBarred()
static ReturnLabel
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
-
-
-
-
Method Detail
-
make
public static ReturnLabel make(CallerSiteContext callSite)
-
visit
public void visit(IFlowLabel.IFlowLabelVisitor v, Object dst) throws IllegalArgumentException
- Throws:
IllegalArgumentException
-
bar
public ReturnBarLabel bar()
- Returns:
- the bar (inverse) edge corresponding to this edge
-
isBarred
public boolean isBarred()
- Returns:
- true if this is a "barred" edge
-
-