/**
* 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);
}
