Class AssignGlobalLabel
java.lang.Object
com.ibm.wala.demandpa.flowgraph.AssignGlobalLabel
- All Implemented Interfaces:
IFlowLabel
-
Nested Class Summary
Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.flowgraph.IFlowLabel
IFlowLabel.IFlowLabelVisitor
-
Method Summary
Modifier and TypeMethodDescriptionbar()
boolean
isBarred()
toString()
static AssignGlobalLabel
v()
void
visit
(IFlowLabel.IFlowLabelVisitor v, Object dst)
-
Method Details
-
v
-
visit
- Specified by:
visit
in interfaceIFlowLabel
- Throws:
IllegalArgumentException
-
bar
- Specified by:
bar
in interfaceIFlowLabel
- Returns:
- the bar (inverse) edge corresponding to this edge
-
isBarred
public boolean isBarred()- Specified by:
isBarred
in interfaceIFlowLabel
- Returns:
- true if this is a "barred" edge
-
toString
-