MPS 2022.2 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: 26 August 2021