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

Value	AbstractIteration.evaluateIteration(DomainIterationManager iterationManager) The default iteration algorithm steps through the iteration domain by invoking DomainIterationManager.hasCurrent() and DomainIterationManager.advanceIterators().
Value	LibraryIteration.evaluateIteration(DomainIterationManager iterationManager) Evaluate the iteration under the supervision of an iterationManager.
protected Value	AbstractIteration.resolveTerminalValue(DomainIterationManager iterationManager) Return the final result at the end of an iteration over all the source elements.
protected abstract Value	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

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

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

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