ConForM.CoopnTools.CoKer.CoopnSem
Class StepIterator

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.CoopnSem.CoopnSemIterator
        |
        +--ConForM.CoopnTools.CoKer.CoopnSem.StepIterator
All Implemented Interfaces:
java.util.Iterator

public class StepIterator
extends CoopnSemIterator

Step CoopnSem iterator. Iterator returned by a CoopnSem object (called the associated CoopnSem object) according to a next request.

See Also:
CoopnSem

Fields inherited from class ConForM.CoopnTools.CoKer.CoopnSem.CoopnSemIterator
associatedEngine, associatedSem, bound, bridge, env, mode, shortenedVars, shortForm, translator
 
Method Summary
protected  boolean internalHasNext()
           
protected  java.lang.Object internalNext()
           
protected  void internalStart()
           
protected  void internalTerminate()
           
 
Methods inherited from class ConForM.CoopnTools.CoKer.CoopnSem.CoopnSemIterator
buildSigma, hasNext, next, remove, start, terminate
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

internalHasNext

protected boolean internalHasNext()
                           throws java.lang.UnsupportedOperationException
Overrides:
internalHasNext in class CoopnSemIterator

internalNext

protected final java.lang.Object internalNext()
                                       throws java.lang.UnsupportedOperationException,
                                              java.util.NoSuchElementException
Overrides:
internalNext in class CoopnSemIterator

internalStart

protected void internalStart()
Overrides:
internalStart in class CoopnSemIterator

internalTerminate

protected void internalTerminate()
Overrides:
internalTerminate in class CoopnSemIterator