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