| 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 | 93 | public function __construct(Scanner $scanner) |
|
| 18 | |||
| 19 | 90 | public function getLine() |
|
| 23 | |||
| 24 | 90 | public function getColumn() |
|
| 32 | |||
| 33 | 90 | public function peek() |
|
| 37 | |||
| 38 | 90 | public function next() |
|
| 51 | |||
| 52 | 93 | public function eof() |
|
| 56 | |||
| 57 | public function back() |
||
| 61 | } |
||
| 62 |