Uses of Package
org.eclipse.ocl.examples.domain.evaluation

Packages that use org.eclipse.ocl.examples.domain.evaluation

org.eclipse.ocl.examples.domain.elements
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.domain.utilities
org.eclipse.ocl.examples.domain.values
org.eclipse.ocl.examples.domain.values.impl
org.eclipse.ocl.examples.library.classifier
org.eclipse.ocl.examples.library.collection
org.eclipse.ocl.examples.library.ecore
org.eclipse.ocl.examples.library.enumeration
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.library.integer
org.eclipse.ocl.examples.library.iterator
org.eclipse.ocl.examples.library.logical
org.eclipse.ocl.examples.library.numeric
org.eclipse.ocl.examples.library.oclany
org.eclipse.ocl.examples.library.oclinvalid
org.eclipse.ocl.examples.library.oclvoid
org.eclipse.ocl.examples.library.real
org.eclipse.ocl.examples.library.string
org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.bodies
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.executor
org.eclipse.ocl.examples.pivot.internal.impl
org.eclipse.ocl.examples.pivot.library
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.console

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.elements

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.evaluation

DomainEvaluationEnvironment

DomainEvaluator

DomainException

DomainIterationManager
DomainIterationManager defines the supervisor for an iteration.

DomainModelManager
DomainModelManager provides the models to be used during evaluation.

EvaluationHaltedException
Exception indicating a managed interruption of evaluation.

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.library

DomainEvaluationEnvironment

DomainEvaluator

DomainIterationManager
DomainIterationManager defines the supervisor for an iteration.

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.utilities

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.values

DomainEvaluator

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.domain.values.impl

DomainEvaluator

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.classifier

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.collection

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.ecore

DomainEvaluator

DomainModelManager
DomainModelManager provides the models to be used during evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.enumeration

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.executor

DomainEvaluationEnvironment

DomainEvaluationVisitor

DomainEvaluator

DomainIterationManager
DomainIterationManager defines the supervisor for an iteration.

DomainModelManager
DomainModelManager provides the models to be used during evaluation.

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.integer

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.iterator

DomainEvaluator

DomainIterationManager
DomainIterationManager defines the supervisor for an iteration.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.logical

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.numeric

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.oclany

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.oclinvalid

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.oclvoid

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.real

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.library.string

DomainEvaluator

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot

DomainModelManager
DomainModelManager provides the models to be used during evaluation.

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.bodies

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.ecore

DomainEvaluator

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.evaluation

DomainEvaluationEnvironment

DomainEvaluator

DomainModelManager
DomainModelManager provides the models to be used during evaluation.

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.executor

DomainEvaluator

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.internal.impl

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.library

DomainEvaluator

InvalidEvaluationException
An InvalidEvaluationException is thrown when an Invalid Value arises during an evaluation.

InvalidValueException
An InvalidValueException is thrown when an Invalid Value arises during an evaluation, and when no EvaluationEnvironment is available to support throwing an InvalidEvaluationException.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.pivot.utilities

DomainException

DomainModelManager
DomainModelManager provides the models to be used during evaluation.

Classes in org.eclipse.ocl.examples.domain.evaluation used by org.eclipse.ocl.examples.xtext.console

DomainEvaluator

DomainModelManager
DomainModelManager provides the models to be used during evaluation.