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()); }
/** * {@inheritdoc} */ public function dump(PetrinetInterface $petrinet, MarkingInterface $marking = null) { $petrinetId = null === $petrinet->getId() ? spl_object_hash($petrinet) : $petrinet->getId(); $graph = sprintf("digraph \"%s\" {\n", $petrinetId); // Process the places foreach ($petrinet->getPlaces() as $place) { $graph .= sprintf('"%s" [label="%s"]', $this->getPlaceId($place), $this->getPlaceLabel($place, $marking)); $graph .= "\n"; } // Process the transitions foreach ($petrinet->getTransitions() as $transition) { $graph .= sprintf('"%s" [label="%s" shape=box]', $this->getTransitionId($transition), $this->getTransitionLabel($transition)); $graph .= "\n"; } // Process the arcs foreach ($this->getArcs($petrinet) as $arc) { $graph .= sprintf('"%s" -> "%s" [label="%s"]', $this->getArcSourceId($arc), $this->getArcTargetId($arc), $arc->getWeight()); $graph .= "\n"; } $graph .= '}'; return $graph; }