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

java.lang.Object
  extended by 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>
      extended by org.eclipse.ocl.ecore.EcoreEnvironmentFactory
          extended by org.eclipse.ocl.ecore.opposites.EcoreEnvironmentFactoryWithHiddenOpposites
              extended by 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
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
 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