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;
}
