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

Packages that use PivotEnvironmentFactory

org.eclipse.ocl.examples.pivot.utilities

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

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

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).