Merge branch '7.2' into 7.3

lyrixx · lyrixx · commit 5276de029b86 · 2025-04-11T20:00:27.000+02:00
* 7.2:
  [Workflow] Add more tests
  [Validator] fix php doc
diff --git a/src/Symfony/Component/Validator/Constraints/Type.php b/src/Symfony/Component/Validator/Constraints/Type.php
@@ -32,9 +32,9 @@ class Type extends Constraint
     public string|array|null $type = null;
 
     /**
-     * @param string|string[]|array<string,mixed>|null $type    The type(s) to enforce on the value
-     * @param string[]|null                            $groups
-     * @param array<string,mixed>|null                 $options
+     * @param string|list<string>|array<string,mixed>|null $type    The type(s) to enforce on the value
+     * @param string[]|null                                $groups
+     * @param array<string,mixed>|null                     $options
      */
     #[HasNamedArguments]
     public function __construct(string|array|null $type, ?string $message = null, ?array $groups = null, mixed $payload = null, ?array $options = null)
diff --git a/src/Symfony/Component/Workflow/Tests/Validator/WorkflowValidatorTest.php b/src/Symfony/Component/Workflow/Tests/Validator/WorkflowValidatorTest.php
@@ -12,6 +12,7 @@
 namespace Symfony\Component\Workflow\Tests\Validator;
 
 use PHPUnit\Framework\TestCase;
+use Symfony\Component\Workflow\Arc;
 use Symfony\Component\Workflow\Definition;
 use Symfony\Component\Workflow\Exception\InvalidDefinitionException;
 use Symfony\Component\Workflow\Tests\WorkflowBuilderTrait;
@@ -55,4 +56,32 @@ public function testSameTransitionNameButNotSamePlace()
         // the test ensures that the validation does not fail (i.e. it does not throw any exceptions)
         $this->addToAssertionCount(1);
     }
+
+    public function testWithTooManyOutput()
+    {
+        $places = ['a', 'b', 'c'];
+        $transitions = [
+            new Transition('t1', 'a', ['b', 'c']),
+        ];
+        $definition = new Definition($places, $transitions);
+
+        $this->expectException(InvalidDefinitionException::class);
+        $this->expectExceptionMessage('The marking store of workflow "foo" cannot store many places. But the transition "t1" has too many output (2). Only one is accepted.');
+
+        (new WorkflowValidator(true))->validate($definition, 'foo');
+    }
+
+    public function testWithTooManyInitialPlaces()
+    {
+        $places = ['a', 'b', 'c'];
+        $transitions = [
+            new Transition('t1', 'a', 'b'),
+        ];
+        $definition = new Definition($places, $transitions, ['a', 'b']);
+
+        $this->expectException(InvalidDefinitionException::class);
+        $this->expectExceptionMessage('The marking store of workflow "foo" cannot store many places. But the definition has 2 initial places. Only one is supported.');
+
+        (new WorkflowValidator(true))->validate($definition, 'foo');
+    }
 }
