MPS 2021.1 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

remove

Operand type

Parameter type

Result type

modifying_iterator< Type >

none

none

Removes the element this iterator is currently positioned at.

Last modified: 23 March 2021