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 AssignLabelbar()booleanequals(Object obj)FilteredPointerKey.TypeFiltergetFilter()inthashCode()booleanisBarred()static AssignBarLabelmake(FilteredPointerKey.TypeFilter filter)static AssignBarLabelnoFilter()voidvisit(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:
barin interfaceIFlowLabel- Returns:
- the bar (inverse) edge corresponding to this edge
-
visit
public void visit(IFlowLabel.IFlowLabelVisitor v, Object dst) throws IllegalArgumentException
- Specified by:
visitin interfaceIFlowLabel- Throws:
IllegalArgumentException
-
isBarred
public boolean isBarred()
- Specified by:
isBarredin interfaceIFlowLabel- Returns:
- true if this is a "barred" edge
-
getFilter
public FilteredPointerKey.TypeFilter getFilter()
- Specified by:
getFilterin interfaceIFlowLabelWithFilter
-
-