1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
|
<?php
/*
* This file is part of the Symfony package.
*
* (c) Fabien Potencier <fabien@symfony.com>
*
* For the full copyright and license information, please view the LICENSE
* file that was distributed with this source code.
*/
namespace Symfony\Component\Workflow\Tests\Validator;
use PHPUnit\Framework\TestCase;
use Symfony\Component\Workflow\Definition;
use Symfony\Component\Workflow\Exception\InvalidDefinitionException;
use Symfony\Component\Workflow\Tests\WorkflowBuilderTrait;
use Symfony\Component\Workflow\Transition;
use Symfony\Component\Workflow\Validator\WorkflowValidator;
class WorkflowValidatorTest extends TestCase
{
use WorkflowBuilderTrait;
public function testWorkflowWithInvalidNames()
{
$places = range('a', 'c');
$transitions = [];
$transitions[] = new Transition('t0', 'c', 'b');
$transitions[] = new Transition('t1', 'a', 'b');
$transitions[] = new Transition('t1', 'a', 'c');
$definition = new Definition($places, $transitions);
$this->expectException(InvalidDefinitionException::class);
$this->expectExceptionMessage('All transitions for a place must have an unique name. Multiple transitions named "t1" where found for place "a" in workflow "foo".');
(new WorkflowValidator())->validate($definition, 'foo');
}
public function testSameTransitionNameButNotSamePlace()
{
$places = range('a', 'd');
$transitions = [];
$transitions[] = new Transition('t1', 'a', 'b');
$transitions[] = new Transition('t1', 'b', 'c');
$transitions[] = new Transition('t1', 'd', 'c');
$definition = new Definition($places, $transitions);
(new WorkflowValidator())->validate($definition, 'foo');
// 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');
}
}
|
