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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
EvaluatorIterationManager.ValueIterator
public EvaluatorIterationManager.ValueIterator(@NonNull
DomainEvaluator evaluator,
@NonNull
CollectionValue collectionValue,
@NonNull
DomainTypedElement variable)
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