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

Packages that use PivotEnvironment

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

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

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

class

OCLVMEnvironment

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.