private function newAccessor()
{
$fsm = new Fsm('my_fsm');
$fsm->setStates(array(new State('s1', true, true), new State('s2'), new State('s3'), new State('s4', false, true), new State('s5', false, true)))->setTransitions(array(new Transition('t1', 's1', 's2'), new Transition('t2', 's1', 's3'), new Transition('t3', 's3', 's1'), new Transition('t4', 's2', 's4'), new Transition('t5', 's2', 's5')));
$validator = new FsmValidator();
$validator->addAssert(new Assert\NoDuplicateStatesAssert())->addAssert(new Assert\NoDuplicateTransitionNamesAssert())->addAssert(new Assert\NoTransitionWithUndefinedStatesAssert())->addAssert(new Assert\OneInitialStateAssert());
$validator->validate($fsm);
return new FsmAccessor($fsm, $validator, 'Document', 'myState');
}
public function testReturnValue()
{
$fsm = $this->getNewInvalidFsm();
$validator = new FsmValidator();
$validator->validate($fsm);
$fsm = $this->getNewValidFsm();
$validator = new FsmValidator();
$validator->validate($fsm);
// build up the validator adding asserts
$fsm = $this->getNewValidFsm();
$validator = new FsmValidator();
$validator->addAssert(new Assert\NoDuplicateStatesAssert());
$validator->validate($fsm);
}
