-
-
Notifications
You must be signed in to change notification settings - Fork 9.4k
/
Marking.php
102 lines (85 loc) · 2.52 KB
/
Marking.php
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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
<?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;
/**
* Marking contains the place of every tokens.
*
* @author Grégoire Pineau <lyrixx@lyrixx.info>
*/
class Marking
{
private array $places = [];
private ?array $context = null;
/**
* @param int[] $representation Keys are the place name and values should be 1
*/
public function __construct(array $representation = [])
{
foreach ($representation as $place => $nbToken) {
$this->mark($place, $nbToken);
}
}
/**
* @param int $nbToken
*/
public function mark(string $place /* , int $nbToken = 1 */): void
{
$nbToken = 1 < \func_num_args() ? func_get_arg(1) : 1;
if ($nbToken < 1) {
throw new \InvalidArgumentException(sprintf('The number of tokens must be greater than 0, "%s" given.', $nbToken));
}
if (!\array_key_exists($place, $this->places)) {
$this->places[$place] = 0;
}
$this->places[$place] += $nbToken;
}
/**
* @param int $nbToken
*/
public function unmark(string $place /* , int $nbToken = 1 */): void
{
$nbToken = 1 < \func_num_args() ? func_get_arg(1) : 1;
if ($nbToken < 1) {
throw new \InvalidArgumentException(sprintf('The number of tokens must be greater than 0, "%s" given.', $nbToken));
}
if (!$this->has($place)) {
throw new \InvalidArgumentException(sprintf('The place "%s" is not marked.', $place));
}
$this->places[$place] -= $nbToken;
if (0 > $this->places[$place]) {
throw new \InvalidArgumentException(sprintf('The place "%s" could not contain a negative token number.', $place));
}
if (0 === $this->places[$place]) {
unset($this->places[$place]);
}
}
public function has(string $place): bool
{
return \array_key_exists($place, $this->places);
}
public function getPlaces(): array
{
return $this->places;
}
/**
* @internal
*/
public function setContext(array $context): void
{
$this->context = $context;
}
/**
* Returns the context after the subject has transitioned.
*/
public function getContext(): ?array
{
return $this->context;
}
}