Package | Description |
---|---|
org.eclipse.ocl.examples.pivot.utilities |
Modifier and Type | Field and Description |
---|---|
protected PivotEnvironment |
EnvironmentResourceAdapter.environment |
Modifier and Type | Method and Description |
---|---|
PivotEnvironment |
PivotEnvironmentFactory.createEnvironment() |
PivotEnvironment |
PivotEnvironmentFactory.createEnvironment(Environment parent) |
PivotEnvironment |
EnvironmentResourceAdapter.getEnvironment() |
PivotEnvironment |
PivotEnvironmentFactory.loadEnvironment(org.eclipse.emf.ecore.resource.Resource resource) |
Modifier and Type | Method and Description |
---|---|
static EnvironmentResourceAdapter |
EnvironmentResourceAdapter.getAdapter(org.eclipse.emf.ecore.resource.Resource resource,
PivotEnvironment environment) |
Constructor and Description |
---|
EnvironmentResourceAdapter(org.eclipse.emf.ecore.resource.Resource resource,
PivotEnvironment environment) |
PivotEnvironment(PivotEnvironment parent)
Initializes me with a parent environment, from which I inherit such things
as a package registry and a resource.
|