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

Class ConstantsSetDynamicContextDefProvider

java.lang.Object

com._1c.g5.v8.dt.bsl.typesystem.ConstantsSetDynamicContextDefProvider

All Implemented Interfaces:

IDynamicContextDefProvider

public class ConstantsSetDynamicContextDefProvider
extends Object
implements IDynamicContextDefProvider

Special implementation of IDynamicContextDefProvider for constructor type of "ConstantsSet" that has semantic as "a = new ConstantsSet()"

Constructor Summary

Constructors

Constructor	Description
ConstantsSetDynamicContextDefProvider()

Method Summary

Modifier and Type	Method	Description
Type	computeDynamicType(org.eclipse.emf.ecore.EObject semanticObject, Type computeType, Environments envs)	Computes Type corresponding to semanticObject.
boolean	hasDynamicContext(org.eclipse.emf.ecore.EObject semanticObject, Type computeType, Environments envs)	Checks that returning Type computeType by semanticObject has dynamic ContextDef

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstantsSetDynamicContextDefProvider

public ConstantsSetDynamicContextDefProvider()

Method Detail

hasDynamicContext

public boolean hasDynamicContext(org.eclipse.emf.ecore.EObject semanticObject,
                                 Type computeType,
                                 Environments envs)

Description copied from interface: IDynamicContextDefProvider

Checks that returning Type computeType by semanticObject has dynamic ContextDef

Specified by:

hasDynamicContext in interface IDynamicContextDefProvider

Parameters:

semanticObject - model object from Bsl Model, can't be null. semanticObject instanceof OperatorStyleCreator or FunctionStyleCreator only.

computeType - Type returning by semanticObject, can be null in case semanticObject doesn't return any Type. Returning type computes by TypesComputer

envs - actual Environments corresponding to semanticObject in Bsl module, can't be null

Returns:

True if returning Type computeType by semanticObject has dynamic ContextDef, false otherwise

computeDynamicType

public Type computeDynamicType(org.eclipse.emf.ecore.EObject semanticObject,
                               Type computeType,
                               Environments envs)

Description copied from interface: IDynamicContextDefProvider

Computes Type corresponding to semanticObject. This type has expanding ContextDef vs computeType getting from TypesComputer

Specified by:

computeDynamicType in interface IDynamicContextDefProvider

Parameters:

semanticObject - model object from Bsl Model, can't be null. semanticObject instanceof OperatorStyleCreator or FunctionStyleCreator only.

computeType - Type returning by semanticObject, can be null in case semanticObject doesn't return any Type. Returning type computes by TypesComputer

envs - actual Environments corresponding to semanticObject in Bsl module, can't be null

Returns:

Type corresponding to semanticObject. This type has expanding ContextDef of computeType. Returning type must be identity equals given computeType if and only if computeType != null. In case when computeType == null returning type can be null or can have any type value.