Package com.ibm.wala.demandpa.flowgraph

Class PutFieldLabel

java.lang.Object

com.ibm.wala.demandpa.flowgraph.PutFieldLabel

All Implemented Interfaces:

IFlowLabel

public class PutFieldLabel
extends Object
implements IFlowLabel

Nested Class Summary

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

IFlowLabel.IFlowLabelVisitor

Method Summary

Modifier and Type	Method	Description
PutFieldBarLabel	bar()
boolean	equals(Object obj)
IField	getField()
int	hashCode()
boolean	isBarred()
static PutFieldLabel	make(IField field)
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 Details

make

public static PutFieldLabel make(IField field)

getField

public IField getField()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

visit

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

Specified by:

visit in interface IFlowLabel

Throws:

IllegalArgumentException

toString

public String toString()

Overrides:

toString in class Object

bar

public PutFieldBarLabel bar()

Specified by:

bar in interface IFlowLabel

Returns:

the bar (inverse) edge corresponding to this edge

isBarred

public boolean isBarred()

Specified by:

isBarred in interface IFlowLabel

Returns:

true if this is a "barred" edge