public long dump(RandomAccessFile rafIn) throws IOException {
  long nBytes=0;
  int numIdx=getNumIdx();
  rafIn.writeInt(numIdx);
  nBytes+=4;
  rafIn.writeInt(idxInterval);
  nBytes+=4;
  for (int i=0; i < numIdx; i++) {
    rafIn.writeLong(bytePtrs[i]);
    nBytes+=8;
    rafIn.writeLong(timePtrs[i]);
    nBytes+=8;
  }
  rafIn.writeLong(0l);
  rafIn.writeLong(0l);
  nBytes+=16l;
  return nBytes;
}

public long dump ( RandomAccessFile rafIn ) throws IOException { long nBytes = 0 ; int numIdx = getNumIdx ( ) ; rafIn . writeInt ( numIdx ) ; nBytes += 4 ; rafIn . writeInt ( idxInterval ) ; nBytes += 4 ; for ( int i = 0 ; i < numIdx ; i ++ ) { rafIn . writeLong ( bytePtrs [ i ] ) ; nBytes += 8 ; rafIn . writeLong ( timePtrs [ i ] ) ; nBytes += 8 ; } rafIn . writeLong ( 0l ) ; rafIn . writeLong ( 0l ) ; nBytes += 16l ; return nBytes ; }
method which writes an index to a randomaccessfile
