| 1 | <?php |
||
| 11 | class Buffer |
||
| 12 | { |
||
| 13 | /** |
||
| 14 | * @var resource |
||
| 15 | */ |
||
| 16 | private $stream; |
||
| 17 | |||
| 18 | /** |
||
| 19 | * @var int |
||
| 20 | */ |
||
| 21 | private $size; |
||
| 22 | |||
| 23 | /** |
||
| 24 | * @param resource $stream |
||
| 25 | */ |
||
| 26 | public function setStream($stream) |
||
| 30 | |||
| 31 | /** |
||
| 32 | * @param int $size |
||
| 33 | */ |
||
| 34 | public function setSize(int $size) |
||
| 38 | |||
| 39 | /** |
||
| 40 | * Get the next character and advance the cursor. |
||
| 41 | * |
||
| 42 | * @return \Generator |
||
| 43 | */ |
||
| 44 | public function get(): \Generator |
||
| 57 | } |
||
| 58 |