@@ -349,13 +349,24 @@ discard block |
||
| 349 | 349 | return new $className(); |
| 350 | 350 | } |
| 351 | 351 | |
| 352 | + /** |
|
| 353 | + * @param integer $symbol |
|
| 354 | + */ |
|
| 352 | 355 | protected function traceNewState($state, $symbol) { |
| 353 | 356 | echo '% State ' . $state |
| 354 | 357 | . ', Lookahead ' . ($symbol == self::SYMBOL_NONE ? '--none--' : $this->symbolToName[$symbol]) . "\n"; |
| 355 | 358 | } |
| 359 | + |
|
| 360 | + /** |
|
| 361 | + * @param integer $symbol |
|
| 362 | + */ |
|
| 356 | 363 | protected function traceRead($symbol) { |
| 357 | 364 | echo '% Reading ' . $this->symbolToName[$symbol] . "\n"; |
| 358 | 365 | } |
| 366 | + |
|
| 367 | + /** |
|
| 368 | + * @param integer $symbol |
|
| 369 | + */ |
|
| 359 | 370 | protected function traceShift($symbol) { |
| 360 | 371 | echo '% Shift ' . $this->symbolToName[$symbol] . "\n"; |
| 361 | 372 | } |
@@ -368,6 +379,10 @@ discard block |
||
| 368 | 379 | protected function tracePop($state) { |
| 369 | 380 | echo '% Recovering, uncovered state ' . $state . "\n"; |
| 370 | 381 | } |
| 382 | + |
|
| 383 | + /** |
|
| 384 | + * @param integer $symbol |
|
| 385 | + */ |
|
| 371 | 386 | protected function traceDiscard($symbol) { |
| 372 | 387 | echo '% Discard ' . $this->symbolToName[$symbol] . "\n"; |
| 373 | 388 | } |
@@ -128,6 +128,7 @@ discard block |
||
| 128 | 128 | * @uses Context::getNamespace() to determine with what to prefix the type name. |
| 129 | 129 | * |
| 130 | 130 | * @param string $type The relative or absolute type. |
| 131 | + * @param Context $context |
|
| 131 | 132 | */ |
| 132 | 133 | public function resolve(string $type, ?Context $context = null) : Type |
| 133 | 134 | { |
@@ -408,6 +409,7 @@ discard block |
||
| 408 | 409 | * Resolves the given FQSEN string into an FQSEN object. |
| 409 | 410 | * |
| 410 | 411 | * @psalm-pure |
| 412 | + * @param Context $context |
|
| 411 | 413 | */ |
| 412 | 414 | private function resolveTypedObject(string $type, ?Context $context = null) : Object_ |
| 413 | 415 | { |
@@ -536,6 +538,7 @@ discard block |
||
| 536 | 538 | |
| 537 | 539 | /** |
| 538 | 540 | * @psalm-pure |
| 541 | + * @param Type $keyType |
|
| 539 | 542 | */ |
| 540 | 543 | private function makeCollectionFromObject(Object_ $object, Type $valueType, ?Type $keyType = null) : Collection |
| 541 | 544 | { |