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