org.apache.flex.abc.models

Interface TreeModelVisitor<T>

public interface TreeModelVisitor<T>

A TreeModelVisitor translates stack-oriented operations into a operation/operands view of an ABC method body.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	TreeModelVisitor.IMergePoint<T> IMergePoint models a point where several predecessors' values combine in the dataflow graph.

Method Summary

Methods

Modifier and Type	Method and Description
T	addMergePoint(IBasicBlock toInit) Add a merge node, where values from several blocks combine in the dataflow graph.
T	scopeStackUnderflow(Instruction insn, int count) Recover from a scope stack underflow condition.
T	translate(Instruction insn, Collection<T> operands) Translate an Instruction and its operands into an intermediate form.
T	translateBranch(Instruction insn, Collection<IBasicBlock> targets) Translate a branch Instruction and its targets into an intermediate form.
T	translateExceptionVariable(Name varName, Name varType) Get a representation of an exception variable.
T	translateParameter(int paramNumber) Get a representation of a function actual parameter.
T	valueStackUnderflow(Instruction insn, int count) Recover from a value stack underflow condition.
void	visit(TreeModelEncoder<T> model) Begin visiting a method's frames.
boolean	visitBlock(IBasicBlock b) Begin a visit to a block.
void	visitEnd() Finish visiting a method and its frames.
void	visitEnd(IBasicBlock b) Finish visiting a block.

Method Detail

visit

void visit(TreeModelEncoder<T> model)

Begin visiting a method's frames.

Parameters:

model - - the TreeModelEncoder that's driving the visitor.

visitEnd

void visitEnd()

Finish visiting a method and its frames.

visitBlock

boolean visitBlock(IBasicBlock b)

Begin a visit to a block.

Parameters:

b - the IBasicBlock to be visited.

Returns:

true if the encoder should continue visiting the block.

visitEnd

void visitEnd(IBasicBlock b)

Finish visiting a block.

Parameters:

b - the last IBasicBlock to be confirmed to-be-visited by visitBlock().

translate

T translate(Instruction insn,
          Collection<T> operands)

Translate an Instruction and its operands into an intermediate form.

Parameters:

insn - - the Instruction that encoded this operation.

operands - - the Instruction's operands, usually from the ABC value stack.

Returns:

an equivalent representation of the operation denoted by the instruction/operands tuple.

translateBranch

T translateBranch(Instruction insn,
                Collection<IBasicBlock> targets)

Translate a branch Instruction and its targets into an intermediate form.

Parameters:

insn - - the Instruction that encoded this operation.

targets - - the Instruction's targets.

Returns:

an equivalent representation of the operation denoted by the instruction/targets tuple.

valueStackUnderflow

T valueStackUnderflow(Instruction insn,
                    int count)

Recover from a value stack underflow condition.

Parameters:

insn - - the Instruction that attempted to encode this operation.

count - - the number of stack values required.

Returns:

a representation of the recovery action; returning some type of "bottom value" is recommended.

scopeStackUnderflow

T scopeStackUnderflow(Instruction insn,
                    int count)

Recover from a scope stack underflow condition.

Parameters:

insn - - the Instruction that attempted to encode this operation.

count - - the number of scope stack values required.

Returns:

a representation of the recovery action; returning some type of "bottom value" is recommended.

translateParameter

T translateParameter(int paramNumber)

Get a representation of a function actual parameter.

Parameters:

paramNumber - - the parameter number.

Returns:

a representation of the parameter as an initializing value.

translateExceptionVariable

T translateExceptionVariable(Name varName,
                           Name varType)

Get a representation of an exception variable.

Parameters:

varName - the exception variable's name.

varType - the exception variable's type.

Returns:

a representation of the exception variable as an initializing value.

addMergePoint

T addMergePoint(IBasicBlock toInit)

Add a merge node, where values from several blocks combine in the dataflow graph.

Parameters:

toInit - - the Block where these values combine.

Returns:

a representation of the merge point; this object must implement @code{IMergePoint}.