Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

Version 1 Current »

Iterator

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.

  • No labels