|
1 | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | | -<files psalm-version="6.10.0@9c0add4eb88d4b169ac04acb7c679918cbb9c252"> |
| 2 | +<files psalm-version="6.12.0@cf420941d061a57050b6c468ef2c778faf40aee2"> |
3 | 3 | <file src="src/Activity.php"> |
4 | 4 | <ImplicitToStringCast> |
5 | 5 | <code><![CDATA[$type]]></code> |
|
115 | 115 | <code><![CDATA[$workflowType]]></code> |
116 | 116 | </PropertyNotSetInConstructor> |
117 | 117 | </file> |
| 118 | + <file src="src/Client/Schedule/ScheduleHandle.php"> |
| 119 | + <RawObjectIteration> |
| 120 | + <code><![CDATA[$response->getStartTime()]]></code> |
| 121 | + </RawObjectIteration> |
| 122 | + </file> |
118 | 123 | <file src="src/Client/Schedule/ScheduleOptions.php"> |
119 | 124 | <DeprecatedProperty> |
120 | 125 | <code><![CDATA[$this->namespace]]></code> |
|
134 | 139 | <code><![CDATA[$options->namespace]]></code> |
135 | 140 | <code><![CDATA[$options->namespace]]></code> |
136 | 141 | </DeprecatedProperty> |
| 142 | + <RawObjectIteration> |
| 143 | + <code><![CDATA[$response->getSchedules()]]></code> |
| 144 | + </RawObjectIteration> |
| 145 | + </file> |
| 146 | + <file src="src/Client/Workflow/WorkflowExecutionHistory.php"> |
| 147 | + <RawObjectIteration> |
| 148 | + <code><![CDATA[$history->getEvents()]]></code> |
| 149 | + </RawObjectIteration> |
137 | 150 | </file> |
138 | 151 | <file src="src/Client/WorkflowClient.php"> |
139 | 152 | <ArgumentTypeCoercion> |
140 | 153 | <code><![CDATA[$counter]]></code> |
| 154 | + <code><![CDATA[$runID]]></code> |
141 | 155 | <code><![CDATA[$signal]]></code> |
142 | | - <code><![CDATA[$workflowType]]></code> |
143 | | - <code><![CDATA[$workflowType]]></code> |
| 156 | + <code><![CDATA[$workflow->getID()]]></code> |
| 157 | + <code><![CDATA[$workflow->getID()]]></code> |
144 | 158 | </ArgumentTypeCoercion> |
145 | 159 | <DeprecatedClass> |
146 | 160 | <code><![CDATA[new AnnotationReader()]]></code> |
|
170 | 184 | <MoreSpecificReturnType> |
171 | 185 | <code><![CDATA[static]]></code> |
172 | 186 | </MoreSpecificReturnType> |
| 187 | + <RawObjectIteration> |
| 188 | + <code><![CDATA[$response->getExecutions()]]></code> |
| 189 | + </RawObjectIteration> |
173 | 190 | <RedundantFunctionCall> |
174 | 191 | <code><![CDATA[\sprintf]]></code> |
175 | 192 | <code><![CDATA[\sprintf]]></code> |
|
216 | 233 | <code><![CDATA[RetryOptions]]></code> |
217 | 234 | </MissingImmutableAnnotation> |
218 | 235 | </file> |
| 236 | + <file src="src/Common/Priority.php"> |
| 237 | + <ArgumentTypeCoercion> |
| 238 | + <code><![CDATA[$priorityKey]]></code> |
| 239 | + </ArgumentTypeCoercion> |
| 240 | + </file> |
219 | 241 | <file src="src/Common/RetryOptions.php"> |
220 | 242 | <PossiblyNullArgument> |
221 | 243 | <code><![CDATA[DateInterval::toDuration($this->initialInterval)]]></code> |
|
285 | 307 | </MoreSpecificImplementedParamType> |
286 | 308 | </file> |
287 | 309 | <file src="src/DataConverter/EncodedValues.php"> |
| 310 | + <InvalidArgument> |
| 311 | + <code><![CDATA[$payloads->getPayloads()]]></code> |
| 312 | + <code><![CDATA[$payloads->getPayloads()]]></code> |
| 313 | + </InvalidArgument> |
288 | 314 | <PossiblyNullIterator> |
289 | 315 | <code><![CDATA[$this->values]]></code> |
290 | 316 | </PossiblyNullIterator> |
|
354 | 380 | <code><![CDATA[new static('', $e->getCode(), $e)]]></code> |
355 | 381 | </UnsafeInstantiation> |
356 | 382 | </file> |
| 383 | + <file src="src/Exception/Client/MultyOperation/OperationStatus.php"> |
| 384 | + <InvalidArgument> |
| 385 | + <code><![CDATA[$message->getDetails()]]></code> |
| 386 | + </InvalidArgument> |
| 387 | + <MismatchingDocblockParamType> |
| 388 | + <code><![CDATA[\ArrayAccess<int, Any>&RepeatedField]]></code> |
| 389 | + </MismatchingDocblockParamType> |
| 390 | + <MismatchingDocblockPropertyType> |
| 391 | + <code><![CDATA[\ArrayAccess<int, Any>&RepeatedField]]></code> |
| 392 | + </MismatchingDocblockPropertyType> |
| 393 | + <MismatchingDocblockReturnType> |
| 394 | + <code><![CDATA[\ArrayAccess<int, Any>&RepeatedField]]></code> |
| 395 | + </MismatchingDocblockReturnType> |
| 396 | + </file> |
| 397 | + <file src="src/Exception/Client/ServiceClientException.php"> |
| 398 | + <ImplementedReturnTypeMismatch> |
| 399 | + <code><![CDATA[RepeatedField]]></code> |
| 400 | + </ImplementedReturnTypeMismatch> |
| 401 | + <InvalidReturnStatement> |
| 402 | + <code><![CDATA[$this->status->getDetails()]]></code> |
| 403 | + </InvalidReturnStatement> |
| 404 | + <InvalidReturnType> |
| 405 | + <code><![CDATA[RepeatedField]]></code> |
| 406 | + </InvalidReturnType> |
| 407 | + </file> |
| 408 | + <file src="src/Exception/Client/UnpackDetailsTrait.php"> |
| 409 | + <RawObjectIteration> |
| 410 | + <code><![CDATA[$details]]></code> |
| 411 | + </RawObjectIteration> |
| 412 | + <UndefinedInterfaceMethod> |
| 413 | + <code><![CDATA[count]]></code> |
| 414 | + </UndefinedInterfaceMethod> |
| 415 | + </file> |
357 | 416 | <file src="src/Exception/Client/WorkflowException.php"> |
358 | 417 | <UnsafeInstantiation> |
359 | 418 | <code><![CDATA[new static(null, $execution, $workflowType, $previous)]]></code> |
|
373 | 432 | </MoreSpecificReturnType> |
374 | 433 | </file> |
375 | 434 | <file src="src/Exception/Failure/FailureConverter.php"> |
| 435 | + <ArgumentTypeCoercion> |
| 436 | + <code><![CDATA[$execution->getRunId()]]></code> |
| 437 | + <code><![CDATA[$execution->getWorkflowId()]]></code> |
| 438 | + </ArgumentTypeCoercion> |
376 | 439 | <DocblockTypeContradiction> |
377 | 440 | <code><![CDATA[\is_array($frame)]]></code> |
378 | 441 | </DocblockTypeContradiction> |
|
442 | 505 | <code><![CDATA[$details]]></code> |
443 | 506 | </MissingParamType> |
444 | 507 | </file> |
| 508 | + <file src="src/Internal/Client/ResponseToResultMapper.php"> |
| 509 | + <ArgumentTypeCoercion> |
| 510 | + <code><![CDATA[$execution->getRunId()]]></code> |
| 511 | + <code><![CDATA[$execution->getWorkflowId()]]></code> |
| 512 | + <code><![CDATA[$updateRef->getWorkflowExecution()?->getRunId()]]></code> |
| 513 | + <code><![CDATA[(string) $updateRef->getWorkflowExecution()?->getWorkflowId()]]></code> |
| 514 | + </ArgumentTypeCoercion> |
| 515 | + </file> |
445 | 516 | <file src="src/Internal/Client/WorkflowStarter.php"> |
| 517 | + <ArgumentTypeCoercion> |
| 518 | + <code><![CDATA[$f->getRunId()]]></code> |
| 519 | + <code><![CDATA[$f->getRunId()]]></code> |
| 520 | + <code><![CDATA[$input->workflowStartInput->workflowId]]></code> |
| 521 | + <code><![CDATA[$input->workflowStartInput->workflowId]]></code> |
| 522 | + <code><![CDATA[$options->workflowId]]></code> |
| 523 | + <code><![CDATA[$request->getWorkflowId()]]></code> |
| 524 | + <code><![CDATA[$request->getWorkflowId()]]></code> |
| 525 | + <code><![CDATA[$response->getRunId()]]></code> |
| 526 | + <code><![CDATA[$startResponse->getRunId()]]></code> |
| 527 | + </ArgumentTypeCoercion> |
446 | 528 | <InvalidArgument> |
447 | 529 | <code><![CDATA[0]]></code> |
448 | 530 | <code><![CDATA[1]]></code> |
|
461 | 543 | </UndefinedInterfaceMethod> |
462 | 544 | </file> |
463 | 545 | <file src="src/Internal/Client/WorkflowStub.php"> |
| 546 | + <ArgumentTypeCoercion> |
| 547 | + <code><![CDATA[$closeEvent |
| 548 | + ->getWorkflowExecutionContinuedAsNewEventAttributes() |
| 549 | + ->getNewExecutionRunId()]]></code> |
| 550 | + </ArgumentTypeCoercion> |
464 | 551 | <PossiblyInvalidArgument> |
465 | 552 | <code><![CDATA[$closeEvent->getTaskId()]]></code> |
466 | 553 | </PossiblyInvalidArgument> |
|
589 | 676 | <InvalidReturnType> |
590 | 677 | <code><![CDATA[\Traversable<ActivityPrototype>]]></code> |
591 | 678 | </InvalidReturnType> |
592 | | - <PossiblyUndefinedVariable> |
593 | | - <code><![CDATA[$contextClass]]></code> |
594 | | - </PossiblyUndefinedVariable> |
595 | 679 | <RawObjectIteration> |
596 | 680 | <code><![CDATA[$group]]></code> |
597 | 681 | <code><![CDATA[$group]]></code> |
|
600 | 684 | <code><![CDATA[$retry !== null]]></code> |
601 | 685 | </RedundantConditionGivenDocblockType> |
602 | 686 | </file> |
603 | | - <file src="src/Internal/Declaration/WorkflowInstance.php"> |
604 | | - <LessSpecificImplementedReturnType> |
605 | | - <code><![CDATA[UpdateHandler|null]]></code> |
606 | | - </LessSpecificImplementedReturnType> |
| 687 | + <file src="src/Internal/Declaration/WorkflowInstance/QueryDispatcher.php"> |
607 | 688 | <PropertyNotSetInConstructor> |
608 | 689 | <code><![CDATA[$queryExecutor]]></code> |
609 | | - <code><![CDATA[$updateExecutor]]></code> |
610 | | - <code><![CDATA[$updateValidator]]></code> |
611 | 690 | </PropertyNotSetInConstructor> |
612 | 691 | </file> |
613 | | - <file src="src/Internal/Declaration/WorkflowInstance/SignalQueue.php"> |
614 | | - <MissingConstructor> |
| 692 | + <file src="src/Internal/Declaration/WorkflowInstance/SignalDispatcher.php"> |
| 693 | + <InvalidReturnStatement> |
| 694 | + <code><![CDATA[$this->push($name, $values)]]></code> |
| 695 | + </InvalidReturnStatement> |
| 696 | + <PropertyNotSetInConstructor> |
615 | 697 | <code><![CDATA[$onSignal]]></code> |
616 | | - </MissingConstructor> |
| 698 | + </PropertyNotSetInConstructor> |
| 699 | + </file> |
| 700 | + <file src="src/Internal/Declaration/WorkflowInstance/UpdateDispatcher.php"> |
| 701 | + <PropertyNotSetInConstructor> |
| 702 | + <code><![CDATA[$updateExecutor]]></code> |
| 703 | + <code><![CDATA[$updateValidator]]></code> |
| 704 | + </PropertyNotSetInConstructor> |
617 | 705 | </file> |
618 | 706 | <file src="src/Internal/Events/EventEmitterInterface.php"> |
619 | 707 | <InvalidTemplateParam> |
|
678 | 766 | </file> |
679 | 767 | <file src="src/Internal/Mapper/WorkflowExecutionInfoMapper.php"> |
680 | 768 | <ArgumentTypeCoercion> |
| 769 | + <code><![CDATA[$execution->getRunId()]]></code> |
| 770 | + <code><![CDATA[$execution->getWorkflowId()]]></code> |
681 | 771 | <code><![CDATA[$message->getTaskQueue()]]></code> |
682 | 772 | <code><![CDATA[(int) $message->getHistorySizeBytes()]]></code> |
683 | 773 | <code><![CDATA[(int) $message->getStateTransitionCount()]]></code> |
|
689 | 779 | <code><![CDATA[parse]]></code> |
690 | 780 | <code><![CDATA[parse]]></code> |
691 | 781 | </DocblockTypeContradiction> |
| 782 | + <RawObjectIteration> |
| 783 | + <code><![CDATA[$getAutoResetPoints->getPoints()]]></code> |
| 784 | + </RawObjectIteration> |
692 | 785 | <RedundantConditionGivenDocblockType> |
693 | 786 | <code><![CDATA[parse]]></code> |
694 | 787 | </RedundantConditionGivenDocblockType> |
|
758 | 851 | \sprintf('%d.%d', $input->getSeconds(), $input->getNanos() / 1000), |
759 | 852 | )]]></code> |
760 | 853 | </FalsableReturnStatement> |
| 854 | + <InvalidArgument> |
| 855 | + <code><![CDATA[$input->getPayloads()]]></code> |
| 856 | + </InvalidArgument> |
761 | 857 | <InvalidFalsableReturnType> |
762 | 858 | <code><![CDATA[\DateTimeImmutable]]></code> |
763 | 859 | </InvalidFalsableReturnType> |
|
770 | 866 | <NullableReturnStatement> |
771 | 867 | <code><![CDATA[$mapper]]></code> |
772 | 868 | </NullableReturnStatement> |
| 869 | + <PossibleRawObjectIteration> |
| 870 | + <code><![CDATA[$value]]></code> |
| 871 | + </PossibleRawObjectIteration> |
773 | 872 | <PossiblyNullArgument> |
774 | 873 | <code><![CDATA[$metadata->getDetails()]]></code> |
775 | 874 | <code><![CDATA[$metadata->getSummary()]]></code> |
|
1023 | 1122 | <ArgumentTypeCoercion> |
1024 | 1123 | <code><![CDATA[$request->getID()]]></code> |
1025 | 1124 | </ArgumentTypeCoercion> |
1026 | | - <PossiblyUndefinedStringArrayOffset> |
1027 | | - <code><![CDATA[$request->getOptions()['name']]]></code> |
1028 | | - </PossiblyUndefinedStringArrayOffset> |
1029 | | - <UndefinedInterfaceMethod> |
1030 | | - <code><![CDATA[getQueryHandlerNames]]></code> |
1031 | | - </UndefinedInterfaceMethod> |
1032 | 1125 | <UnusedVariable> |
1033 | 1126 | <code><![CDATA[$headers]]></code> |
1034 | 1127 | </UnusedVariable> |
1035 | 1128 | </file> |
1036 | | - <file src="src/Internal/Transport/Router/InvokeSignal.php"> |
1037 | | - <ArgumentTypeCoercion> |
1038 | | - <code><![CDATA[$request->getID()]]></code> |
1039 | | - <code><![CDATA[$request->getID()]]></code> |
1040 | | - </ArgumentTypeCoercion> |
1041 | | - <PossiblyUndefinedStringArrayOffset> |
1042 | | - <code><![CDATA[$request->getOptions()['name']]]></code> |
1043 | | - </PossiblyUndefinedStringArrayOffset> |
1044 | | - </file> |
1045 | 1129 | <file src="src/Internal/Transport/Router/InvokeUpdate.php"> |
1046 | 1130 | <ArgumentTypeCoercion> |
1047 | 1131 | <code><![CDATA[$request->getID()]]></code> |
|
1052 | 1136 | </PossiblyUndefinedStringArrayOffset> |
1053 | 1137 | <UndefinedInterfaceMethod> |
1054 | 1138 | <code><![CDATA[cancel]]></code> |
1055 | | - <code><![CDATA[findValidateUpdateHandler]]></code> |
1056 | | - <code><![CDATA[getUpdateHandlerNames]]></code> |
1057 | 1139 | </UndefinedInterfaceMethod> |
1058 | 1140 | </file> |
1059 | 1141 | <file src="src/Internal/Transport/Router/StackTrace.php"> |
|
1333 | 1415 | <code><![CDATA[$e->getCode()]]></code> |
1334 | 1416 | <code><![CDATA[$e->getCode()]]></code> |
1335 | 1417 | </PossiblyInvalidArgument> |
| 1418 | + <RawObjectIteration> |
| 1419 | + <code><![CDATA[$frame->getMessages()]]></code> |
| 1420 | + </RawObjectIteration> |
1336 | 1421 | <TooManyArguments> |
1337 | 1422 | <code><![CDATA[decode]]></code> |
1338 | 1423 | </TooManyArguments> |
|
1491 | 1576 | <file src="src/Workflow.php"> |
1492 | 1577 | <InvalidReturnStatement> |
1493 | 1578 | <code><![CDATA[self::getCurrentContext()->newActivityStub($class, $options)]]></code> |
1494 | | - <code><![CDATA[self::getCurrentContext()->registerQuery($queryType, $handler)]]></code> |
1495 | | - <code><![CDATA[self::getCurrentContext()->registerSignal($name, $handler)]]></code> |
| 1579 | + <code><![CDATA[self::getCurrentContext()->registerQuery($queryType, $handler, $description)]]></code> |
| 1580 | + <code><![CDATA[self::getCurrentContext()->registerSignal($name, $handler, $description)]]></code> |
1496 | 1581 | </InvalidReturnStatement> |
1497 | 1582 | <InvalidReturnType> |
1498 | 1583 | <code><![CDATA[ScopedContextInterface]]></code> |
|
0 commit comments