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 | 27 | public function __construct($input) { |
|
40 | |||
41 | 26 | public function next() { |
|
51 | |||
52 | 21 | public function peek() { |
|
55 | |||
56 | 22 | public function eof() { |
|
59 | |||
60 | 6 | public function error($msg) { |
|
63 | } |