/** * Gets the created Petrinet. * * @return \Petrinet\Model\PetrinetInterface */ public function getPetrinet() { $petrinet = $this->factory->createPetrinet(); $petrinet->setPlaces($this->places); $petrinet->setTransitions($this->transitions); return $petrinet; }
function it_builds_a_petrinet(FactoryInterface $factory, PetrinetInterface $petrinet, PlaceInterface $placeOne, PlaceInterface $placeTwo, TransitionInterface $transitionOne, TransitionInterface $transitionTwo) { $factory->createPetrinet()->willReturn($petrinet); $factory->createPlace()->willReturn($placeOne, $placeTwo); $factory->createTransition()->willReturn($transitionOne, $transitionTwo); $petrinet->setTransitions(array($transitionOne, $transitionTwo))->shouldBeCalled(); $petrinet->setPlaces(array($placeOne, $placeTwo))->shouldBeCalled(); $this->beConstructedWith($factory); $this->place(); $this->place(); $this->transition(); $this->transition(); $this->getPetrinet()->shouldReturn($petrinet); }