org.apache.flex.abc.diagnostics

Class AbstractDiagnosticVisitor

java.lang.Object

org.apache.flex.abc.diagnostics.AbstractDiagnosticVisitor

All Implemented Interfaces:

IDiagnosticsVisitor

Direct Known Subclasses:

NilDiagnosticsVisitor

public abstract class AbstractDiagnosticVisitor
extends Object
implements IDiagnosticsVisitor

An abstract base class implementation of IDiagnosticsVisitor. Rather than implementing IDiagnosticsVisitor clients of AET should sub-class this class so that methods can be added to IDiagnosticsVisitor without having to update all implementations of IDiagnosticsVisitor.

Constructor Summary

Constructors

Constructor and Description
AbstractDiagnosticVisitor()

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractDiagnosticVisitor

public AbstractDiagnosticVisitor()

Method Detail

operandStackUnderflow

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

Description copied from interface: IDiagnosticsVisitor

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

Specified by:

operandStackUnderflow in interface IDiagnosticsVisitor

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

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

Description copied from interface: IDiagnosticsVisitor

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

Specified by:

scopeStackUnderflow in interface IDiagnosticsVisitor

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

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

Description copied from interface: IDiagnosticsVisitor

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

Specified by:

unreachableBlock in interface IDiagnosticsVisitor

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

public void tooManyDefaultParameters(MethodInfo methodInfo)

Description copied from interface: IDiagnosticsVisitor

A MethodInfo has too many default parameters.

Specified by:

tooManyDefaultParameters in interface IDiagnosticsVisitor

Parameters:

methodInfo - The MethodInfo that has too many default parameters.

incorrectNumberOfParameterNames

public void incorrectNumberOfParameterNames(MethodInfo methodInfo)

Description copied from interface: IDiagnosticsVisitor

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

Specified by:

incorrectNumberOfParameterNames in interface IDiagnosticsVisitor

Parameters:

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

nativeMethodWithMethodBody

public void nativeMethodWithMethodBody(MethodInfo methodInfo,
                              MethodBodyInfo methodBodyInfo)

Description copied from interface: IDiagnosticsVisitor

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

Specified by:

nativeMethodWithMethodBody in interface IDiagnosticsVisitor

Parameters:

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

methodBodyInfo - The MethodBodyInfo associated with the native method.

scriptInitWithRequiredArguments

public void scriptInitWithRequiredArguments(ScriptInfo scriptInfo,
                                   MethodInfo methodInfo)

Description copied from interface: IDiagnosticsVisitor

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

Specified by:

scriptInitWithRequiredArguments in interface IDiagnosticsVisitor

Parameters:

scriptInfo - The ScriptInfo whose init method has required arguments.

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