E
- Kind of elements this iterator is for.public interface PruningIterator<E> extends Iterator<E>
Note that this only makes sense if the underlying iteration operates on a tree-like structure.
Modifier and Type | Method and Description |
---|---|
void |
prune()
Prunes the iterator so that it skips over all the elements below the most recent result of calling
next() . |
forEachRemaining, hasNext, next, remove
void prune()
next()
.
This will have no effect if called before any call to Iterator.next()
.
Copyright (c) 2006, 2015 Obeo and others. All rights reserved.