org.apache.flex.abc.visitors

Interface IDiagnosticsVisitor

All Known Implementing Classes:

AbstractDiagnosticVisitor, DiagnosticsAggregator, NilDiagnosticsVisitor

public interface IDiagnosticsVisitor

IVisitor that is called by the ABCEmitter to notify clients of issues it encountered that will most likely cause the abc created by the ABCEmitter to fail verification in the VM.

Clients should not directly implement this method unless absolutely necessary, instead the should sub-class AbstractDiagnosticVisitor. Methods may be added to this interface in future versions of the AET.

Method Summary

Methods

Modifier and Type	Method and Description
void	incorrectNumberOfParameterNames(MethodInfo methodInfo) A MethodInfo has a different number of parameter names than parameter types.
void	nativeMethodWithMethodBody(MethodInfo methodInfo, MethodBodyInfo methodBodyInfo) A MethodInfo for a native method also has an associated MethodBodyInfo.
void	operandStackUnderflow(MethodBodyInfo methodBodyInfo, IFlowgraph cfg, IBasicBlock block, int instructionIndex) An underflow of operand stack was detected in a basic block in a method.
void	scopeStackUnderflow(MethodBodyInfo methodBodyInfo, IFlowgraph cfg, IBasicBlock block, int instructionIndex) An underflow of scope stack was detected in a basic block in a method.
void	scriptInitWithRequiredArguments(ScriptInfo scriptInfo, MethodInfo methodInfo) A MethodInfo for the init method of a ScriptInfo has required arguments.
void	tooManyDefaultParameters(MethodInfo methodInfo) A MethodInfo has too many default parameters.
void	unreachableBlock(MethodBodyInfo methodBodyInfo, IFlowgraph cfg, IBasicBlock block) A basic block in a method has been found to be unreachable.

Method Detail

operandStackUnderflow

void operandStackUnderflow(MethodBodyInfo methodBodyInfo,
                         IFlowgraph cfg,
                         IBasicBlock block,
                         int instructionIndex)

An underflow of operand stack was detected in a basic block in a method.

Parameters:

methodBodyInfo - MethodBodyInfo for the method body with the stack underflow.

cfg - IFlowgraph for the method body with the stack underflow.

block - IBasicBlock in the IFlowgraph that contains the stack underflow.

instructionIndex - The index of the instruction in the IBasicBlock that contains the stack underflow.

scopeStackUnderflow

void scopeStackUnderflow(MethodBodyInfo methodBodyInfo,
                       IFlowgraph cfg,
                       IBasicBlock block,
                       int instructionIndex)

An underflow of scope stack was detected in a basic block in a method.

Parameters:

methodBodyInfo - MethodBodyInfo for the method body with the stack underflow.

cfg - IFlowgraph for the method body with the stack underflow.

block - IBasicBlock in the IFlowgraph that contains the stack underflow.

instructionIndex - The index of the instruction in the IBasicBlock that contains the stack underflow.

unreachableBlock

void unreachableBlock(MethodBodyInfo methodBodyInfo,
                    IFlowgraph cfg,
                    IBasicBlock block)

A basic block in a method has been found to be unreachable.

Parameters:

methodBodyInfo - MethodBodyInfo for the method body with the unreachable block.

cfg - IFlowgraph for the method body with the unreachable block.

block - IBasicBlock in the IFlowgraph that contains the unreachable block.

tooManyDefaultParameters

void tooManyDefaultParameters(MethodInfo methodInfo)

A MethodInfo has too many default parameters.

Parameters:

methodInfo - The MethodInfo that has too many default parameters.

incorrectNumberOfParameterNames

void incorrectNumberOfParameterNames(MethodInfo methodInfo)

A MethodInfo has a different number of parameter names than parameter types.

Parameters:

methodInfo - The MethodInfo that has the incorrect number of parameter names.

nativeMethodWithMethodBody

void nativeMethodWithMethodBody(MethodInfo methodInfo,
                              MethodBodyInfo methodBodyInfo)

A MethodInfo for a native method also has an associated MethodBodyInfo.

Parameters:

methodInfo - The MethodInfo that is marked as a native method.

methodBodyInfo - The MethodBodyInfo associated with the native method.

scriptInitWithRequiredArguments

void scriptInitWithRequiredArguments(ScriptInfo scriptInfo,
                                   MethodInfo methodInfo)

A MethodInfo for the init method of a ScriptInfo has required arguments.

Parameters:

scriptInfo - The ScriptInfo whose init method has required arguments.

methodInfo - The MethodInfo for the init method of the specified ScriptInfo.