final void file_seek(long pos, int how) { if (closed) err_closed(); try { file.seek(pos, how); } catch (IOException e) { throw Py.IOError(e); } }
public void seek(long pos, int how) throws IOException { file.seek(pos, how); }