Class ReturnBarLabel
java.lang.Object
com.ibm.wala.demandpa.flowgraph.CallLabel
com.ibm.wala.demandpa.flowgraph.ReturnBarLabel
-
Nested Class Summary
Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.flowgraph.IFlowLabel
IFlowLabel.IFlowLabelVisitor
-
Field Summary
-
Method Summary
Modifier and TypeMethodDescriptionbar()
boolean
isBarred()
static ReturnBarLabel
make
(CallerSiteContext callSite) toString()
void
visit
(IFlowLabel.IFlowLabelVisitor v, Object dst) Methods inherited from class com.ibm.wala.demandpa.flowgraph.CallLabel
equals, getCallSite, hashCode
-
Method Details
-
make
-
bar
- Returns:
- the bar (inverse) edge corresponding to this edge
-
visit
- Throws:
IllegalArgumentException
-
isBarred
public boolean isBarred()- Returns:
- true if this is a "barred" edge
-
toString
-