|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectorg.jmlspecs.jmlunit.strategies.DoubleAbstractIterator
org.jmlspecs.jmlunit.strategies.DoubleCompositeIterator
Composition of several DoubleIterators.
DoubleIterator| Field Summary | |
private int |
currentIterator
What iterator we are working with now. |
private DoubleIterator[] |
iters
The iterators that are being sequenced |
| Constructor Summary | |
protected |
DoubleCompositeIterator(int currentIterator,
DoubleIterator[] iters)
Initialize this composite to iterate over clones of the given iterators, in order, starting at the given current iterator. |
|
DoubleCompositeIterator(DoubleIterator iter)
Initialize this composite to iterate over the given iterator. |
|
DoubleCompositeIterator(DoubleIterator iter1,
DoubleIterator iter2)
Initialize this composite to iterate over the given iterators, in order. |
|
DoubleCompositeIterator(DoubleIterator[] 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. |
double |
getDouble()
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.DoubleAbstractIterator |
get |
| Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
private int currentIterator
private final DoubleIterator[] iters
| Constructor Detail |
public DoubleCompositeIterator(DoubleIterator iter)
public DoubleCompositeIterator(DoubleIterator iter1,
DoubleIterator iter2)
public DoubleCompositeIterator(DoubleIterator[] iters)
protected DoubleCompositeIterator(int currentIterator,
DoubleIterator[] iters)
| Method Detail |
public boolean atEnd()
IndefiniteIterator
public double getDouble()
throws NoSuchElementException
NoSuchElementException;
NoSuchElementExceptionpublic void advance()
IndefiniteIterator
private void setCurrentIterator()
public Object clone()
DoubleIterator
clone in interface DoubleIteratorclone in class DoubleAbstractIteratorpublic String toString()
toString in class Object
|
JML | ||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||