Ejemplos de Michcald\Fsm\Validator\Assert NoDuplicateStatesAssert en PHP

Ejemplo n.º 1

Archivo: NoDuplicateStatesTest.php Proyecto: jinguanio/fsm-1

 public function testGoodAssert()
 {
     $fsm = new Fsm('fsm');
     $fsm->setStates(array(new State('s1'), new State('s2'), new State('s3')));
     $assert = new NoDuplicateStatesAssert();
     $assert->validate($fsm);
 }

Ejemplo n.º 2

Archivo: NfaAssert.php Proyecto: jinguanio/fsm-1

 public function validate(FsmInterface $fsm)
 {
     $v1 = new NoDuplicateStatesAssert();
     $v1->validate($fsm);
     $v2 = new NoDuplicateTransitionNamesAssert();
     $v2->validate($fsm);
     $v3 = new NoTransitionWithUndefinedStatesAssert();
     $v3->validate($fsm);
     $v4 = new AtLeastOneInitialStateAssert();
     $v4->validate($fsm);
 }