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

java.lang.Object
  extended by 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