Iterator
Last modified: 23 March 2021
A helper type that is analogous to java.util.Iterator. An instance of the iterator can be obtained with the iterator operation on a sequence.
Iterator type
iterator< Type >
Subtypes | Supertypes | Comparable types |
|---|---|---|
modifying_iterator< Type > | none | java.util.Iterator<Type> |
Operations on iterator
hasNext
Operand type | Parameter type | Result type |
|---|---|---|
iterator< Type > | none | boolean |
Tests if there is an element available.
next
Operand type | Parameter type | Result type |
|---|---|---|
iterator< Type > | none | Type |
Returns the next element.