| commit | 89a358d64f8e4bd70b90ceac346815a8891dd1f1 | [log] [tgz] |
|---|---|---|
| author | margaretha <margaretha@ids-mannheim.de> | Mon Mar 18 15:03:52 2019 +0100 |
| committer | Akron <nils@diewald-online.de> | Mon Mar 18 15:59:44 2019 +0100 |
| tree | 2c8857a61855a3ae2cd7c89b3ef630b8b2c03349 | |
| parent | 75d0f388e87a14d0e096b38e73b41ff4d942e58c [diff] |
Added isReaderOpen method. Change-Id: Ia084d1a9c75755dfb6cacb96310caa8665aab209
diff --git a/src/main/java/de/ids_mannheim/korap/KrillIndex.java b/src/main/java/de/ids_mannheim/korap/KrillIndex.java index 976fe86..aecbf30 100644 --- a/src/main/java/de/ids_mannheim/korap/KrillIndex.java +++ b/src/main/java/de/ids_mannheim/korap/KrillIndex.java
@@ -1893,4 +1893,8 @@ mc.close(); return mc; }; + + public boolean isReaderOpen () { + return readerOpen; + } };