com.ibm.wala.demandpa.flowgraph
Class ReturnBarLabel

java.lang.Object
  com.ibm.wala.demandpa.flowgraph.CallLabel
      com.ibm.wala.demandpa.flowgraph.ReturnBarLabel

All Implemented Interfaces:

IFlowLabel

public class ReturnBarLabel
extends CallLabel

Nested Class Summary

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

IFlowLabel.IFlowLabelVisitor

Field Summary

Fields inherited from class com.ibm.wala.demandpa.flowgraph.CallLabel

callSite

Method Summary

ReturnLabel	bar()
boolean	isBarred()
static ReturnBarLabel	make(CallSiteAndCGNode callSite)
java.lang.String	toString()
void	visit(IFlowLabel.IFlowLabelVisitor v, java.lang.Object dst)

Methods inherited from class com.ibm.wala.demandpa.flowgraph.CallLabel

equals, getCallSite, hashCode

Methods inherited from class java.lang.Object

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

Method Detail

make

public static ReturnBarLabel make(CallSiteAndCGNode callSite)

bar

public ReturnLabel bar()

Returns:

the bar (inverse) edge corresponding to this edge

visit

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

Throws:

java.lang.IllegalArgumentException

isBarred

public boolean isBarred()

Returns:

true if this is a "barred" edge

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object