org.apache.flex.abc.graph

Interface IFlowgraph

All Known Implementing Classes:

ControlFlowGraph

public interface IFlowgraph

IFlowgraph defines the operations required of an object that can serve as an AET flowgraph.

A flowgraph is a directed graph with a set of vertices, its basic blocks, and a set of edges. One vertex, the start block, is the first vertex on every path through the flowgraph.

Method Summary

Methods

Modifier and Type	Method and Description
Iterable<IBasicBlock>	blocksInControlFlowOrder() Get an iterator that will iterate over the blocks in the control flow graph in control flow order.
int	findLineNumber(IBasicBlock b) Find the closest matching line number to the start of a block.
int	findLineNumber(IBasicBlock b, int initialOffset) Find the nearest debugline instruction preceeding the given (Block,offset) position and fetch its line number.
String	findSourcePath(IBasicBlock b) Find the nearest debugfile instruction to the start of the given block and fetch its source path.
String	findSourcePath(IBasicBlock b, int initialOffset) Find the nearest debugfile instruction preceeding the given (Block,offset) position and fetch its source path.
IBasicBlock	getBlock(Label l) Get a Label's target Block.
List<IBasicBlock>	getBlocksInEntryOrder() Get the graph's blocks in their original order.
DominatorTree	getDominatorTree() Touch the graph's dominator tree and fetch it.
IBasicBlock	getStartBlock() Get the start block.
boolean	isCatchTarget(IBasicBlock b) Is the given Block a catch target?
boolean	isReachable(IBasicBlock b) Is the given Block reachable?
void	removeUnreachableBlock(IBasicBlock b) Remove an unreachable block from the CFG.
void	traverseGraph(IFlowGraphVisitor visitor) Walk a IFlowGraphVisitor over this CFG.

Method Detail

getBlock

IBasicBlock getBlock(Label l)

Get a Label's target Block.

Parameters:

l - - the Label of interest.

Returns:

the corresponding Block, or null if not found.

getStartBlock

IBasicBlock getStartBlock()

Get the start block.

Returns:

the start block.

isCatchTarget

boolean isCatchTarget(IBasicBlock b)

Is the given Block a catch target?

Parameters:

b - - the Block of interest.

Returns:

true if the Block is a catch target.

blocksInControlFlowOrder

Iterable<IBasicBlock> blocksInControlFlowOrder()

Get an iterator that will iterate over the blocks in the control flow graph in control flow order. This will traverse each edge in the graph once, but may return the same block multiple times if multiple edges lead to it.

getBlocksInEntryOrder

List<IBasicBlock> getBlocksInEntryOrder()

Get the graph's blocks in their original order.

Returns:

an immutable List that presents the blocks in entry order.

traverseGraph

void traverseGraph(IFlowGraphVisitor visitor)

Walk a IFlowGraphVisitor over this CFG.

Parameters:

visitor - - the visitor.

getDominatorTree

DominatorTree getDominatorTree()

Touch the graph's dominator tree and fetch it.

Returns:

the graph's dominator tree.

removeUnreachableBlock

void removeUnreachableBlock(IBasicBlock b)

Remove an unreachable block from the CFG.

Parameters:

b - - the Block to remove.

isReachable

boolean isReachable(IBasicBlock b)

Is the given Block reachable?

Parameters:

b - - the block of interest.

Returns:

true if a path exists from any "entry" block to b.

findLineNumber

int findLineNumber(IBasicBlock b)

Find the closest matching line number to the start of a block.

Parameters:

b - the block of interest.

Returns:

any initial debugline within the block, or the nearest debugline in the preceeding (entry-order) blocks.

findLineNumber

int findLineNumber(IBasicBlock b,
                 int initialOffset)

Find the nearest debugline instruction preceeding the given (Block,offset) position and fetch its line number.

Parameters:

b - - the Block of interest.

initialOffset - - the start offset in the block.

Returns:

the closest debugline instruction's line number, or -1 if not found.

findSourcePath

String findSourcePath(IBasicBlock b)

Find the nearest debugfile instruction to the start of the given block and fetch its source path.

Parameters:

b - - the Block of interest.

Returns:

the closest debugfile instruction's source path, or null if not found.

findSourcePath

String findSourcePath(IBasicBlock b,
                    int initialOffset)

Find the nearest debugfile instruction preceeding the given (Block,offset) position and fetch its source path.

Parameters:

b - - the Block of interest.

initialOffset - - the start offset in the block.

Returns:

the closest debugfile instruction's source path, or null if not found.