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