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

Packages that use EcoreEnvironmentFactoryWithScopedExtentMap

org.eclipse.ocl.examples.impactanalyzer.deltaPropagation
org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation
org.eclipse.ocl.examples.impactanalyzer.util

Uses of EcoreEnvironmentFactoryWithScopedExtentMap in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation

Subclasses of EcoreEnvironmentFactoryWithScopedExtentMap in org.eclipse.ocl.examples.impactanalyzer.deltaPropagation

class

PartialEcoreEnvironmentFactory

Uses of EcoreEnvironmentFactoryWithScopedExtentMap in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

Subclasses of EcoreEnvironmentFactoryWithScopedExtentMap in org.eclipse.ocl.examples.impactanalyzer.instanceScope.unusedEvaluation

class

PartialEcoreEnvironmentFactoryNoAllInstances Uses PartialEvaluationVisitorImplNoAllInstances as evaluation visitor which throws a NoAllInstancesDuringEvaluationForUnusedCheck exception in case allInstances() is to be evaluated.

Uses of EcoreEnvironmentFactoryWithScopedExtentMap in org.eclipse.ocl.examples.impactanalyzer.util

Methods in org.eclipse.ocl.examples.impactanalyzer.util that return EcoreEnvironmentFactoryWithScopedExtentMap

protected EcoreEnvironmentFactoryWithScopedExtentMap

EcoreEvaluationEnvironmentWithScopedExtentMap.getFactory()

Methods in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type EcoreEnvironmentFactoryWithScopedExtentMap

static OCL

OCL.newInstance(EcoreEnvironmentFactoryWithScopedExtentMap factory) Constructs an OCL instance that uses the provided factory's opposite end finder and registry, yet uses the non-default ExtentMap which defines allInstances results consistently with the opposite end finder being used.

Constructors in org.eclipse.ocl.examples.impactanalyzer.util with parameters of type EcoreEnvironmentFactoryWithScopedExtentMap

EcoreEvaluationEnvironmentWithScopedExtentMap(EcoreEnvironmentFactoryWithScopedExtentMap factory)