()
| 22636 | } |
| 22637 | |
| 22638 | line() { |
| 22639 | const index = this._buffer.indexOf(0x0A, this._position); |
| 22640 | if (index === -1) { |
| 22641 | throw new python.Error('Could not find end of line.'); |
| 22642 | } |
| 22643 | const size = index - this._position; |
| 22644 | const text = this.string(size, 'ascii'); |
| 22645 | this.skip(1); |
| 22646 | return text; |
| 22647 | } |
| 22648 | }; |
| 22649 | |
| 22650 | python.StreamReader = class { |