com.ibm.wala.demandpa.flowgraph

Class AssignLabel

java.lang.Object

com.ibm.wala.demandpa.flowgraph.AssignLabel

All Implemented Interfaces:

IFlowLabel, IFlowLabelWithFilter

public class AssignLabel
extends Object
implements IFlowLabelWithFilter

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.demandpa.flowgraph.IFlowLabel

IFlowLabel.IFlowLabelVisitor

Method Summary

Methods

Modifier and Type	Method and Description
AssignBarLabel	bar()
boolean	equals(Object obj)
FilteredPointerKey.TypeFilter	getFilter()
int	hashCode()
boolean	isBarred()
static AssignLabel	make(FilteredPointerKey.TypeFilter filter)
static AssignLabel	noFilter()
String	toString()
void	visit(IFlowLabel.IFlowLabelVisitor v, Object dst)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

noFilter

public static AssignLabel noFilter()

make

public static AssignLabel make(FilteredPointerKey.TypeFilter filter)

visit

public void visit(IFlowLabel.IFlowLabelVisitor v,
         Object dst)
           throws IllegalArgumentException

Specified by:

visit in interface IFlowLabel

Throws:

IllegalArgumentException

bar

public AssignBarLabel bar()

Specified by:

bar in interface IFlowLabel

Returns:

the bar (inverse) edge corresponding to this edge

toString

public String toString()

Overrides:

toString in class Object

isBarred

public boolean isBarred()

Specified by:

isBarred in interface IFlowLabel

Returns:

true if this is a "barred" edge

getFilter

public FilteredPointerKey.TypeFilter getFilter()

Specified by:

getFilter in interface IFlowLabelWithFilter