com.ibm.wala.demandpa.flowgraph
Interface IFlowLabel

All Known Subinterfaces:

IFlowLabelWithFilter

All Known Implementing Classes:

AssignBarLabel, AssignGlobalBarLabel, AssignGlobalLabel, AssignLabel, CallLabel, GetFieldBarLabel, GetFieldLabel, MatchBarLabel, MatchLabel, NewBarLabel, NewLabel, ParamBarLabel, ParamLabel, PutFieldBarLabel, PutFieldLabel, ReturnBarLabel, ReturnLabel

public interface IFlowLabel

An edge label in a flow graph

Nested Class Summary

static interface

IFlowLabel.IFlowLabelVisitor

Method Summary

IFlowLabel	bar()
boolean	isBarred()
void	visit(IFlowLabel.IFlowLabelVisitor v, java.lang.Object dst)

Method Detail

visit

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

bar

IFlowLabel bar()

Returns:

the bar (inverse) edge corresponding to this edge

isBarred

boolean isBarred()

Returns:

true if this is a "barred" edge