Lines Matching full:machine
132 // This test state machine is a beefed-up version of the one presented in
156 // Since state destructors access the state machine object, we need to in ~TransitionTest()
408 void TestTransitions( M & machine ) in TestTransitions() argument
410 machine.initiate(); in TestTransitions()
421 machine.CompareToExpectedActionSequence( init ); in TestTransitions()
423 machine.process_event( A() ); in TestTransitions()
436 machine.CompareToExpectedActionSequence( a1 ); in TestTransitions()
438 machine.process_event( B() ); in TestTransitions()
451 machine.CompareToExpectedActionSequence( b1 ); in TestTransitions()
453 machine.process_event( C() ); in TestTransitions()
469 machine.CompareToExpectedActionSequence( c1 ); in TestTransitions()
471 machine.process_event( D() ); in TestTransitions()
484 machine.CompareToExpectedActionSequence( d2 ); in TestTransitions()
486 machine.process_event( E() ); in TestTransitions()
510 machine.CompareToExpectedActionSequence( e2 ); in TestTransitions()
512 machine.process_event( F() ); in TestTransitions()
528 machine.CompareToExpectedActionSequence( f2 ); in TestTransitions()
530 machine.process_event( G() ); in TestTransitions()
546 machine.CompareToExpectedActionSequence( g1 ); in TestTransitions()
548 machine.process_event( H() ); in TestTransitions()
561 machine.CompareToExpectedActionSequence( h2 ); in TestTransitions()
563 BOOST_REQUIRE( machine.GetUnconsumedEventCount() == 0 ); in TestTransitions()
564 machine.process_event( A() ); in TestTransitions()
565 BOOST_REQUIRE( machine.GetUnconsumedEventCount() == 1 ); in TestTransitions()
569 machine.CompareToExpectedActionSequence( a2 ); in TestTransitions()
571 machine.process_event( B() ); in TestTransitions()
584 machine.CompareToExpectedActionSequence( b2 ); in TestTransitions()
586 machine.process_event( C() ); in TestTransitions()
602 machine.CompareToExpectedActionSequence( c2 ); in TestTransitions()
604 machine.process_event( D() ); in TestTransitions()
622 machine.CompareToExpectedActionSequence( d1 ); in TestTransitions()
624 machine.process_event( F() ); in TestTransitions()
640 machine.CompareToExpectedActionSequence( f1 ); in TestTransitions()
642 machine.process_event( G() ); in TestTransitions()
663 machine.CompareToExpectedActionSequence( g2 ); in TestTransitions()
665 machine.process_event( H() ); in TestTransitions()
670 machine.CompareToExpectedActionSequence( h1 ); in TestTransitions()
672 machine.process_event( E() ); in TestTransitions()
693 machine.CompareToExpectedActionSequence( e1 ); in TestTransitions()
695 machine.terminate(); in TestTransitions()
709 machine.CompareToExpectedActionSequence( term ); in TestTransitions()
711 machine.ThrowAction( &Entry< Default0< S1< M > > > ); in TestTransitions()
712 BOOST_REQUIRE_THROW( machine.initiate(), TransitionTestException ); in TestTransitions()
721 machine.CompareToExpectedActionSequence( initThrow1 ); in TestTransitions()
722 BOOST_REQUIRE( machine.terminated() ); in TestTransitions()
724 machine.ThrowAction( &Entry< S11< M > > ); in TestTransitions()
725 BOOST_REQUIRE_THROW( machine.initiate(), TransitionTestException ); in TestTransitions()
736 machine.CompareToExpectedActionSequence( initThrow2 ); in TestTransitions()
737 BOOST_REQUIRE( machine.terminated() ); in TestTransitions()
739 machine.ThrowAction( &Trans< S0< M >, A > ); in TestTransitions()
740 machine.initiate(); in TestTransitions()
741 BOOST_REQUIRE_THROW( machine.process_event( A() ), TransitionTestException ); in TestTransitions()
760 machine.CompareToExpectedActionSequence( a1Throw1 ); in TestTransitions()
761 BOOST_REQUIRE( machine.terminated() ); in TestTransitions()
763 machine.ThrowAction( &Entry< S211< M > > ); in TestTransitions()
764 machine.initiate(); in TestTransitions()
765 BOOST_REQUIRE_THROW( machine.process_event( C() ), TransitionTestException ); in TestTransitions()
795 machine.CompareToExpectedActionSequence( c1Throw1 ); in TestTransitions()
796 BOOST_REQUIRE( machine.terminated() ); in TestTransitions()
798 machine.ThrowAction( &ExitFn< S11< M > > ); in TestTransitions()
799 machine.initiate(); in TestTransitions()
800 BOOST_REQUIRE_THROW( machine.process_event( C() ), TransitionTestException ); in TestTransitions()
819 machine.CompareToExpectedActionSequence( c1Throw2 ); in TestTransitions()
820 BOOST_REQUIRE( machine.terminated() ); in TestTransitions()
821 BOOST_REQUIRE( machine.GetUnconsumedEventCount() == 1 ); in TestTransitions()
829 TransitionTest< sc::exception_translator<> > machine; in test_main() local
830 TestTransitions( machine ); in test_main()