Class IndexReader.LongIndex1NReader

    • Constructor Detail

      • LongIndex1NReader

        public LongIndex1NReader​(java.io.File indexFile)
                          throws java.io.IOException
        Throws:
        java.io.IOException
    • Method Detail

      • get

        public long[] get​(int index)
      • close

        public void close()
        Description copied from interface: IIndexReader
        Close the backing file.
        Specified by:
        close in interface IIndexReader
      • unload

        public void unload()
        Description copied from interface: IIndexReader
        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.
        Specified by:
        unload in interface IIndexReader
      • size

        public int size()
        Description copied from interface: IIndexReader
        Size of the index
        Specified by:
        size in interface IIndexReader
        Returns:
        number of entries
      • delete

        public void delete()
        Description copied from interface: IIndexReader
        Delete the backing file.
        Specified by:
        delete in interface IIndexReader