Package com.ibm.wala.demandpa.flowgraph
Class PutFieldBarLabel
- java.lang.Object
-
- com.ibm.wala.demandpa.flowgraph.PutFieldBarLabel
-
- All Implemented Interfaces:
IFlowLabel
public class PutFieldBarLabel extends Object implements IFlowLabel
-
-
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 PutFieldLabel
bar()
boolean
equals(Object obj)
IField
getField()
int
hashCode()
boolean
isBarred()
static PutFieldBarLabel
make(IField field)
String
toString()
void
visit(IFlowLabel.IFlowLabelVisitor v, Object dst)
-
-
-
Method Detail
-
make
public static PutFieldBarLabel make(IField field)
-
getField
public IField getField()
-
bar
public PutFieldLabel 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
-
-