Uses of Interface org.eclipse.ocl.examples.domain.evaluation.DomainEvaluator (MDT-OCL Documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PREV NEXT

FRAMES NO FRAMES

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

Packages that use DomainEvaluator
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
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.bodies
org.eclipse.ocl.examples.pivot.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.executor
org.eclipse.ocl.examples.pivot.library
org.eclipse.ocl.examples.xtext.console

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

Methods in org.eclipse.ocl.examples.domain.evaluation that return DomainEvaluator
`DomainEvaluator`	`DomainEvaluator.createNestedEvaluator()`
`DomainEvaluator`	`DomainEvaluationVisitor.getEvaluator()`

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

Fields in org.eclipse.ocl.examples.domain.library declared as DomainEvaluator
`protected DomainEvaluator`	`AbstractIterationManager.evaluator`

Methods in org.eclipse.ocl.examples.domain.library with parameters of type DomainEvaluator
`Value`	`LibraryIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)` Create the value that will accumulate the iteration results.
`protected static EvaluatorIterationManager.ValueIterator[]`	`EvaluatorIterationManager.createIterators(DomainTypedElement[] referredIterators, DomainEvaluator evaluator, CollectionValue collectionValue)`
`Value`	`AbstractBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`AbstractUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`LibraryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)` Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
`Value`	`LibraryUnaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)` Return the result of evaluating the operation on an argument.
`Value`	`LibraryProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`LibraryBinaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)` Return the result of evaluating the operation on left and right arguments.
`Value`	`LibraryTernaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)` Return the result of evaluating the operation on source with arg1 and arg2.

Constructors in org.eclipse.ocl.examples.domain.library with parameters of type DomainEvaluator
`AbstractIterationManager(DomainEvaluator evaluator)`
`EvaluatorIterationManager.ValueIterator(DomainEvaluator evaluator, CollectionValue collectionValue, DomainTypedElement variable)`
`EvaluatorIterationManager(DomainEvaluator evaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulatorVariable, Value accumulatorValue)`
`EvaluatorMultipleIterationManager(DomainEvaluator invokingEvaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulator, Value accumulatorValue, DomainTypedElement... referredIterators)`
`EvaluatorSingleIterationManager(DomainEvaluator invokingEvaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulator, Value accumulatorValue, DomainTypedElement referredIterator)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.domain.values

Methods in org.eclipse.ocl.examples.domain.values with parameters of type DomainEvaluator
`Value`	`CollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`Value`	`CollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.domain.values.impl

Methods in org.eclipse.ocl.examples.domain.values.impl with parameters of type DomainEvaluator
`Value`	`AbstractCollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`Value`	`AbstractUndefinedCollectionValue.maxMin(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation)`
`Value`	`AbstractCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`
`Value`	`AbstractUndefinedCollectionValue.sum(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation binaryOperation, Value zero)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.classifier

Methods in org.eclipse.ocl.examples.library.classifier with parameters of type DomainEvaluator
`Value`	`ClassifierAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`ClassifierOclContainerOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`ClassifierOclContentsOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`OclTypeConformsToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.collection

Methods in org.eclipse.ocl.examples.library.collection with parameters of type DomainEvaluator
`Value`	`CollectionAsBagOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsOrderedSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsSequenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionFlattenOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionIsEmptyOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionMaxOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`CollectionMinOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`CollectionNotEmptyOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionSizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionSumOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OrderedCollectionFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`OrderedCollectionLastOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`OrderedCollectionReverseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`CollectionClassifierElementTypeProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`CollectionCountOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludesAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionExcludingOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludesAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIncludingOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionIntersectionOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`CollectionProductOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionSelectByKindOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionSelectByTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`CollectionUnionOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionAppendOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionPrependOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`SetMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`SetSymmetricDifferenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OrderedCollectionInsertAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`OrderedSetSubOrderedSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`SequenceSubSequenceOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.ecore

Classes in org.eclipse.ocl.examples.library.ecore that implement DomainEvaluator
`class`	`EcoreExecutorManager`

Methods in org.eclipse.ocl.examples.library.ecore that return DomainEvaluator
`DomainEvaluator`	`EcoreExecutorManager.createNestedEvaluator()`

Methods in org.eclipse.ocl.examples.library.ecore with parameters of type DomainEvaluator
`Value`	`EcoreLibraryOppositeProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`EcoreLibraryProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.enumeration

Methods in org.eclipse.ocl.examples.library.enumeration with parameters of type DomainEvaluator
`Value`	`EnumerationAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`EnumerationClassifierOwnedLiteralProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`

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

Classes in org.eclipse.ocl.examples.library.executor that implement DomainEvaluator
`class`	`ExecutorManager`

Methods in org.eclipse.ocl.examples.library.executor that return DomainEvaluator
`abstract DomainEvaluator`	`ExecutableStandardLibrary.createEvaluator(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap)`
`DomainEvaluator`	`ExecutorStandardLibrary.createEvaluator(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap)`

Constructors in org.eclipse.ocl.examples.library.executor with parameters of type DomainEvaluator
`ExecutorDoubleIterationManager(DomainEvaluator evaluator, DomainType returnType, LibraryTernaryOperation body, CollectionValue collectionValue, Value accumulatorValue)`
`ExecutorSingleIterationManager(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation body, CollectionValue collectionValue, Value accumulatorValue)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.integer

Methods in org.eclipse.ocl.examples.library.integer with parameters of type DomainEvaluator
`Value`	`IntegerCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`IntegerMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`IntegerPlusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.iterator

Methods in org.eclipse.ocl.examples.library.iterator with parameters of type DomainEvaluator
`CollectionValue.Accumulator`	`AnyIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`CollectionValue.Accumulator`	`ClosureIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`CollectionValue.Accumulator`	`CollectIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`CollectionValue.Accumulator`	`CollectNestedIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`BooleanValue.Accumulator`	`ExistsIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`BooleanValue.Accumulator`	`ForAllIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`CollectionValue.Accumulator`	`IsUniqueIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`Value`	`IterateIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`BooleanValue.Accumulator`	`OneIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`CollectionValue.Accumulator`	`RejectIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`CollectionValue.Accumulator`	`SelectIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`
`SortedByIteration.SortingValue`	`SortedByIteration.createAccumulatorValue(DomainEvaluator evaluator, DomainType accumulatorType, DomainType bodyType)`

Constructors in org.eclipse.ocl.examples.library.iterator with parameters of type DomainEvaluator
`SortedByIteration.SortingValue(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation implementation)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.logical

Methods in org.eclipse.ocl.examples.library.logical with parameters of type DomainEvaluator
`Value`	`BooleanAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`BooleanValue`	`BooleanNotOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`BooleanValue`	`BooleanAndOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`BooleanImpliesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`BooleanOrOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`BooleanXorOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.numeric

Methods in org.eclipse.ocl.examples.library.numeric with parameters of type DomainEvaluator

Value AbstractNumericUnaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)

Value AbstractNumericBinaryOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)

Value UnlimitedNaturalOclAsTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)

protected 



<T extends java.lang.Number & java.lang.Comparable<T>> 


java.lang.Object

AbstractNumericBinaryOperation.evaluate(DomainEvaluator evaluator,
         T left,
         T right)

Return the result of evaluating the operation on left and right which are both of the same derived Number type.

protected abstract Value AbstractNumericBinaryOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)
Evaluate an operation for which both left and right are Integer.

protected Value NumericDivOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value NumericDivideOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected BooleanValue NumericGreaterThanEqualOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected BooleanValue NumericGreaterThanOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected BooleanValue NumericLessThanEqualOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected BooleanValue NumericLessThanOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected IntegerValue NumericMaxOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value NumericMinOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value NumericMinusOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)
Deprecated.

protected Value NumericModOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected IntegerValue NumericPlusOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)
Deprecated.

protected Value NumericTimesOperation.evaluateInteger(DomainEvaluator evaluator, IntegerValue left, IntegerValue right)

protected Value AbstractNumericBinaryOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)
Evaluate an operation for which both left and right are Real.

protected Value NumericDivideOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected BooleanValue NumericGreaterThanEqualOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected BooleanValue NumericGreaterThanOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected BooleanValue NumericLessThanEqualOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected BooleanValue NumericLessThanOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected RealValue NumericMaxOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected Value NumericMinOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected Value NumericMinusOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)
Deprecated.

protected RealValue NumericPlusOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)
Deprecated.

protected Value NumericTimesOperation.evaluateReal(DomainEvaluator evaluator, RealValue left, RealValue right)

protected Value AbstractNumericBinaryOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)
Evaluate an operation for which at least one of left and right are unlimited and for which neither left nor right are invalid or null.

protected BooleanValue NumericGreaterThanEqualOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)

protected BooleanValue NumericGreaterThanOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)

protected BooleanValue NumericLessThanEqualOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)

protected BooleanValue NumericLessThanOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)

protected Value NumericMaxOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)

protected Value NumericMinOperation.evaluateUnlimited(DomainEvaluator evaluator, Value left, Value right)

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.oclany

Methods in org.eclipse.ocl.examples.library.oclany with parameters of type DomainEvaluator
`Value`	`OclAnyUnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`OclAnyOclAsSetOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`BooleanValue`	`OclAnyOclIsInvalidOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`BooleanValue`	`OclAnyOclIsUndefinedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value argument)`
`Value`	`OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`OclAnyToStringOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`BooleanValue`	`OclAnyEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`OclAnyNotEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`OclAnyOclAsTypeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsInStateOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsKindOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyOclIsTypeOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal, Value argVal)`
`Value`	`OclAnyUnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`OclComparableComparisonOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.oclinvalid

Methods in org.eclipse.ocl.examples.library.oclinvalid with parameters of type DomainEvaluator
`Value`	`OclInvalidAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.oclvoid

Methods in org.eclipse.ocl.examples.library.oclvoid with parameters of type DomainEvaluator
`Value`	`OclVoidAllInstancesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`BooleanValue`	`OclVoidAndOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`OclVoidImpliesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`BooleanValue`	`OclVoidOrOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.real

Methods in org.eclipse.ocl.examples.library.real with parameters of type DomainEvaluator
`Value`	`RealCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`RealMinusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`RealPlusOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.library.string

Methods in org.eclipse.ocl.examples.library.string with parameters of type DomainEvaluator
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainCollectionType returnType, Value sourceValue, java.lang.String delims, boolean returnDelims)`
`Value`	`StringCharactersOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringSizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToBooleanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToIntegerOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToLowerCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToRealOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringToUpperCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`StringTrimOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceVal)`
`Value`	`StringAtOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringConcatOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringEndsWithOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringEqualsIgnoreCaseOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringGreaterThanEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringGreaterThanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLastIndexOfOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLessThanEqualOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringLessThanOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringMatchesOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringStartsWithOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value left, Value right)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`StringReplaceAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringReplaceFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstituteAllOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstituteFirstOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringSubstringOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`Value`	`StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.pivot.bodies

Methods in org.eclipse.ocl.examples.pivot.bodies with parameters of type DomainEvaluator
`Value`	`BooleanLiteralExpBodies._invariant_TypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionItemBodies._invariant_TypeIsItemType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_BagKindIsBag.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_CollectionKindIsConcrete.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_OrderedSetKindIsOrderedSet.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_SequenceKindIsSequence.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`CollectionLiteralExpBodies._invariant_SetKindIsSet.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ConstraintBodies._invariant_UniqueName.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ElementBodies._invariant_not_own_self.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ElementBodies._allOwnedElements_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`EnumLiteralExpBodies._invariant_TypeIsEnumerationType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IfExpBodies._invariant_ConditionTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IntegerLiteralExpBodies._invariant_TypeIsInteger.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_BodyTypeConformsToResultType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_OneInitializer.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IterateExpBodies._invariant_TypeIsResultType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_AnyTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureSourceElementTypeIsBodyElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ClosureTypeIsUniqueCollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedTypeIsBag.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectNestedTypeIsBodyType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_CollectTypeIsUnordered.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ExistsBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ExistsTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ForAllBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_ForAllTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IsUniqueHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IsUniqueTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_IteratorTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneBodyTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_OneTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectTypeIsBoolean.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_RejectOrSelectTypeIsSourceType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByElementTypeIsSourceElementType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByHasOneIterator.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`IteratorExpBodies._invariant_SortedByIsOrderedIfSourceIsOrdered.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LetExpBodies._invariant_TypeIsInType.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LoopExpBodies._invariant_NoInitializers.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`LoopExpBodies._invariant_SourceIsCollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MessageExpBodies._invariant_OneCallOrOneSend.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MessageExpBodies._invariant_TargetIsNotACollection.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._invariant_lower_ge_0.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._invariant_upper_ge_lower.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._isMultivalued_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._lowerBound_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._upperBound_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OpaqueExpressionBodies._invariant_language_body_size.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OperationBodies._invariant_CompatibleReturn.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`OperationCallExpBodies._invariant_ArgumentCount.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`PropertyBodies._invariant_CompatibleInitialiser.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateBindingBodies._invariant_one_parameter_substitution.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateBindingBodies._invariant_parameter_substitution_formal.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateParameterBodies._invariant_must_be_compatible.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateParameterSubstitutionBodies._invariant_must_be_compatible.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateSignatureBodies._invariant_own_elements.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateableElementBodies._isTemplate_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TemplateableElementBodies._parameterableElements_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TypeTemplateParameterBodies._invariant_has_constraining_type.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`TypedMultiplicityElementBodies._makeParameter_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._booleanValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._integerValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._isComputable_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._isNull_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._stringValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`ValueSpecificationBodies._unlimitedValue_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self)`
`Value`	`MultiplicityElementBodies._includesCardinality_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value C)`
`Value`	`MultiplicityElementBodies._includesMultiplicity_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value M)`
`Value`	`ParameterableElementBodies._isCompatibleWith_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value p)`
`Value`	`PropertyBodies._isAttribute_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value p)`
`Value`	`SelfTypeBodies._resolveSelfType_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value selfType)`
`Value`	`TypeBodies._resolveSelfType_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value selfType)`
`Value`	`TypedMultiplicityElementBodies._CompatibleBody_body_.evaluate(DomainEvaluator evaluator, DomainType returnType, Value self, Value bodySpecification)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.pivot.ecore

Methods in org.eclipse.ocl.examples.pivot.ecore with parameters of type DomainEvaluator
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`EObjectProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`EObjectOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`
`protected void`	`EObjectOperation.resolveExpressionInOCL(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue)`

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

Subinterfaces of DomainEvaluator in org.eclipse.ocl.examples.pivot.evaluation
`interface`	`EvaluationVisitor` A specialized visitor that is used for evaluation an OCL expression by walking its AST.

Classes in org.eclipse.ocl.examples.pivot.evaluation that implement DomainEvaluator
`class`	`AbstractEvaluationVisitor` An evaluation visitor implementation for OCL expressions.
`class`	`EvaluationVisitorDecorator` A visitor that decorates another `EvaluationVisitor`, to intercept invocations of the `visitXxx(...)` methods.
`class`	`EvaluationVisitorImpl` An evaluation visitor implementation for OCL expressions.
`class`	`TracingEvaluationVisitor` A decorator for evaluation visitors that is installed when evaluation tracing is enabled, to trace interim evaluation results to the console.

Uses of DomainEvaluator in org.eclipse.ocl.examples.pivot.executor

Classes in org.eclipse.ocl.examples.pivot.executor that implement DomainEvaluator
`class`	`PivotEcoreExecutorManager`
`class`	`PivotExecutorManager`

Methods in org.eclipse.ocl.examples.pivot.executor that return DomainEvaluator
`DomainEvaluator`	`PivotExecutorStandardLibrary.createEvaluator(org.eclipse.emf.ecore.EObject contextObject, java.util.Map<java.lang.Object,java.lang.Object> contextMap)`
`DomainEvaluator`	`PivotExecutorManager.createNestedEvaluator()`

Uses of DomainEvaluator in org.eclipse.ocl.examples.pivot.library

Methods in org.eclipse.ocl.examples.pivot.library with parameters of type DomainEvaluator
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, Value sourceValue, Value... argumentValues)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`UnimplementedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue)`
`Value`	`CompositionProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ConstrainedProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ImplicitNonCompositionProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty thisProperty)`
`Value`	`TuplePartProperty.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, DomainProperty property)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value argumentValue)`
`Value`	`JavaCompareToOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value leftValue, Value rightValue)`
`Value`	`ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainType returnType, Value sourceValue, Value firstArgumentValue, Value secondArgumentValue)`

Uses of DomainEvaluator in org.eclipse.ocl.examples.xtext.console

Classes in org.eclipse.ocl.examples.xtext.console that implement DomainEvaluator
`protected static class`	`OCLConsolePage.CancelableEvaluationVisitor` CancelableEvaluationVisitor refines the EvaluationVisitor to poll the monitor foer cancelation at a variety of significant evaluation events, such as feature vists and `OCLConsolePage.CancelableEvaluationVisitor.getValueFactory()`.