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 classes/interfaces inherited from interface org.eclipse.ocl.EnvironmentFactory |
EnvironmentFactory.Lookup<PK,C,O,P,EL,PM,S,COA,SSA,CT,CLS,E> |
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.EcoreEnvironmentFactory |
createEnvironment, createEnvironment, createEvaluationEnvironment, createEvaluationVisitor, createOCLAnalyzer, createOCLAnalyzer, createOCLFactoryWithHistory, createOCLSyntaxHelper, createValidationVisitor, getClassifier, getEPackageRegistry, getOppositeEndFinder, loadEnvironment, lookupPackage |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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.
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