Package com.ibm.wala.demandpa.flowgraph
Class AssignBarLabel
- java.lang.Object
-
- com.ibm.wala.demandpa.flowgraph.AssignBarLabel
-
- All Implemented Interfaces:
IFlowLabel
,IFlowLabelWithFilter
public class AssignBarLabel extends Object implements IFlowLabelWithFilter
-
-
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 AssignLabel
bar()
boolean
equals(Object obj)
FilteredPointerKey.TypeFilter
getFilter()
int
hashCode()
boolean
isBarred()
static AssignBarLabel
make(FilteredPointerKey.TypeFilter filter)
static AssignBarLabel
noFilter()
void
visit(IFlowLabel.IFlowLabelVisitor v, Object dst)
-
-
-
Method Detail
-
noFilter
public static AssignBarLabel noFilter()
-
make
public static AssignBarLabel make(FilteredPointerKey.TypeFilter filter)
-
bar
public AssignLabel bar()
- Specified by:
bar
in interfaceIFlowLabel
- Returns:
- the bar (inverse) edge corresponding to this edge
-
visit
public void visit(IFlowLabel.IFlowLabelVisitor v, Object dst) throws IllegalArgumentException
- Specified by:
visit
in interfaceIFlowLabel
- Throws:
IllegalArgumentException
-
isBarred
public boolean isBarred()
- Specified by:
isBarred
in interfaceIFlowLabel
- Returns:
- true if this is a "barred" edge
-
getFilter
public FilteredPointerKey.TypeFilter getFilter()
- Specified by:
getFilter
in interfaceIFlowLabelWithFilter
-
-