Interface IIndexReader

    • Method Detail

      • size

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

        void unload()
             throws java.io.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:
        java.io.IOException
      • close

        void close()
            throws java.io.IOException
        Close the backing file.
        Throws:
        java.io.IOException
      • delete

        void delete()
        Delete the backing file.