/**
* Dispatches event for the transition
*
* @param TransitionInterface $transition
* @param TransitionEvent $event
* @param type $transitionState
*/
private function dispatchTransitionEvent(TransitionInterface $transition, TransitionEvent $event, $transitionState)
{
$this->dispatcher->dispatch($transitionState, $event);
$this->dispatcher->dispatch($transitionState . '.' . $transition->getName(), $event);
if (null !== $this->getGraph()) {
$this->dispatcher->dispatch($transitionState . '.' . $this->getGraph() . '.' . $transition->getName(), $event);
}
}
/**
* Default attributes for an edge (transition)
*
* @param $trans
*
* @return array
*/
private function getEdgeDefaultAttributes(TransitionInterface $trans)
{
return ['label' => $trans->getName()];
}
