org.eclipse.ocl.examples.impactanalyzer.util

Class EcoreEnvironmentFactoryWithScopedExtentMap

java.lang.Object

org.eclipse.ocl.AbstractEnvironmentFactory<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>

org.eclipse.ocl.ecore.EcoreEnvironmentFactory

org.eclipse.ocl.ecore.opposites.EcoreEnvironmentFactoryWithHiddenOpposites

org.eclipse.ocl.examples.impactanalyzer.util.EcoreEnvironmentFactoryWithScopedExtentMap

All Implemented Interfaces:

EnvironmentFactory<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>, Adaptable

Direct Known Subclasses:

PartialEcoreEnvironmentFactory

public class EcoreEnvironmentFactoryWithScopedExtentMap
extends EcoreEnvironmentFactoryWithHiddenOpposites

An OCL environment factory that is parameterizable during construction with an OppositeEndFinder in addition to the default parameterization of the package EPackage.Registry. If no OppositeEndFinder is provided to the constructor, a DefaultOppositeEndFinder instance is used.

Author:

Axel Uhl (D043530)

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.ocl.EnvironmentFactory

EnvironmentFactory.Lookup<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E>

Field Summary

Fields inherited from class org.eclipse.ocl.ecore.opposites.EcoreEnvironmentFactoryWithHiddenOpposites

INSTANCE

Constructor Summary

Constructors

Constructor and Description
EcoreEnvironmentFactoryWithScopedExtentMap() Initializes me.
EcoreEnvironmentFactoryWithScopedExtentMap(org.eclipse.emf.ecore.EPackage.Registry reg) Initializes me with an EPackage.Registry that the environments I create will use to look up packages.
EcoreEnvironmentFactoryWithScopedExtentMap(org.eclipse.emf.ecore.EPackage.Registry reg, OppositeEndFinder oppositeEndFinder) Configures both, a specific package registry as well as a dedicated opposite end finder to be used by the OCL environment created by this factory.
EcoreEnvironmentFactoryWithScopedExtentMap(OppositeEndFinder oppositeEndFinder) Initializes me with the default EPackage.Registry that the environments I create will use to look up packages.

Method Summary

Methods

Modifier and Type	Method and Description
EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>	createEvaluationEnvironment() Creates a new evaluation environment to track the values of variables in an OCL expression as it is evaluated.

Methods inherited from class org.eclipse.ocl.ecore.opposites.EcoreEnvironmentFactoryWithHiddenOpposites

createOppositeEndFinder

Methods inherited from class org.eclipse.ocl.ecore.EcoreEnvironmentFactory

createEnvironment, createEnvironment, createEvaluationEnvironment, createEvaluationVisitor, createOCLAnalyzer, createOCLAnalyzer, createOCLFactoryWithHistory, createOCLSyntaxHelper, createValidationVisitor, getClassifier, getEPackageRegistry, getOppositeEndFinder, loadEnvironment, lookupPackage

Methods inherited from class org.eclipse.ocl.AbstractEnvironmentFactory

createAttributeContext, createClassifierContext, createInstanceContext, createOperationContext, createPackageContext, createPackageContext, getAdapter, isEvaluationTracingEnabled, setEvaluationTracingEnabled

Methods inherited from class java.lang.Object

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

Constructor Detail

EcoreEnvironmentFactoryWithScopedExtentMap

public EcoreEnvironmentFactoryWithScopedExtentMap()

Initializes me. Environments that I create will use the global package registry to look up packages. Uses the result of DefaultOppositeEndFinder.getInstance() as opposite end finder.

EcoreEnvironmentFactoryWithScopedExtentMap

public EcoreEnvironmentFactoryWithScopedExtentMap(org.eclipse.emf.ecore.EPackage.Registry reg)

Initializes me with an EPackage.Registry that the environments I create will use to look up packages. A new DefaultOppositeEndFinder object is created for the specific package registry provided as reg.

Parameters:

reg - my package registry (must not be null)

EcoreEnvironmentFactoryWithScopedExtentMap

public EcoreEnvironmentFactoryWithScopedExtentMap(OppositeEndFinder oppositeEndFinder)

Initializes me with the default EPackage.Registry that the environments I create will use to look up packages. The OppositeEndFinder object specified is used. Callers should ensure that the oppositeEndFinder is consistent with the default EPackage.Registry. Otherwise, use #EcoreEnvironmentFactoryWithScopedExtentMap(Registry, OppositeEndFinder) and specify the particular package registry used by your opposite end finder.

EcoreEnvironmentFactoryWithScopedExtentMap

public EcoreEnvironmentFactoryWithScopedExtentMap(org.eclipse.emf.ecore.EPackage.Registry reg,
                                          OppositeEndFinder oppositeEndFinder)

Configures both, a specific package registry as well as a dedicated opposite end finder to be used by the OCL environment created by this factory.

Method Detail

createEvaluationEnvironment

public EvaluationEnvironment<org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject> createEvaluationEnvironment()

Description copied from interface: EnvironmentFactory

Creates a new evaluation environment to track the values of variables in an OCL expression as it is evaluated.

Specified by:

createEvaluationEnvironment in interface EnvironmentFactory<org.eclipse.emf.ecore.EPackage,org.eclipse.emf.ecore.EClassifier,org.eclipse.emf.ecore.EOperation,org.eclipse.emf.ecore.EStructuralFeature,org.eclipse.emf.ecore.EEnumLiteral,org.eclipse.emf.ecore.EParameter,org.eclipse.emf.ecore.EObject,CallOperationAction,SendSignalAction,Constraint,org.eclipse.emf.ecore.EClass,org.eclipse.emf.ecore.EObject>

Overrides:

createEvaluationEnvironment in class EcoreEnvironmentFactory

Returns:

a new evaluation environment