collection.element_remove (get_pos ());
}
catch (PositionInvalid e)
{
invalidate ();
throw new IteratorInvalid (IteratorInvalidReason.is_invalid);
}
catch (EmptyCollection e)
{
invalidate ();
throw new IteratorInvalid (IteratorInvalidReason.is_invalid);
}
}
}