org.eclipse.ocl.examples.domain.library
Class EvaluatorIterationManager.ValueIterator

java.lang.Object
  org.eclipse.ocl.examples.domain.library.EvaluatorIterationManager.ValueIterator

Enclosing class:

EvaluatorIterationManager

protected static class EvaluatorIterationManager.ValueIterator
extends java.lang.Object

Constructor Summary

EvaluatorIterationManager.ValueIterator(DomainEvaluator evaluator, CollectionValue collectionValue, DomainTypedElement variable)

Method Summary

java.lang.Object	get()
boolean	hasCurrent()
java.lang.Object	next()
java.lang.Object	reset()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

EvaluatorIterationManager.ValueIterator

public EvaluatorIterationManager.ValueIterator(@NonNull
                                               DomainEvaluator evaluator,
                                               @NonNull
                                               CollectionValue collectionValue,
                                               @NonNull
                                               DomainTypedElement variable)

Method Detail

get

@Nullable
public java.lang.Object get()

hasCurrent

public boolean hasCurrent()

next

@Nullable
public java.lang.Object next()

reset

public java.lang.Object reset()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object