MPS 2020.2 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: 08 May 2020