PHP carlosV2\FA\NFA State::isFinal Examples

Example #1

File: NFASpec.php Project: carlosv2/fa

 function it_can_be_converted_to_a_DFA(State $state, Symbol $symbol)
 {
     $state->getReachableStatesBySymbol(Argument::type(EpsilonSymbol::class))->willReturn([]);
     $state->getReachableSymbols()->willReturn([]);
     $state->isFinal()->willReturn(false);
     $this->addStartingState($state);
     $this->toDFA()->shouldBeAnInstanceOf(DFA::class);
 }

Example #2

File: ClosureSpec.php Project: carlosv2/fa

 function it_is_not_final_if_there_are_not_final_states(State $state1, State $state2, State $state3, State $state4)
 {
     $state1->isFinal()->willReturn(false);
     $state2->isFinal()->willReturn(false);
     $state3->isFinal()->willReturn(false);
     $state4->isFinal()->willReturn(false);
     $this->shouldNotBeFinal();
 }