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

Nested Classes

Modifier and Type	Interface and Description
static interface	IFlowLabel.IFlowLabelVisitor

Method Summary

Modifier and Type	Method and Description
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