@@ -280,17 +280,26 @@ |
||
280 | 280 | return $expected; |
281 | 281 | } |
282 | 282 | |
283 | + /** |
|
284 | + * @param integer $symbol |
|
285 | + */ |
|
283 | 286 | protected function traceNewState($state, $symbol) : void |
284 | 287 | { |
285 | 288 | echo '% State ' . $state |
286 | 289 | . ', Lookahead ' . ($symbol === self::SYMBOL_NONE ? '--none--' : $this->symbolToName[$symbol]) . "\n"; |
287 | 290 | } |
288 | 291 | |
292 | + /** |
|
293 | + * @param integer $symbol |
|
294 | + */ |
|
289 | 295 | protected function traceRead($symbol, $value) : void |
290 | 296 | { |
291 | 297 | echo '% Reading ' . $this->symbolToName[$symbol] . " with value " . $value . "\n"; |
292 | 298 | } |
293 | 299 | |
300 | + /** |
|
301 | + * @param integer $symbol |
|
302 | + */ |
|
294 | 303 | protected function traceShift($symbol) : void |
295 | 304 | { |
296 | 305 | echo '% Shift ' . $this->symbolToName[$symbol] . "\n"; |