/**
* Gets the arcs in the given Petrinet.
*
* @param PetrinetInterface $petrinet
*
* @return \Petrinet\Model\ArcInterface[]
*/
private function getArcs(PetrinetInterface $petrinet)
{
$arcs = array();
foreach ($petrinet->getPlaces() as $place) {
foreach ($place->getInputArcs() as $inputArc) {
$inputArcId = null === $inputArc->getId() ? spl_object_hash($inputArc) : $inputArc->getId();
$arcs[$inputArcId] = $inputArc;
}
foreach ($place->getOutputArcs() as $outputArc) {
$outputArcId = null === $outputArc->getId() ? spl_object_hash($outputArc) : $outputArc->getId();
$arcs[$outputArcId] = $outputArc;
}
}
foreach ($petrinet->getTransitions() as $transition) {
foreach ($transition->getInputArcs() as $inputArc) {
$inputArcId = null === $inputArc->getId() ? spl_object_hash($inputArc) : $inputArc->getId();
$arcs[$inputArcId] = $inputArc;
}
foreach ($transition->getOutputArcs() as $outputArc) {
$outputArcId = null === $outputArc->getId() ? spl_object_hash($outputArc) : $outputArc->getId();
$arcs[$outputArcId] = $outputArc;
}
}
return $arcs;
}
function it_dumps_a_petrinet_with_marking(PetrinetInterface $petrinet, PlaceInterface $placeOne, PlaceInterface $placeTwo, PlaceInterface $placeThree, PlaceInterface $placeFour, TransitionInterface $transitionOne, TransitionInterface $transitionTwo, InputArcInterface $arcOne, OutputArcInterface $arcTwo, InputArcInterface $arcThree, OutputArcInterface $arcFour, OutputArcInterface $arcFive, InputArcInterface $arcSix, MarkingInterface $marking, PlaceMarkingInterface $placeOneMarking, PlaceMarkingInterface $placeThreeMarking, TokenInterface $token)
{
// Petrinet
$petrinet->getPlaces()->willReturn(array($placeOne, $placeTwo, $placeThree, $placeFour));
$petrinet->getTransitions()->willReturn(array($transitionOne, $transitionTwo));
$petrinet->getId()->willReturn(1);
$placeOne->getInputArcs()->willReturn(array());
$placeOne->getOutputArcs()->willReturn(array($arcOne));
$placeOne->getId()->willReturn(1);
$arcOne->getPlace()->willReturn($placeOne);
$arcOne->getTransition()->willReturn($transitionOne);
$arcOne->getId()->willReturn(1);
$arcOne->getWeight()->willReturn(1);
$transitionOne->getInputArcs()->willReturn(array($arcOne));
$transitionOne->getOutputArcs()->willReturn(array($arcTwo, $arcFive));
$transitionOne->getId()->willReturn(1);
$arcTwo->getTransition()->willReturn($transitionOne);
$arcTwo->getPlace()->willReturn($placeTwo);
$arcTwo->getId()->willReturn(2);
$arcTwo->getWeight()->willReturn(1);
$placeTwo->getInputArcs()->willReturn(array($arcTwo));
$placeTwo->getOutputArcs()->willReturn(array($arcThree));
$placeTwo->getId()->willReturn(2);
$arcThree->getPlace()->willReturn($placeTwo);
$arcThree->getTransition()->willReturn($transitionTwo);
$arcThree->getId()->willReturn(3);
$arcThree->getWeight()->willReturn(2);
$transitionTwo->getInputArcs()->willReturn(array($arcThree));
$transitionTwo->getOutputArcs()->willReturn(array($arcFour));
$transitionTwo->getId()->willReturn(2);
$arcFour->getTransition()->willReturn($transitionTwo);
$arcFour->getPlace()->willReturn($placeThree);
$arcFour->getId()->willReturn(4);
$arcFour->getWeight()->willReturn(1);
$placeThree->getInputArcs()->willReturn(array($arcFour));
$placeThree->getOutputArcs()->willReturn(array());
$placeThree->getId()->willReturn(3);
$arcFive->getTransition()->willReturn($transitionOne);
$arcFive->getPlace()->willReturn($placeFour);
$arcFive->getId()->willReturn(5);
$arcFive->getWeight()->willReturn(1);
$placeFour->getInputArcs()->willReturn(array($arcFive));
$placeFour->getOutputArcs()->willReturn(array($arcSix));
$placeFour->getId()->willReturn(4);
$arcSix->getPlace()->willReturn($placeFour);
$arcSix->getTransition()->willReturn($transitionTwo);
$arcSix->getId()->willReturn(6);
$arcSix->getWeight()->willReturn(1);
// Marking
$placeOneMarking->getTokens()->willReturn(array($token));
$placeThreeMarking->getTokens()->willReturn(array($token, $token));
$marking->getPlaceMarking($placeOne)->willReturn($placeOneMarking);
$marking->getPlaceMarking($placeTwo)->willReturn(null);
$marking->getPlaceMarking($placeThree)->willReturn($placeThreeMarking);
$marking->getPlaceMarking($placeFour)->willReturn(null);
$this->dump($petrinet, $marking)->shouldReturn($this->getSecondExpectedDotContent());
}