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

Packages that use PivotEnvironment

org.eclipse.ocl.examples.pivot.utilities

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

Fields in org.eclipse.ocl.examples.pivot.utilities declared as PivotEnvironment

protected PivotEnvironment

EnvironmentResourceAdapter.environment

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

PivotEnvironment	PivotEnvironmentFactory.createEnvironment()
PivotEnvironment	PivotEnvironmentFactory.createEnvironment(Environment parent)
PivotEnvironment	EnvironmentResourceAdapter.getEnvironment()
PivotEnvironment	PivotEnvironmentFactory.loadEnvironment(org.eclipse.emf.ecore.resource.Resource resource)

Methods in org.eclipse.ocl.examples.pivot.utilities with parameters of type PivotEnvironment

static EnvironmentResourceAdapter

EnvironmentResourceAdapter.getAdapter(org.eclipse.emf.ecore.resource.Resource resource, PivotEnvironment environment)

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

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.