MPS 2019.1 Help

Iterator

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.

Last modified: 5 July 2019