[Config] Add also filenames of indexes to config

src/main/java/gr/csd/uoc/hy463/themis/config/Config.java

@@ -80,6 +80,33 @@ public class Config {
         return __PROP__.getProperty("DATASET_PATH");
     }
 
+    /**
+     * Returns the filename of vocabulary index
+     *
+     * @return
+     */
+    public String getVocabularyFileName() {
+        return __PROP__.getProperty("VOCABULARY_FILENAME");
+    }
+
+    /**
+     * Returns the filename of postings index
+     *
+     * @return
+     */
+    public String getPostingsFileName() {
+        return __PROP__.getProperty("POSTINGS_FILENAME");
+    }
+
+    /**
+     * Returns the filename of documents index
+     *
+     * @return
+     */
+    public String getDocumentsFileName() {
+        return __PROP__.getProperty("DOCUMENTS_FILENAME");
+    }
+
     /**
      * number of max number of files per each partial index
      *

src/main/resources/themis.config

 INDEX_PATH = /home/papadako/index/
 DATASET_PATH = /home/papadako/dataset
 PARTIAL_INDEX_MAX_DOCS_SIZE = 200000
+VOCABULARY_FILENAME=vocabulary.idx
+POSTINGS_FILENAME=postings.idx
+DOCUMENTS_FILENAME=documents.idx