MPS 2021.1 Help

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: 23 March 2021