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.debug.evaluator
org.eclipse.ocl.examples.debug.vm.evaluator
org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.library.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.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.pivot.manager
org.eclipse.ocl.examples.pivot.uml
org.eclipse.ocl.examples.pivot.utilities
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	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)

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.debug.evaluator

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

interface

IOCLVMEvaluationVisitor

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

class	OCLAbstractTracingEvaluationVisitor The Class OCLAbstractTracingEvaluationVisitor is a decorator visitor that prints AST, variable values and other information useful for debugging.
class	OCLTracingEvaluationVisitor The Class OCLTracingEvaluationVisitor is a decorator visitor that prints AST, variable values and other information useful for debugging.
class	OCLVMEvaluationVisitor
class	OCLVMEvaluationVisitorDecorator OCLVMEvaluationVisitorDecorator is the class for ...
class	OCLVMEvaluationVisitorImpl OCLVMEvaluationVisitorImpl is the class for ...
class	OCLVMNestedEvaluationVisitor
class	OCLVMRootEvaluationVisitor

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

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

interface	IVMEvaluationVisitor<T extends NamedElement>
interface	IVMRootEvaluationVisitor<T extends NamedElement>

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	AbstractBinaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractPolyOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractSimpleBinaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractSimpleTernaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractSimpleUnaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractTernaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractUnaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractUntypedBinaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractUntypedTernaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	AbstractUntypedUnaryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	LibraryOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue) Return the result of evaluating callExp and its arguments upon sourceValue within the environment provided by evaluator.
java.lang.Object	UnsupportedOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
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	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.

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	ClassifierOclContentsOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
DomainType	MetaclassInstanceTypeProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)

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)
DomainType	CollectionElementTypeProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
IntegerValue	CollectionLowerProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	CollectionSumOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal)
IntegerValue	CollectionUpperProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
CollectionValue	CollectionProductOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal, java.lang.Object argVal)

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, 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

java.lang.Object	BooleanAndOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	BooleanImpliesOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	BooleanOrOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
SetValue	BooleanAllInstancesOperation.evaluate(DomainEvaluator evaluator, java.lang.Object sourceVal)

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)

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

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

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.Object	OclAnyOclLogOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal)
java.lang.Object	OclAnyOclLogOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceVal, java.lang.Object argVal)
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.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

java.lang.Object	StringTokenizeOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
SequenceValue	StringTokenizeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Boolean	StringMatchesOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right)
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)
java.lang.String	StringReplaceFirstOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object firstArgumentValue, java.lang.Object secondArgumentValue)
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.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	EObjectProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
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.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	EInvokeOperation.dispatch(DomainEvaluator evaluator, DomainCallExp callExp, java.lang.Object sourceValue)
java.lang.Object	BaseProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	CompositionProperty.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	ExplicitNavigationProperty.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue)
java.lang.Object	ExtensionProperty.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	StereotypeProperty.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	EInvokeOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object sourceValue, java.lang.Object... argumentValues)
java.lang.Object	JavaCompareToOperation.evaluate(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object left, java.lang.Object right) Deprecated.
protected java.lang.Object	EInvokeOperation.getResultValue(DomainEvaluator evaluator, TypeId returnTypeId, java.lang.Object eResult)

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

Classes in org.eclipse.ocl.examples.pivot.manager that implement DomainEvaluator

class

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

Methods in org.eclipse.ocl.examples.pivot.manager that return DomainEvaluator

DomainEvaluator

PivotExecutorManager.createNestedEvaluator()

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

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

java.lang.Object

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

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

Methods in org.eclipse.ocl.examples.pivot.utilities that return DomainEvaluator

static DomainEvaluator

PivotUtil.getEvaluator(org.eclipse.emf.ecore.EObject eObject)

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 for cancellation at a variety of significant evaluation events, such as feature visits and OCLConsolePage.CancelableEvaluationVisitor.createNestedEvaluator().