public interface DocumentIterator extends Closeable
This interface provide a
method returning the next document, or
no more documents are available. Usually
you would need to
Document.close() each document when you
are finished with it, but in the present case it is
guaranteed that each call to
will close the previously returned document.
Document nextDocument() throws IOException
nullif there are no other documents.
void close() throws IOException
You should always call this method after having finished with this iterator. Implementations are invited to call this method in a finaliser as a safety net, but since there is no guarantee as to when finalisers are invoked, you should not depend on this behaviour.