ceph/src/boost/libs/statechart/test/DeferralBug.cpp

   1 //////////////////////////////////////////////////////////////////////////////
   2 // Copyright 2010 Igor R (http://thread.gmane.org/gmane.comp.lib.boost.user/62985)
   3 // Copyright 2010 Andreas Huber Doenni
   4 // Distributed under the Boost Software License, Version 1.0. (See accompany-
   5 // ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   6 //////////////////////////////////////////////////////////////////////////////
   7
   8 #include <boost/statechart/event.hpp>
   9 #include <boost/statechart/state_machine.hpp>
  10 #include <boost/statechart/simple_state.hpp>
  11 #include <boost/statechart/transition.hpp>
  12 #include <boost/statechart/deferral.hpp>
  13
  14 #include <boost/mpl/list.hpp>
  15
  16 #include <boost/test/test_tools.hpp>
  17
  18
  19
  20 namespace sc = boost::statechart;
  21 namespace mpl = boost::mpl;
  22
  23
  24
  25 struct ev1to2 : sc::event< ev1to2 > {};
  26 struct ev2to3 : sc::event< ev2to3 > {};
  27 struct ev3to4_1 : sc::event< ev3to4_1 > {};
  28 struct ev3to4_2 : sc::event< ev3to4_2 > {};
  29
  30 struct s1;
  31 struct fsm : sc::state_machine< fsm, s1 > {};
  32
  33 struct s2;
  34 struct s1 : sc::simple_state< s1, fsm >
  35 {
  36   typedef mpl::list<
  37     sc::transition< ev1to2, s2 >,
  38     sc::deferral< ev2to3 >,
  39     sc::deferral< ev3to4_1 >,
  40     sc::deferral< ev3to4_2 >
  41   > reactions;
  42 };
  43
  44 struct s3;
  45 struct s2 : sc::simple_state< s2, fsm >
  46 {
  47   typedef mpl::list<
  48     sc::transition< ev2to3, s3 >,
  49     sc::deferral< ev3to4_1 >,
  50     sc::deferral< ev3to4_2 >
  51   > reactions;
  52 };
  53
  54 struct s4_1;
  55 struct s4_2;
  56 struct s3 : sc::simple_state< s3, fsm >
  57 {
  58   typedef mpl::list<
  59     sc::transition< ev3to4_1, s4_1 >,
  60     sc::transition< ev3to4_2, s4_2 >
  61   > reactions;
  62 };
  63
  64 struct s4_1 : sc::simple_state< s4_1, fsm > {};
  65 struct s4_2 : sc::simple_state< s4_2, fsm > {};
  66
  67 int test_main( int, char* [] )
  68 {
  69   fsm machine;
  70   machine.initiate();
  71   machine.process_event( ev3to4_1() );
  72   machine.process_event( ev2to3() );
  73   machine.process_event( ev3to4_2() );
  74   machine.process_event( ev1to2() );
  75   BOOST_REQUIRE( machine.state_cast< const s4_1 * >() != 0 );
  76   machine.initiate();
  77   machine.process_event( ev3to4_1() );
  78   machine.process_event( ev3to4_2() );
  79   machine.process_event( ev1to2() );
  80   machine.process_event( ev2to3() );
  81   BOOST_REQUIRE( machine.state_cast< const s4_1 * >() != 0 );
  82
  83   return 0;
  84 }