org.apache.flex.abc.diagnostics

Class DiagnosticsAggregator

java.lang.Object

org.apache.flex.abc.diagnostics.DiagnosticsAggregator

All Implemented Interfaces:

IDiagnosticsVisitor

public class DiagnosticsAggregator
extends Object
implements IDiagnosticsVisitor

A DiagnosticsAggregator collects AET diagnostics for analysis.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DiagnosticsAggregator.ProblemDescription A ProblemDescription holds information about a particular problem occurrence.

Constructor Summary

Constructors

Constructor and Description
DiagnosticsAggregator()

Method Summary

Methods

Modifier and Type	Method and Description
List<DiagnosticsAggregator.ProblemDescription>	getErrors() Get problem-level diagnostics seen by this visitor.
List<DiagnosticsAggregator.ProblemDescription>	getWarnings() Get warning-level diagnostics seen by this visitor.
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

DiagnosticsAggregator

public DiagnosticsAggregator()

Method Detail

getErrors

public List<DiagnosticsAggregator.ProblemDescription> getErrors()

Get problem-level diagnostics seen by this visitor.

Returns:

problems encountered, as an immutable list.

getWarnings

public List<DiagnosticsAggregator.ProblemDescription> getWarnings()

Get warning-level diagnostics seen by this visitor.

Returns:

warnings encountered, as an immutable list.

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.