Package com.ibm.wala.demandpa.flowgraph

Class NewBarLabel

java.lang.Object

com.ibm.wala.demandpa.flowgraph.NewBarLabel

All Implemented Interfaces:

IFlowLabel

public class NewBarLabel
extends Object
implements IFlowLabel

Author:

Manu Sridharan

Nested Class Summary

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

IFlowLabel.IFlowLabelVisitor

Method Summary

Modifier and Type	Method	Description
NewLabel	bar()
boolean	isBarred()
static NewBarLabel	v()
void	visit(IFlowLabel.IFlowLabelVisitor v, Object dst)

Methods inherited from class java.lang.Object

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

Method Details

v

public static NewBarLabel v()

bar

public NewLabel bar()

Specified by:

bar in interface IFlowLabel

Returns:

the bar (inverse) edge corresponding to this edge

visit

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

Specified by:

visit in interface IFlowLabel

Throws:

IllegalArgumentException

isBarred

public boolean isBarred()

Specified by:

isBarred in interface IFlowLabel

Returns:

true if this is a "barred" edge