Uses of Interface
org.eclipse.ocl.examples.domain.evaluation.DomainEvaluationEnvironment

Packages that use DomainEvaluationEnvironment

org.eclipse.ocl.examples.debug.evaluator
org.eclipse.ocl.examples.debug.vm.evaluator
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.pivot.evaluation

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

Subinterfaces of DomainEvaluationEnvironment in org.eclipse.ocl.examples.debug.evaluator

interface

IOCLVMEvaluationEnvironment

Classes in org.eclipse.ocl.examples.debug.evaluator that implement DomainEvaluationEnvironment

class	OCLVMNestedEvaluationEnvironment
class	OCLVMRootEvaluationEnvironment

Uses of DomainEvaluationEnvironment in org.eclipse.ocl.examples.debug.vm.evaluator

Subinterfaces of DomainEvaluationEnvironment in org.eclipse.ocl.examples.debug.vm.evaluator

interface	IVMEvaluationEnvironment<T extends NamedElement>
interface	IVMRootEvaluationEnvironment<T extends NamedElement>

Classes in org.eclipse.ocl.examples.debug.vm.evaluator that implement DomainEvaluationEnvironment

class	VMEvaluationEnvironment<T extends NamedElement>
class	VMNestedEvaluationEnvironment<T extends NamedElement>
class	VMRootEvaluationEnvironment<T extends NamedElement>

Uses of DomainEvaluationEnvironment in org.eclipse.ocl.examples.domain.evaluation

Fields in org.eclipse.ocl.examples.domain.evaluation declared as DomainEvaluationEnvironment

protected DomainEvaluationEnvironment

InvalidEvaluationException.evaluationEnvironment Deprecated.

Methods in org.eclipse.ocl.examples.domain.evaluation that return DomainEvaluationEnvironment

DomainEvaluationEnvironment	DomainEvaluationVisitor.getEvaluationEnvironment() Obtains the evaluation environment that keeps track of variable values and knows how to call operations, navigate properties, etc.
DomainEvaluationEnvironment	DomainEvaluator.getEvaluationEnvironment()

Constructors in org.eclipse.ocl.examples.domain.evaluation with parameters of type DomainEvaluationEnvironment

InvalidEvaluationException(DomainEvaluationEnvironment evaluationEnvironment, InvalidValueException e)
Deprecated.

InvalidEvaluationException(DomainEvaluationEnvironment evaluationEnvironment, java.lang.String message, java.lang.Throwable e, DomainExpression expression, java.lang.Object context)
Deprecated.

Uses of DomainEvaluationEnvironment in org.eclipse.ocl.examples.domain.library

Methods in org.eclipse.ocl.examples.domain.library that return DomainEvaluationEnvironment

DomainEvaluationEnvironment

EvaluatorIterationManager.getEvaluationEnvironment()

Uses of DomainEvaluationEnvironment in org.eclipse.ocl.examples.library.executor

Classes in org.eclipse.ocl.examples.library.executor that implement DomainEvaluationEnvironment

class

ExecutorEvaluationEnvironment

Methods in org.eclipse.ocl.examples.library.executor that return DomainEvaluationEnvironment

DomainEvaluationEnvironment

ExecutorManager.getEvaluationEnvironment()

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

Subinterfaces of DomainEvaluationEnvironment in org.eclipse.ocl.examples.pivot.evaluation

interface

EvaluationEnvironment The evaluation environment keeps track of the current values of variables in the evaluation of an OCL expression.

Classes in org.eclipse.ocl.examples.pivot.evaluation that implement DomainEvaluationEnvironment

class	AbstractEvaluationEnvironment A partial implementation of the EvaluationEnvironment interface, providing some useful common behaviors.
class	PivotEvaluationEnvironment Implementation of the EvaluationEnvironment for evaluation of OCL expressions on instances of Ecore models (i.e., on M0 models).