There is no javadoc for IndexWriter.hasDeletions. I would have expected it to 
be the same as for IndexReader:

/** Returns true if any documents have been deleted */

Although, I think both should also say “since the most recent merge”.

-- Jack Krupansky

Reply via email to