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

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
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