134135136137138139140141142
public Slice2DIndexManager( File file ) { this.file = file; } public void open() throws IOException { raf = new EnhancedRandomAccessFile(file, "r"); raf.setByteOrder(ByteOrder.BIG_ENDIAN); numberOfRecords = raf.readInt(); }