public static interface IndexReader.ReaderClosedListener
Modifier and Type | Method and Description |
---|---|
void |
onClose(IndexReader reader)
Invoked when the
IndexReader is closed. |
void onClose(IndexReader reader) throws java.io.IOException
IndexReader
is closed.java.io.IOException