/usr/share/php/Symfony/Component/Workflow/Definition.php is in php-symfony-workflow 3.4.6+dfsg-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 103 104 105 106 107 108 109 110 111 112 113 114 | <?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;
use Symfony\Component\Workflow\Exception\InvalidArgumentException;
use Symfony\Component\Workflow\Exception\LogicException;
/**
* @author Fabien Potencier <fabien@symfony.com>
* @author Grégoire Pineau <lyrixx@lyrixx.info>
* @author Tobias Nyholm <tobias.nyholm@gmail.com>
*/
final class Definition
{
private $places = array();
private $transitions = array();
private $initialPlace;
/**
* @param string[] $places
* @param Transition[] $transitions
* @param string|null $initialPlace
*/
public function __construct(array $places, array $transitions, $initialPlace = null)
{
foreach ($places as $place) {
$this->addPlace($place);
}
foreach ($transitions as $transition) {
$this->addTransition($transition);
}
$this->setInitialPlace($initialPlace);
}
/**
* @return string|null
*/
public function getInitialPlace()
{
return $this->initialPlace;
}
/**
* @return string[]
*/
public function getPlaces()
{
return $this->places;
}
/**
* @return Transition[]
*/
public function getTransitions()
{
return $this->transitions;
}
private function setInitialPlace($place)
{
if (null === $place) {
return;
}
if (!isset($this->places[$place])) {
throw new LogicException(sprintf('Place "%s" cannot be the initial place as it does not exist.', $place));
}
$this->initialPlace = $place;
}
private function addPlace($place)
{
if (!preg_match('{^[\w_-]+$}', $place)) {
throw new InvalidArgumentException(sprintf('The place "%s" contains invalid characters.', $place));
}
if (!count($this->places)) {
$this->initialPlace = $place;
}
$this->places[$place] = $place;
}
private function addTransition(Transition $transition)
{
$name = $transition->getName();
foreach ($transition->getFroms() as $from) {
if (!isset($this->places[$from])) {
throw new LogicException(sprintf('Place "%s" referenced in transition "%s" does not exist.', $from, $name));
}
}
foreach ($transition->getTos() as $to) {
if (!isset($this->places[$to])) {
throw new LogicException(sprintf('Place "%s" referenced in transition "%s" does not exist.', $to, $name));
}
}
$this->transitions[] = $transition;
}
}
|