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, 2014 Obeo and others. All rights reserved.