public void seek(long pos){
  if (SysProperties.CHECK && pos % Constants.FILE_BLOCK_SIZE != 0) {
    DbException.throwInternalError("unaligned seek " + name + " pos "+ pos);
  }
  try {
    if (pos != filePos) {
      file.position(pos);
      filePos=pos;
    }
  }
 catch (  IOException e) {
    throw DbException.convertIOException(e,name);
  }
}

public void seek ( long pos ) { if ( SysProperties . CHECK && pos % Constants . FILE_BLOCK_SIZE != 0 ) { DbException . throwInternalError ( "unaligned seek " + name + " pos " + pos ) ; } try { if ( pos != filePos ) { file . position ( pos ) ; filePos = pos ; } } catch ( IOException e ) { throw DbException . convertIOException ( e , name ) ; } }
go to the specified file location .
