MPS 2020.3 Help

Modifying Iterator

A subtype of iterator that supports remove operation.

Modifying Iterator type

modifying_iterator< Type >

Subtypes

Supertypes

Comparable types

none

iterator< Type >

java.util.Iterator<Type>

Operations on modifying iterator

Operand type

Parameter type

Result type

modifying_iterator< Type >

none

none

Removes the element this iterator is currently positioned at.

Last modified: 26 February 2021