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

Packages that use DomainIterationManager

org.eclipse.ocl.examples.domain.evaluation
org.eclipse.ocl.examples.domain.library
org.eclipse.ocl.examples.library.executor
org.eclipse.ocl.examples.library.iterator

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

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

DomainIterationManager

DomainIterationManager.createNestedIterationManager(CollectionValue value) Create a nested iteration supervisor.

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

Classes in org.eclipse.ocl.examples.domain.library that implement DomainIterationManager

class	AbstractIterationManager
class	EvaluatorIterationManager
class	EvaluatorMultipleIterationManager
class	EvaluatorSingleIterationManager

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

DomainIterationManager	AbstractIterationManager.createNestedIterationManager(CollectionValue value)
DomainIterationManager	EvaluatorSingleIterationManager.createNestedIterationManager(CollectionValue value)

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

java.lang.Object	AbstractIteration.evaluateIteration(DomainIterationManager iterationManager) The default iteration algorithm steps through the iteration domain by invoking DomainIterationManager.hasCurrent() and DomainIterationManager.advanceIterators().
java.lang.Object	LibraryIteration.evaluateIteration(DomainIterationManager iterationManager) Evaluate the iteration under the supervision of an iterationManager.
protected java.lang.Object	AbstractIteration.resolveTerminalValue(DomainIterationManager iterationManager) Return the final result at the end of an iteration over all the source elements.
protected abstract java.lang.Object	AbstractIteration.updateAccumulator(DomainIterationManager iterationManager) Update the accumulatorValue with the bodyValue resulting from the current iteration for which the iterators define the context in the environment.

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

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

class	ExecutorDoubleIterationManager
class	ExecutorSingleIterationManager

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

DomainIterationManager

ExecutorSingleIterationManager.createNestedIterationManager(CollectionValue value)

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

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

protected java.lang.Object	AnyIteration.resolveTerminalValue(DomainIterationManager iterationManager)
protected java.lang.Object	ExistsIteration.resolveTerminalValue(DomainIterationManager iterationManager)
protected java.lang.Object	ForAllIteration.resolveTerminalValue(DomainIterationManager iterationManager)
protected java.lang.Object	IsUniqueIteration.resolveTerminalValue(DomainIterationManager iterationManager)
protected java.lang.Object	OneIteration.resolveTerminalValue(DomainIterationManager iterationManager)
protected java.lang.Object	OnlyIteration.resolveTerminalValue(DomainIterationManager iterationManager)
protected java.lang.Object	SortedByIteration.resolveTerminalValue(DomainIterationManager iterationManager)
protected java.lang.Object	AnyIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	ClosureIteration.updateAccumulator(DomainIterationManager iterationManager) Recursively evaluates the iterator body expression.
protected java.lang.Object	CollectIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	CollectNestedIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	ExistsIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	ForAllIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	IsUniqueIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	IterateIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	OneIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	OnlyIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	RejectIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	SelectIteration.updateAccumulator(DomainIterationManager iterationManager)
protected java.lang.Object	SortedByIteration.updateAccumulator(DomainIterationManager iterationManager)