(offset)
| 22559 | } |
| 22560 | |
| 22561 | skip(offset) { |
| 22562 | this._position += offset; |
| 22563 | if (this._position > this._buffer.length) { |
| 22564 | throw new python.Error(`Expected ${this._position - this._buffer.length} more bytes. The file might be corrupted. Unexpected end of file.`); |
| 22565 | } |
| 22566 | } |
| 22567 | |
| 22568 | stream(length) { |
| 22569 | const buffer = this.read(length); |