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

Packages that use DomainEvaluator

org.eclipse.ocl.examples.codegen.inliner
org.eclipse.ocl.examples.codegen.java
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
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.ecore
org.eclipse.ocl.examples.pivot.evaluation
org.eclipse.ocl.examples.pivot.library
org.eclipse.ocl.examples.xtext.console

Uses of DomainEvaluator in org.eclipse.ocl.examples.codegen.inliner

Methods in org.eclipse.ocl.examples.codegen.inliner with parameters of type DomainEvaluator

java.lang.Object	OperationInliners.UnboxedInvocationOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	OperationInliners.UnboxedInvocationOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	PropertyInliners.BoxedExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	PropertyInliners.UnboxedCompositionProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	PropertyInliners.UnboxedExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	OperationInliners.UnboxedInvocationOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	OperationInliners.UnboxedInvocationOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)

Uses of DomainEvaluator in org.eclipse.ocl.examples.codegen.java

Methods in org.eclipse.ocl.examples.codegen.java with parameters of type DomainEvaluator

java.lang.Object	UnboxedCompositionProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	UnboxedExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	UnboxedOppositeNavigationProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)

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

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

protected DomainEvaluator

AbstractTransformation.evaluator

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

DomainEvaluator	DomainEvaluator.createNestedEvaluator()
DomainEvaluator	DomainEvaluationVisitor.getEvaluator()
DomainEvaluator	DomainIterationManager.getEvaluator()

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

AbstractTransformation(DomainEvaluator evaluator, java.lang.String[] modelNames)

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 that return DomainEvaluator

DomainEvaluator

AbstractIterationManager.getEvaluator()

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

java.lang.Object	LibraryIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId) Create the value that will accumulate the iteration results.
protected static EvaluatorIterationManager.ValueIterator[]	EvaluatorIterationManager.createIterators(DomainTypedElement[] referredIterators, DomainEvaluator evaluator, CollectionValue collectionValue)
java.lang.Object	AbstractPolyOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractSimpleUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractUntypedUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	LibraryUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	UnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractSimpleBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractSimpleTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractSimpleUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractUntypedBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractUntypedTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractUntypedUnaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	LibraryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues) Return the result of evaluating operationCall upon sourceVal within the environment provided by EvaluationVisitor.
java.lang.Object	UnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	AbstractBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	AbstractPolyOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	AbstractSimpleBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	AbstractUntypedBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	LibraryBinaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	UnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	AbstractPolyOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	AbstractSimpleTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	AbstractTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	AbstractUntypedTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	LibraryTernaryOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	UnsupportedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	AbstractSimpleUnaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue)
abstract java.lang.Object	AbstractUntypedUnaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue)
java.lang.Object	LibraryUntypedUnaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue)
java.lang.Object	AbstractSimpleBinaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue, java.lang.Object argumentValue)
abstract java.lang.Object	AbstractUntypedBinaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	LibraryUntypedBinaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	AbstractSimpleTernaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
abstract java.lang.Object	AbstractUntypedTernaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	LibraryUntypedTernaryOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	AbstractSimpleUnaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
abstract java.lang.Object	AbstractUnaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	AbstractUntypedUnaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	LibraryProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	LibraryUnaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Return the result of evaluating the operation on an argument.
java.lang.Object	UnsupportedOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
abstract java.lang.Object	AbstractBinaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	AbstractSimpleBinaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	AbstractUntypedBinaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	LibraryBinaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue) Return the result of evaluating the operation on left and right arguments.
java.lang.Object	UnsupportedOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	AbstractSimpleTernaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
abstract java.lang.Object	AbstractTernaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	AbstractUntypedTernaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	LibraryTernaryOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Return the result of evaluating the operation on source with arg1 and arg2.
java.lang.Object	UnsupportedOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)

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, java.lang.Object accumulatorValue)

EvaluatorMultipleIterationManager(DomainEvaluator invokingEvaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulator, java.lang.Object accumulatorValue, DomainTypedElement... referredIterators)

EvaluatorSingleIterationManager(DomainEvaluator invokingEvaluator, DomainExpression body, CollectionValue collectionValue, DomainTypedElement accumulator, java.lang.Object accumulatorValue, DomainTypedElement referredIterator)

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

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

java.lang.Boolean	OclTypeConformsToOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)
SetValue	ClassifierAllInstancesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal)
java.lang.Object	ClassifierOclContainerOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Object	ClassifierOclContentsOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Boolean	OclTypeConformsToOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.

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

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

CollectionValue	CollectionSelectByKindOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)
CollectionValue	CollectionSelectByTypeOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)
BagValue	CollectionAsBagOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
OrderedSetValue	CollectionAsOrderedSetOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
SequenceValue	CollectionAsSequenceOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
SetValue	CollectionAsSetOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
DomainType	CollectionElementTypeProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
CollectionValue	CollectionFlattenOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Boolean	CollectionIsEmptyOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
IntegerValue	CollectionLowerProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	CollectionMaxOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Object	CollectionMinOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Boolean	CollectionNotEmptyOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
IntegerValue	CollectionSizeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Object	CollectionSumOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal)
IntegerValue	CollectionUpperProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	OrderedCollectionFirstOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Object	OrderedCollectionLastOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
SequenceValue	OrderedCollectionReverseOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
IntegerValue	CollectionCountOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	CollectionExcludesAllOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	CollectionExcludesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	CollectionExcludingOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	CollectionIncludesAllOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	CollectionIncludesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	CollectionIncludingOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	CollectionIntersectionOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	CollectionProductOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal, java.lang.Object argVal)
CollectionValue	CollectionSelectByKindOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	CollectionSelectByTypeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	CollectionUnionOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
SequenceValue	OrderedCollectionAppendOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Object	OrderedCollectionAtOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
IntegerValue	OrderedCollectionIndexOfOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
SequenceValue	OrderedCollectionPrependOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	SetMinusOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
CollectionValue	SetSymmetricDifferenceOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
SequenceValue	OrderedCollectionInsertAtOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.
OrderedSetValue	OrderedSetSubOrderedSetOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.
SequenceValue	SequenceSubSequenceOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.

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

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

class

EcoreExecutorManager An EcoreExecutorManager instance provides the bridge between a conventional EMF execution context and the richer OCL Pivot concepts.

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

java.lang.Object	EcoreExecutorProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	EcoreLibraryOppositeProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	EcoreLibraryProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)

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

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

SetValue	EnumerationAllInstancesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal)
OrderedSetValue	EnumerationOwnedLiteralProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)

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

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

class

ExecutorManager

Constructors in org.eclipse.ocl.examples.library.executor with parameters of type DomainEvaluator

ExecutorDoubleIterationManager(DomainEvaluator evaluator, TypeId returnTypeId, LibraryTernaryOperation body, CollectionValue collectionValue, java.lang.Object accumulatorValue)

ExecutorSingleIterationManager(DomainEvaluator evaluator, DomainType returnType, LibraryBinaryOperation body, CollectionValue value, java.lang.Object accumulatorValue)
Deprecated.

ExecutorSingleIterationManager(DomainEvaluator evaluator, TypeId returnTypeId, LibraryBinaryOperation body, CollectionValue value, java.lang.Object accumulatorValue)

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

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

IntegerValue	IntegerCompareToOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Object	IntegerMinusOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Object	IntegerPlusOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.

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

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

java.lang.Object	AnyIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
CollectionValue.Accumulator	ClosureIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
CollectionValue.Accumulator	CollectIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
CollectionValue.Accumulator	CollectNestedIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
java.lang.Object	ExistsIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
java.lang.Object	ForAllIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
SetValueImpl.Accumulator	IsUniqueIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
java.lang.Object	IterateIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
OneIteration.MutableBoolean	OneIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
java.lang.Object	OnlyIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
CollectionValue.Accumulator	RejectIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
CollectionValue.Accumulator	SelectIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)
SortedByIteration.SortingValue	SortedByIteration.createAccumulatorValue(DomainEvaluator evaluator, TypeId accumulatorTypeId, TypeId bodyTypeId)

Constructors in org.eclipse.ocl.examples.library.iterator with parameters of type DomainEvaluator

SortedByIteration.SortingValue(DomainEvaluator evaluator, CollectionTypeId returnTypeId, 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

SetValue	BooleanAllInstancesOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal)
SetValue	BooleanAllInstancesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal) Deprecated.
java.lang.Boolean	BooleanNotOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Boolean	BooleanAndOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	BooleanImpliesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	BooleanOrOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	BooleanXorOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.

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

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

java.lang.Object	UnlimitedNaturalOclAsTypeOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)
RealValue	NumericAbsOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
RealValue	NumericFloorOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
RealValue	NumericNegateOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
RealValue	NumericRoundOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
IntegerValue	NumericCompareToOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
IntegerValue	NumericDivOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
RealValue	NumericDivideOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	NumericGreaterThanEqualOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	NumericGreaterThanOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	NumericLessThanEqualOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	NumericLessThanOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
RealValue	NumericMaxOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
RealValue	NumericMinOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
RealValue	NumericMinusOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
IntegerValue	NumericModOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
RealValue	NumericPlusOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
RealValue	NumericTimesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.

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

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

java.lang.Object	OclAnyOclLogOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
DomainType	OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal)
java.lang.Object	OclAnyOclAsTypeOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)
java.lang.Boolean	OclAnyOclIsInStateOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)
java.lang.Boolean	OclAnyOclIsKindOfOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)
java.lang.Boolean	OclAnyOclIsTypeOfOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal, java.lang.Object argVal)
java.lang.Boolean	OclComparableComparisonOperation.evaluate(DomainEvaluator evaluator, java.lang.Object left, java.lang.Object right)
SetValue	OclAnyOclAsSetOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal)
java.lang.Boolean	OclAnyOclIsInvalidOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Boolean	OclAnyOclIsUndefinedOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Object	OclAnyOclLogOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal)
DomainType	OclAnyOclTypeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.String	OclAnyToStringOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Boolean	OclAnyEqualOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	OclAnyNotEqualOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Object	OclAnyOclAsTypeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	OclAnyOclIsInStateOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	OclAnyOclIsKindOfOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	OclAnyOclIsTypeOfOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Object	OclAnyOclLogOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal, java.lang.Object argVal)
java.lang.Object	OclComparableCompareToOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	OclComparableComparisonOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Object	OclAnyOclLogOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)

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

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

SetValue

OclInvalidAllInstancesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.

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

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

SetValue	OclVoidAllInstancesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Boolean	OclVoidAndOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	OclVoidImpliesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	OclVoidOrOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.

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

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

IntegerValue	RealCompareToOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
RealValue	RealMinusOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
RealValue	RealPlusOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.

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

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

SequenceValue	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, CollectionTypeId returnTypeId, java.lang.Object sourceValue, java.lang.String delims, boolean returnDelims)
SequenceValue	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
SequenceValue	StringCharactersOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
IntegerValue	StringSizeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.Boolean	StringToBooleanOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
IntegerValue	StringToIntegerOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.String	StringToLowerCaseOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
RealValue	StringToRealOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.String	StringToUpperCaseOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
SequenceValue	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.String	StringTrimOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue) Deprecated.
java.lang.String	StringAtOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
IntegerValue	StringCompareToOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.String	StringConcatOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	StringEndsWithOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	StringEqualsIgnoreCaseOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	StringGreaterThanEqualOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	StringGreaterThanOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
IntegerValue	StringIndexOfOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
IntegerValue	StringLastIndexOfOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	StringLessThanEqualOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	StringLessThanOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	StringMatchesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Boolean	StringStartsWithOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
SequenceValue	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.String	StringReplaceAllOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.
java.lang.String	StringReplaceFirstOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.
java.lang.String	StringSubstituteAllOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.
java.lang.String	StringSubstituteFirstOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.
java.lang.String	StringSubstringOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue) Deprecated.
SequenceValue	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)

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

Methods in org.eclipse.ocl.examples.pivot.ecore with parameters of type DomainEvaluator

java.lang.Object	EObjectOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	EObjectOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	EObjectOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	EObjectOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	EObjectOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	EObjectProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	EObjectOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	EObjectOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
protected void	EObjectOperation.resolveExpressionInOCL(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object 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	AbstractEvaluationVisitorDecorator<EV extends EvaluationVisitor> A visitor that decorates another EvaluationVisitor, to intercept invocations of the visitXxx(...) methods.
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.library

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

java.lang.Object	ConstrainedOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	EInvokeOperation.evaluate(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	CompositionProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	ConstrainedOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	ConstrainedProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	EInvokeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	ExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	ImplicitNonCompositionProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
DomainType	StaticProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	TuplePartProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	ConstrainedOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	EInvokeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object argumentValue)
java.lang.Object	JavaCompareToOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
java.lang.Object	ConstrainedOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
java.lang.Object	EInvokeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
protected java.lang.Object	EInvokeOperation.getResultValue(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object eResult)

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 #getValueFactory().