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, removevoid 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.