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 transition.
*
* @return \Petrinet\Model\TransitionInterface
*/
public function transition()
{
$transition = $this->factory->createTransition();
$this->transitions[] = $transition;
return $transition;
}
