Uses of Class
org.eclipse.ocl.examples.pivot.utilities.PivotEnvironmentFactory

Packages that use PivotEnvironmentFactory

org.eclipse.ocl.examples.debug.evaluator
org.eclipse.ocl.examples.pivot.utilities

Uses of PivotEnvironmentFactory in org.eclipse.ocl.examples.debug.evaluator

Subclasses of PivotEnvironmentFactory in org.eclipse.ocl.examples.debug.evaluator

class

OCLVMEnvironmentFactory

Uses of PivotEnvironmentFactory in org.eclipse.ocl.examples.pivot.utilities

Methods in org.eclipse.ocl.examples.pivot.utilities that return PivotEnvironmentFactory

static PivotEnvironmentFactory	PivotEnvironmentFactory.basicGetGlobalRegistryInstance()
static PivotEnvironmentFactory	PivotEnvironmentFactory.getGlobalRegistryInstance()

Constructors in org.eclipse.ocl.examples.pivot.utilities with parameters of type PivotEnvironmentFactory

PivotEnvironment(PivotEnvironmentFactory factory, org.eclipse.emf.ecore.resource.Resource resource)
Initializes me with an environment factory from which package registry and opposite end finder (if any) are obtained consistently, and from a resource in which I am persisted (and from which I load myself if it already has content).