|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.jmlspecs.jmlunit.strategies.LongAbstractIterator
org.jmlspecs.jmlunit.strategies.LongCompositeIterator
Composition of several LongIterators.
LongIterator| Field Summary | |
private int |
currentIterator
What iterator we are working with now. |
private LongIterator[] |
iters
The iterators that are being sequenced |
| Constructor Summary | |
protected |
LongCompositeIterator(int currentIterator,
LongIterator[] iters)
Initialize this composite to iterate over clones of the given iterators, in order, starting at the given current iterator. |
|
LongCompositeIterator(LongIterator iter)
Initialize this composite to iterate over the given iterator. |
|
LongCompositeIterator(LongIterator iter1,
LongIterator iter2)
Initialize this composite to iterate over the given iterators, in order. |
|
LongCompositeIterator(LongIterator[] iters)
Initialize this composite to iterate over clones of the given iterators, in order. |
| Method Summary | |
void |
advance()
Advance the state of this iteration to the next position. |
boolean |
atEnd()
Is this iterator at its end? |
Object |
clone()
Return a copy of this iterator in the same state as this object. |
long |
getLong()
Return the next element in this iteration. |
private void |
setCurrentIterator()
Set the current iterator to the next one that has elements, if any. |
String |
toString()
|
| Methods inherited from class org.jmlspecs.jmlunit.strategies.LongAbstractIterator |
get |
| Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
private int currentIterator
private final LongIterator[] iters
| Constructor Detail |
public LongCompositeIterator(LongIterator iter)
public LongCompositeIterator(LongIterator iter1,
LongIterator iter2)
public LongCompositeIterator(LongIterator[] iters)
protected LongCompositeIterator(int currentIterator,
LongIterator[] iters)
| Method Detail |
public boolean atEnd()
IndefiniteIterator
public long getLong()
throws NoSuchElementException
NoSuchElementException;
NoSuchElementExceptionpublic void advance()
IndefiniteIterator
private void setCurrentIterator()
public Object clone()
LongIterator
clone in interface LongIteratorclone in class LongAbstractIteratorpublic String toString()
toString in class Object
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||