Package com.ibm.wala.demandpa.flowgraph
Interface IFlowLabel
-
- All Known Subinterfaces:
IFlowLabelWithFilter
- All Known Implementing Classes:
AssignBarLabel
,AssignGlobalBarLabel
,AssignGlobalLabel
,AssignLabel
,CallLabel
,GetFieldBarLabel
,GetFieldLabel
,MatchBarLabel
,MatchLabel
,NewBarLabel
,NewLabel
,ParamBarLabel
,ParamLabel
,PutFieldBarLabel
,PutFieldLabel
,ReturnBarLabel
,ReturnLabel
public interface IFlowLabel
An edge label in a flow graph
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
IFlowLabel.IFlowLabelVisitor
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description IFlowLabel
bar()
boolean
isBarred()
void
visit(IFlowLabel.IFlowLabelVisitor v, java.lang.Object dst)
-
-
-
Method Detail
-
visit
void visit(IFlowLabel.IFlowLabelVisitor v, java.lang.Object dst)
-
bar
IFlowLabel bar()
- Returns:
- the bar (inverse) edge corresponding to this edge
-
isBarred
boolean isBarred()
- Returns:
- true if this is a "barred" edge
-
-