// Imposta un indice che esclude determinati formati di file.
IndexSettings settings = new IndexSettings();
DocumentFilter fileExtensionFilter =
DocumentFilter.createFileExtension(".odp", ".png", ".rtf");
DocumentFilter invertedFilter = DocumentFilter.createNot(fileExtensionFilter);
settings.setDocumentFilter(invertedFilter);
Index index = new Index("c:/MyIndex", settings);
// Specifica il percorso di archiviazione dei documenti.
index.add("c:/MyDocuments");
// Recupera i risultati della ricerca.
SearchResult result = index.search("Lorem", options);
// Elabora e utilizza i risultati della ricerca.
System.out.println("Documents: " + result.getDocumentCount());
System.out.println("Occurrences: " + result.getDocumentCount());