MPS 2021.1 Help

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