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

Packages that use PivotEnvironment

org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.essentialocl.utilities

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

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

PivotEnvironment

EvaluationContext.getEnvironment()

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

void	EvaluationContext.setEnvironment(PivotEnvironment environment)

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.

Uses of PivotEnvironment in org.eclipse.ocl.examples.xtext.essentialocl.utilities

Methods in org.eclipse.ocl.examples.xtext.essentialocl.utilities that return PivotEnvironment

PivotEnvironment

EssentialOCLCSResource.getEnvironment()

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

void	EssentialOCLCSResource.setEnvironment(PivotEnvironment environment)