| 1 | <?php |
||
| 13 | class InputStream { |
||
| 14 | /** |
||
| 15 | * @var string |
||
| 16 | */ |
||
| 17 | private $input; |
||
| 18 | |||
| 19 | /** |
||
| 20 | * @var int |
||
| 21 | */ |
||
| 22 | private $position = 0; |
||
| 23 | /** |
||
| 24 | * @var int |
||
| 25 | */ |
||
| 26 | private $line = 1; |
||
| 27 | /** |
||
| 28 | * @var int |
||
| 29 | */ |
||
| 30 | private $column = 0; |
||
| 31 | |||
| 32 | /** |
||
| 33 | * InputStream constructor. |
||
| 34 | * |
||
| 35 | * @param string $input |
||
| 36 | */ |
||
| 37 | 41 | public function __construct($input) { |
|
| 40 | |||
| 41 | 40 | public function next() { |
|
| 51 | |||
| 52 | 35 | public function peek($pos = 0) { |
|
| 58 | |||
| 59 | 36 | public function eof($pos = 0) { |
|
| 62 | |||
| 63 | 7 | public function error($msg) { |
|
| 66 | } |