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

Class TypesComputer

java.lang.Object

com._1c.g5.v8.dt.bsl.resource.TypesComputer

public class TypesComputer
extends Object

Computes types of Expression in Built-In language.

Constructor Summary

Constructors

Constructor	Description
TypesComputer()

Method Summary

Modifier and Type	Method	Description
protected List<TypeItem>	_compute(AwaitExpression awaitExpression, Environments envs)
protected List<TypeItem>	_compute(BinaryExpression operation, Environments envs)
protected List<TypeItem>	_compute(BooleanLiteral literal, Environments envs)
protected List<TypeItem>	_compute(DateLiteral literal, Environments envs)
protected List<TypeItem>	_compute(DynamicFeatureAccess featureAccess, Environments envs)
protected List<TypeItem>	_compute(FeatureEntry entry, Environments envs)
protected List<TypeItem>	_compute(FormalParam param, Environments envs)
protected List<TypeItem>	_compute(Function function, Environments envs)
protected List<TypeItem>	_compute(FunctionStyleCreator creator, Environments envs)
protected List<TypeItem>	_compute(IndexAccess indexAccess, Environments envs)
protected List<TypeItem>	_compute(Invocation inv, Environments envs)
protected List<TypeItem>	_compute(NullLiteral literal, Environments envs)
protected List<TypeItem>	_compute(NumberLiteral literal, Environments envs)
protected List<TypeItem>	_compute(OperatorStyleCreator creator, Environments envs)
protected List<TypeItem>	_compute(RegionPreprocessorExpression preprocessorExpression, Environments envs)
protected List<TypeItem>	_compute(StaticFeatureAccess featureAccess, Environments envs)
protected List<TypeItem>	_compute(StringLiteral literal, Environments envs)
protected List<TypeItem>	_compute(UnaryExpression unary, Environments envs)
protected List<TypeItem>	_compute(UndefinedLiteral literal, Environments envs)
protected List<TypeItem>	_compute(Method method, Environments envs)
protected List<TypeItem>	_compute(Property property, Environments envs)
protected List<TypeItem>	_compute(org.eclipse.emf.ecore.EObject object, Environments envs)
List<TypeItem>	compute(org.eclipse.emf.ecore.EObject function, Environments envs)
List<TypeItem>	computeTypes(org.eclipse.emf.ecore.EObject object, Environments envs)	Computes type for EObject corresponding to Environments
boolean	isCompOp(BinaryOperation operation)	Checks type of BinaryOperation
boolean	isLogOp(BinaryOperation operation)	Checks type of BinaryOperation
boolean	isMulOp(BinaryOperation operation)	Checks type of BinaryOperation

Methods inherited from class java.lang.Object

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

Constructor Detail

TypesComputer

public TypesComputer()

Method Detail

computeTypes

public List<TypeItem> computeTypes(org.eclipse.emf.ecore.EObject object,
                                   Environments envs)

Computes type for EObject corresponding to Environments

Parameters:

object - element in Built-In language model, can be null

envs - actual Environments for computing type of object, can't be null

Returns:

computed types corresponding to object for actual Environments envs, never null

isCompOp

public boolean isCompOp(BinaryOperation operation)

Checks type of BinaryOperation

Parameters:

operation - checking BinaryOperation, can't be null

Returns:

true, if it's logical comparing binary operation, false otherwise

isLogOp

public boolean isLogOp(BinaryOperation operation)

Checks type of BinaryOperation

Parameters:

operation - checking BinaryOperation, can't be null

Returns:

true, if it's logical binary operation, false otherwise

isMulOp

public boolean isMulOp(BinaryOperation operation)

Checks type of BinaryOperation

Parameters:

operation - checking BinaryOperation, can't be null

Returns:

true, if it's *, / or %, false otherwise

_compute

protected List<TypeItem> _compute(org.eclipse.emf.ecore.EObject object,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(BooleanLiteral literal,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(StringLiteral literal,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(NullLiteral literal,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(UndefinedLiteral literal,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(NumberLiteral literal,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(DateLiteral literal,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(OperatorStyleCreator creator,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(FunctionStyleCreator creator,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(Function function,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(UnaryExpression unary,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(BinaryExpression operation,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(StaticFeatureAccess featureAccess,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(Method method,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(Property property,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(Invocation inv,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(DynamicFeatureAccess featureAccess,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(IndexAccess indexAccess,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(RegionPreprocessorExpression preprocessorExpression,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(FeatureEntry entry,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(FormalParam param,
                                  Environments envs)

_compute

protected List<TypeItem> _compute(AwaitExpression awaitExpression,
                                  Environments envs)

compute

public List<TypeItem> compute(org.eclipse.emf.ecore.EObject function,
                              Environments envs)