org.openl.rules.tbasic.compile

Class ReturnAnalyzer

java.lang.Object

org.openl.rules.tbasic.compile.ReturnAnalyzer

public class ReturnAnalyzer
extends Object

The ReturnAnalyzer class analyzes body of some TBasic function for correctness of returns sequence and return types and detects unreachable code.

Constructor Summary

Constructors

Constructor and Description
ReturnAnalyzer(IOpenClass returnType, AlgorithmCompiler compiler) Create an instance of ReturnAnalyzer for analysis of some function from TBasic compiler.

Method Summary

Modifier and Type	Method and Description
SuitablityAsReturn	analyze(List<AlgorithmTreeNode> nodesToAnalyze) Make full analysis of correctness of returns sequence and return types and detects unreachable code.
IOpenClass	getReturnType()

Methods inherited from class java.lang.Object

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

Constructor Detail

ReturnAnalyzer

public ReturnAnalyzer(IOpenClass returnType,
                      AlgorithmCompiler compiler)

Create an instance of ReturnAnalyzer for analysis of some function from TBasic compiler.

Parameters:

returnType - Expected return type of function

compiler - Associated TBasic compiler.

Method Detail

analyze

public SuitablityAsReturn analyze(List<AlgorithmTreeNode> nodesToAnalyze)
                           throws SyntaxNodeException

Make full analysis of correctness of returns sequence and return types and detects unreachable code.

Parameters:

nodesToAnalyze - Body of some function to analyze.

Returns:

Correctness of code.

Throws:

SyntaxNodeException - If function contains unreachable code or incorrect return type.

getReturnType

public IOpenClass getReturnType()

Returns:

Expected return type of function