IFlowLabel (API Reference for wala 1.3.9)

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 Description

static interface IFlowLabel.IFlowLabelVisitor

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`IFlowLabel`	`bar()`
`boolean`	`isBarred()`
`void`	`visit(IFlowLabel.IFlowLabelVisitor v, Object dst)`

Method Detail

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