Package 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

Author:

manu

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	IFlowLabel.IFlowLabelVisitor

Method Summary

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

Method Details

visit

void visit(IFlowLabel.IFlowLabelVisitor v,
 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