AtomIterator
, AtomIteratorAtomDependent
, AtomLeafsetIterator
, AtomsetIterator
AtomIteratorBasisAdjustableStart
public class AtomIteratorArrayList extends AtomIteratorArrayListSimple implements AtomIteratorAtomDependent
Modifier and Type | Field | Description |
---|---|---|
protected boolean |
upListNow |
atomSetSinglet, cursor, list
Constructor | Description |
---|---|
AtomIteratorArrayList(IteratorDirective.Direction direction) |
Constructs new iterator with an empty list.
|
AtomIteratorArrayList(IteratorDirective.Direction direction,
int numToSkip) |
Constructs new iterator set to iterate given list (upon reset).
|
AtomIteratorArrayList(IteratorDirective.Direction direction,
int numToSkip,
AtomToIndex atomToIndex,
AtomToAtomLeafList atomToAtomSet) |
Modifier and Type | Method | Description |
---|---|---|
IAtom |
nextAtom() |
Returns the next iterate and advances the iterator.
|
void |
reset() |
Puts iterator in state ready to begin iteration.
|
void |
setAtom(IAtom atom) |
Sets the first atom for iteration.
|
int |
size() |
Returns the number of iterates that would be given by this iterator
if reset with the current list.
|
void |
unset() |
Puts iterator in state in which hasNext is false.
|
getList, nBody, next, setList
next
nBody
public AtomIteratorArrayList(IteratorDirective.Direction direction)
public AtomIteratorArrayList(IteratorDirective.Direction direction, int numToSkip)
public AtomIteratorArrayList(IteratorDirective.Direction direction, int numToSkip, AtomToIndex atomToIndex, AtomToAtomLeafList atomToAtomSet)
public IAtom nextAtom()
nextAtom
in interface AtomIterator
nextAtom
in class AtomIteratorArrayListSimple
public int size()
size
in interface AtomsetIterator
size
in class AtomIteratorArrayListSimple
public void reset()
reset
in interface AtomsetIterator
reset
in class AtomIteratorArrayListSimple
public void unset()
AtomIteratorArrayListSimple
unset
in interface AtomsetIterator
unset
in class AtomIteratorArrayListSimple
public void setAtom(IAtom atom)
setAtom
in interface AtomIteratorAtomDependent