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

Value	get()
boolean	hasCurrent()
Value	next()
Value	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(DomainEvaluator evaluator,
                                               CollectionValue collectionValue,
                                               DomainTypedElement variable)

Method Detail

get

public Value get()

hasCurrent

public boolean hasCurrent()

next

public Value next()

reset

public Value reset()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object