Class RPFFileIndex


  • public class RPFFileIndex
    extends java.lang.Object
    • Constructor Detail

      • RPFFileIndex

        public RPFFileIndex()
    • Method Detail

      • getRPFFile

        public java.io.File getRPFFile​(long key)
      • getWaveletFile

        public java.io.File getWaveletFile​(long key)
      • createWaveletRecord

        public RPFFileIndex.Record createWaveletRecord​(java.io.File file,
                                                       long rpfFileKey)
      • updateBoundingSector

        public void updateBoundingSector()
      • load

        public void load​(java.nio.ByteBuffer buffer)
                  throws java.io.IOException
        Throws:
        java.io.IOException
      • save

        public java.nio.ByteBuffer save()
                                 throws java.io.IOException
        Throws:
        java.io.IOException