Package | Description |
---|---|
org.eclipse.ocl.examples.pivot.utilities |
Modifier and Type | Method and Description |
---|---|
static PivotEnvironmentFactory |
PivotEnvironmentFactory.getGlobalRegistryInstance() |
Constructor and Description |
---|
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).
|