Interface IIndexReader

    • Method Detail

      • size

        int size()
        Size of the index
        Returns:
        number of entries
      • unload

        void unload()
             throws IOException
        Clear the caches. Used when the indexes are not current in use and the memory needs to be reclaimed such as when building the dominator tree.
        Throws:
        IOException
      • delete

        void delete()
        Delete the backing file.