org.apache.flex.abc.models

Class FrameModelEncoder

java.lang.Object

org.apache.flex.abc.models.FrameModelEncoder

All Implemented Interfaces:

IFlowGraphVisitor

public class FrameModelEncoder
extends Object
implements IFlowGraphVisitor

The FrameModelEncoder abstracts ABC instructions into a sequence of operations on the method's "frame" (i.e., its locals, scope stack, and value stack).

Constructor Summary

Constructors

Constructor and Description
FrameModelEncoder(MethodBodyInfo mbi, FrameModelVisitor<?> visitor, IDiagnosticsVisitor diagnosticsVisitor) Construct a new FrameModelEncoder.

Method Summary

Methods

Modifier and Type	Method and Description
int	getInstructionIndex() Get the index of the current instruction in the current block.
boolean	visitBlock(IBasicBlock b) Visit a Block.
void	visitEnd(IBasicBlock b) Finish visiting a Block.
void	visitInstruction(Instruction i) Visit an Instruction within the most recently-visited Block.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FrameModelEncoder

public FrameModelEncoder(MethodBodyInfo mbi,
                 FrameModelVisitor<?> visitor,
                 IDiagnosticsVisitor diagnosticsVisitor)

Construct a new FrameModelEncoder.

Parameters:

mbi - - the MethodBodyInfo to analyze.

visitor - - the FrameModelVisitor analyzing the method.

diagnosticsVisitor - - a sink for diagnostics.

Method Detail

visitBlock

public boolean visitBlock(IBasicBlock b)

Visit a Block.

Specified by:

visitBlock in interface IFlowGraphVisitor

Parameters:

b - - the IBasicBlock to visit.

Returns:

the visitor's decision re: visiting the block.

getInstructionIndex

public int getInstructionIndex()

Get the index of the current instruction in the current block.

Returns:

the index of the current instruction in the current block.

visitInstruction

public void visitInstruction(Instruction i)

Visit an Instruction within the most recently-visited Block.

Specified by:

visitInstruction in interface IFlowGraphVisitor

Parameters:

i - - the Instruction.

visitEnd

public void visitEnd(IBasicBlock b)

Description copied from interface: IFlowGraphVisitor

Finish visiting a Block.

Specified by:

visitEnd in interface IFlowGraphVisitor

Parameters:

b - - the Block. It must be the same block last visited by visitBlock() where that call returned true.