MPS 2019.1 Help

Enumerator

Enumerator

An alternative to the iterator, a helper type that works similar to .NET's IEnumerator. An instance of the enumerator can be obtained with the enumerator operation on a sequence.

Enumerator type

enumerator<Type>

Subtypes

Supertypes

Comparable types

none

none

none

Operations on enumerator

moveNext

Operand type

Parameter type

Result type

enumerator<Type>

none

boolean

Moves to the next element. Returns true if there is an element available.

current

Operand type

Parameter type

Result type

enumerator<Type>

none

Type

Returns the element this enumerator is currently positioned at.

Last modified: 12 April 2019