Class IndexManager


  • public class IndexManager
    extends Object
    Handles the indexes into the snapshot.
    • Constructor Detail

      • IndexManager

        public IndexManager()
    • Method Detail

      • setReader

        public void setReader​(IndexManager.Index index,
                              IIndexReader reader)
        Add index reader corresponding to the index to the index manager
        Parameters:
        index - the index to set
        reader - the source for the index
      • getReader

        public IIndexReader getReader​(IndexManager.Index index)
        Get the reader corresponding to the index
        Parameters:
        index - the index
        Returns:
        the reader
      • init

        public void init​(String prefix)
                  throws IOException
        Populate all the index readers
        Parameters:
        prefix - the prefix of the snapshot
        Throws:
        IOException - if a problem occurred reading the indices
      • inbound

        public IIndexReader.IOne2ManyIndex inbound()
        The inbounds index for each object to its inbound references.
        Returns:
        the index reader
      • outbound

        public IIndexReader.IOne2ManyIndex outbound()
        The inbounds index for each object to its outbound references.
        Returns:
        the index reader
      • o2address

        public IIndexReader.IOne2LongIndex o2address()
        The index from object ID to the object address
        Returns:
        the index reader for the object address
      • a2size

        public IIndexReader.IOne2SizeIndex a2size()
        The index from array object ID and variable sized objects to the size in bytes.
        Since:
        1.0
      • dominated

        public IIndexReader.IOne2ManyIndex dominated()
        The index reader from each object to the objects it dominates
        Returns:
        the index reader
      • o2retained

        public IIndexReader.IOne2LongIndex o2retained()
        The index reader for each object to its retained size
        Returns:
        the index reader
      • dominator

        public IIndexReader.IOne2OneIndex dominator()
        The index reader for each object to the object which dominates it
        Returns:
        the index reader
      • close

        public void close()
                   throws IOException
        Closes all the index reader files
        Throws:
        IOException - if there is a problem closing the files
      • delete

        public void delete()
                    throws IOException
        Delete all the index files
        Throws:
        IOException - if there is a problem deleting the files