MPS 2019.1 Help

Modifying Iterator

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: 5 July 2019