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
|
// Copyright Aleksey Gurtovoy 2002-2004
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
// See http://www.boost.org/libs/mpl for documentation.
// $Id$
// $Date$
// $Revision$
#include "state_machine.hpp"
#include <boost/mpl/list.hpp>
#include <iostream>
namespace mpl = boost::mpl;
class player
: public fsm::state_machine<player>
{
public:
player() {}
// events
struct play_event : event<play_event> {};
struct stop_event : event<stop_event> {};
struct pause_event : event<pause_event> {};
// MWCW 8.1 is too eager in inforcing access for non-type template parameters
// private:
typedef player self_t;
// state invariants
void stopped_state_invariant() const {}
void playing_state_invariant() const {}
void paused_state_invariant() const {}
// states (invariants are passed as non-type template arguments)
typedef state<0, &self_t::stopped_state_invariant> stopped;
typedef state<1, &self_t::playing_state_invariant> playing;
typedef state<2, &self_t::paused_state_invariant> paused;
// private:
// transition functions
bool do_play(play_event const&) { std::cout << "player::do_play\n"; return true; }
bool do_stop(stop_event const&) { std::cout << "player::do_stop\n"; return true; }
bool do_pause(pause_event const&) { std::cout << "player::do_pause\n"; return true; }
bool do_resume(play_event const&) { std::cout << "player::do_resume\n"; return true; }
// transitions, in the following format:
// | current state | event | next state | transition function |
friend class fsm::state_machine<player>;
typedef mpl::list<
transition<stopped, play_event, playing, &player::do_play>
, transition<playing, stop_event, stopped, &player::do_stop>
, transition<playing, pause_event, paused, &player::do_pause>
, transition<paused, play_event, playing, &player::do_resume>
, transition<paused, stop_event, stopped, &player::do_stop>
>::type transition_table;
typedef stopped initial_state;
};
int main()
{
player p;
p.process_event(player::play_event());
p.process_event(player::pause_event());
p.process_event(player::play_event());
p.process_event(player::stop_event());
return 0;
}
|
