org.eclipse.ocl.examples.domain.library
Class AbstractIterationManager

java.lang.Object
  org.eclipse.ocl.examples.domain.library.AbstractIterationManager

All Implemented Interfaces:

DomainIterationManager

Direct Known Subclasses:

EvaluatorIterationManager, ExecutorDoubleIterationManager, ExecutorSingleIterationManager

public abstract class AbstractIterationManager
extends java.lang.Object
implements DomainIterationManager

Field Summary

protected DomainEvaluator

evaluator

Constructor Summary

AbstractIterationManager(DomainEvaluator evaluator)

Method Summary

DomainIterationManager	createNestedIterationManager(CollectionValue value) Create a nested iteration supervisor.
void	dispose()
java.lang.Object	get() Get the current state of the iterator.
DomainEvaluator	getEvaluator()
DomainStandardLibrary	getStandardLibrary()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.ocl.examples.domain.evaluation.DomainIterationManager

advanceIterators, evaluateBody, getAccumulatorValue, getSourceCollection, hasCurrent, updateAccumulator

Field Detail

evaluator

@NonNull
protected final DomainEvaluator evaluator

Constructor Detail

AbstractIterationManager

public AbstractIterationManager(@NonNull
                                DomainEvaluator evaluator)

Method Detail

createNestedIterationManager

@NonNull
public DomainIterationManager createNestedIterationManager(@NonNull
                                                                   CollectionValue value)

Description copied from interface: DomainIterationManager

Create a nested iteration supervisor.
This method supports the closure iteration for which there is only a single iterator, and so this method need only be supported by single iterator managers.

Specified by:

createNestedIterationManager in interface DomainIterationManager

Parameters:

value - the nested iteration domain

Returns:

the iteration space

dispose

public void dispose()

Specified by:

dispose in interface DomainIterationManager

get

@Nullable
public java.lang.Object get()

Description copied from interface: DomainIterationManager

Get the current state of the iterator.
This is only supported for single iterator iterations.

Specified by:

get in interface DomainIterationManager

getEvaluator

@NonNull
public DomainEvaluator getEvaluator()

Specified by:

getEvaluator in interface DomainIterationManager

getStandardLibrary

@NonNull
public DomainStandardLibrary getStandardLibrary()

Specified by:

getStandardLibrary in interface DomainIterationManager