com.ibm.wala.demandpa.flowgraph
Class PutFieldBarLabel

java.lang.Object
  com.ibm.wala.demandpa.flowgraph.PutFieldBarLabel

All Implemented Interfaces:

IFlowLabel

public class PutFieldBarLabel
extends java.lang.Object
implements IFlowLabel

Nested Class Summary

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

IFlowLabel.IFlowLabelVisitor

Method Summary

PutFieldLabel	bar()
boolean	equals(java.lang.Object obj)
IField	getField()
int	hashCode()
boolean	isBarred()
static PutFieldBarLabel	make(IField field)
void	visit(IFlowLabel.IFlowLabelVisitor v, java.lang.Object dst)

Methods inherited from class java.lang.Object

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

Method Detail

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

make

public static PutFieldBarLabel make(IField field)

getField

public IField getField()

bar

public PutFieldLabel bar()

Specified by:

bar in interface IFlowLabel

Returns:

the bar (inverse) edge corresponding to this edge

visit

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

Specified by:

visit in interface IFlowLabel

Throws:

java.lang.IllegalArgumentException

isBarred

public boolean isBarred()

Specified by:

isBarred in interface IFlowLabel

Returns:

true if this is a "barred" edge