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

Class MapDynamicContextDefProvider

java.lang.Object

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

All Implemented Interfaces:

IDynamicContextDefProvider

public class MapDynamicContextDefProvider
extends Object
implements IDynamicContextDefProvider

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

Constructor Summary

Constructors

Constructor	Description
MapDynamicContextDefProvider()

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

MapDynamicContextDefProvider

public MapDynamicContextDefProvider()

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.