1 | <?php |
||
7 | final class ScannerWithLocation implements Scanner |
||
8 | { |
||
9 | private $scanner; |
||
10 | private $line = 1; |
||
11 | private $column = 0; |
||
12 | private $nextCalledOnce = false; |
||
13 | |||
14 | 111 | public function __construct(Scanner $scanner) |
|
18 | |||
19 | 108 | public function getLine() |
|
23 | |||
24 | 108 | public function getColumn() |
|
32 | |||
33 | 108 | public function peek() |
|
37 | |||
38 | 108 | public function next() |
|
51 | |||
52 | 111 | public function eof() |
|
56 | |||
57 | public function back() |
||
61 | } |
||
62 |