|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.CoopnSemIterator | +--ConForM.CoopnTools.CoKer.CoopnSem.StepIterator
Step CoopnSem iterator. Iterator returned by a CoopnSem object (called the associated CoopnSem object) according to a next request.
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 |
protected boolean internalHasNext() throws java.lang.UnsupportedOperationException
internalHasNext
in class CoopnSemIterator
protected final java.lang.Object internalNext() throws java.lang.UnsupportedOperationException, java.util.NoSuchElementException
internalNext
in class CoopnSemIterator
protected void internalStart()
internalStart
in class CoopnSemIterator
protected void internalTerminate()
internalTerminate
in class CoopnSemIterator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |