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); }
/** * Creates a place. * * @return \Petrinet\Model\PlaceInterface */ public function place() { $place = $this->factory->createPlace(); $this->places[] = $place; return $place; }