* @return The region array that the indexer provides.
* @throws pdfdb.indexing.plugins.IndexingException If the file is
* unindexable. */
private static Region[] indexFile(String path) throws IndexingException
{
Indexer indexer = IndexingProvider.getIndexer(path);
Region[] regions = indexer.index(path);
if (regions == null)
throw new IndexingException();
else
return regions;
}