Package com._1c.g5.v8.dt.bsl.validation

Class TypesChecker

java.lang.Object

com._1c.g5.v8.dt.bsl.validation.TypesChecker

public class TypesChecker
extends Object

Validates type of expression in BSL

Constructor Summary

Constructors

Constructor	Description
TypesChecker()

Method Summary

Modifier and Type	Method	Description
protected List<BslJavaValidator.ErrorDescr>	_check(EmptyStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(EventHandlerStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(ExecuteStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(ForToStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(IfStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(RaiseStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(ReturnStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(SimpleStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(WhileStatement stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_check(org.eclipse.emf.ecore.EObject stat, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_checkExpression(BinaryExpression expr, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_checkExpression(DynamicFeatureAccess expr, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_checkExpression(Expression expr, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_checkExpression(Invocation expr, Environments envs)
protected List<BslJavaValidator.ErrorDescr>	_checkExpression(UnaryExpression expr, Environments envs)
List<BslJavaValidator.ErrorDescr>	check(org.eclipse.emf.ecore.EObject stat, Environments envs)
List<BslJavaValidator.ErrorDescr>	checkExpression(Expression expr, Environments envs)
List<BslJavaValidator.ErrorDescr>	checkExpressionTypes(Expression expr, Environments envs)	Check types for Expression in BSL
List<BslJavaValidator.ErrorDescr>	checkTypes(org.eclipse.emf.ecore.EObject stat, Environments envs)	Check types for Statement in BSL

Methods inherited from class java.lang.Object

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

Constructor Detail

TypesChecker

public TypesChecker()

Method Detail

checkTypes

public List<BslJavaValidator.ErrorDescr> checkTypes(org.eclipse.emf.ecore.EObject stat,
                                                    Environments envs)

Check types for Statement in BSL

Parameters:

stat -

envs - corresponding environments for this statement

Returns:

list of found errors

checkExpressionTypes

public List<BslJavaValidator.ErrorDescr> checkExpressionTypes(Expression expr,
                                                              Environments envs)

Check types for Expression in BSL

Parameters:

expr -

envs - corresponding environments for this expression

Returns:

list of found errors

_check

protected List<BslJavaValidator.ErrorDescr> _check(org.eclipse.emf.ecore.EObject stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(EmptyStatement stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(EventHandlerStatement stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(ExecuteStatement stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(RaiseStatement stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(ReturnStatement stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(ForToStatement stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(WhileStatement stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(IfStatement stat,
                                                   Environments envs)

_check

protected List<BslJavaValidator.ErrorDescr> _check(SimpleStatement stat,
                                                   Environments envs)

_checkExpression

protected List<BslJavaValidator.ErrorDescr> _checkExpression(Expression expr,
                                                             Environments envs)

_checkExpression

protected List<BslJavaValidator.ErrorDescr> _checkExpression(DynamicFeatureAccess expr,
                                                             Environments envs)

_checkExpression

protected List<BslJavaValidator.ErrorDescr> _checkExpression(UnaryExpression expr,
                                                             Environments envs)

_checkExpression

protected List<BslJavaValidator.ErrorDescr> _checkExpression(BinaryExpression expr,
                                                             Environments envs)

_checkExpression

protected List<BslJavaValidator.ErrorDescr> _checkExpression(Invocation expr,
                                                             Environments envs)

check

public List<BslJavaValidator.ErrorDescr> check(org.eclipse.emf.ecore.EObject stat,
                                               Environments envs)

checkExpression

public List<BslJavaValidator.ErrorDescr> checkExpression(Expression expr,
                                                         Environments envs)