summaryrefslogtreecommitdiff
path: root/libs/statechart/test/DeferralBug.cpp
blob: c3ab8ef070a2aaaaf997c05a56cc3c383656001a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
//////////////////////////////////////////////////////////////////////////////
// Copyright 2010 Igor R (http://thread.gmane.org/gmane.comp.lib.boost.user/62985)
// Copyright 2010 Andreas Huber Doenni
// Distributed under the Boost Software License, Version 1.0. (See accompany-
// ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
//////////////////////////////////////////////////////////////////////////////

#include <boost/statechart/event.hpp>
#include <boost/statechart/state_machine.hpp>
#include <boost/statechart/simple_state.hpp>
#include <boost/statechart/transition.hpp>
#include <boost/statechart/deferral.hpp>

#include <boost/mpl/list.hpp>

#include <boost/test/test_tools.hpp>



namespace sc = boost::statechart;
namespace mpl = boost::mpl;



struct ev1to2 : sc::event< ev1to2 > {};
struct ev2to3 : sc::event< ev2to3 > {};
struct ev3to4_1 : sc::event< ev3to4_1 > {};
struct ev3to4_2 : sc::event< ev3to4_2 > {};

struct s1;
struct fsm : sc::state_machine< fsm, s1 > {};

struct s2;
struct s1 : sc::simple_state< s1, fsm >
{
  typedef mpl::list<
    sc::transition< ev1to2, s2 >,
    sc::deferral< ev2to3 >,
    sc::deferral< ev3to4_1 >,
    sc::deferral< ev3to4_2 >
  > reactions;
};

struct s3;
struct s2 : sc::simple_state< s2, fsm >
{
  typedef mpl::list<
    sc::transition< ev2to3, s3 >,
    sc::deferral< ev3to4_1 >,
    sc::deferral< ev3to4_2 >
  > reactions;
};

struct s4_1;
struct s4_2;
struct s3 : sc::simple_state< s3, fsm >
{
  typedef mpl::list<
    sc::transition< ev3to4_1, s4_1 >,
    sc::transition< ev3to4_2, s4_2 >
  > reactions;
};

struct s4_1 : sc::simple_state< s4_1, fsm > {};
struct s4_2 : sc::simple_state< s4_2, fsm > {};

int test_main( int, char* [] )
{
  fsm machine;
  machine.initiate();
  machine.process_event( ev3to4_1() );
  machine.process_event( ev2to3() );
  machine.process_event( ev3to4_2() );
  machine.process_event( ev1to2() );
  BOOST_REQUIRE( machine.state_cast< const s4_1 * >() != 0 );
  machine.initiate();
  machine.process_event( ev3to4_1() );
  machine.process_event( ev3to4_2() );
  machine.process_event( ev1to2() );
  machine.process_event( ev2to3() );
  BOOST_REQUIRE( machine.state_cast< const s4_1 * >() != 0 );

  return 0;
}