Class TableDirectory


  • public class TableDirectory
    extends java.lang.Object
    Version:
    $Id: TableDirectory.java 1733416 2016-03-03 07:07:13Z gadams $
    • Field Detail

      • version

        private int version
      • numTables

        private short numTables
      • searchRange

        private short searchRange
      • entrySelector

        private short entrySelector
      • rangeShift

        private short rangeShift
    • Constructor Detail

      • TableDirectory

        public TableDirectory​(java.io.RandomAccessFile raf)
                       throws java.io.IOException
        Throws:
        java.io.IOException
    • Method Detail

      • getEntrySelector

        public short getEntrySelector()
      • getNumTables

        public short getNumTables()
      • getRangeShift

        public short getRangeShift()
      • getSearchRange

        public short getSearchRange()
      • getVersion

        public int getVersion()