-
Notifications
You must be signed in to change notification settings - Fork 202
Expand file tree
/
Copy pathcomposite.cpp
More file actions
73 lines (62 loc) · 1.81 KB
/
composite.cpp
File metadata and controls
73 lines (62 loc) · 1.81 KB
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
//
// Copyright (c) 2016-2020 Kris Jusiak (kris at jusiak dot net)
//
// 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)
//
#include <boost/sml.hpp>
#include <cassert>
#include <iostream>
namespace sml = boost::sml;
namespace {
struct e1 {};
struct e2 {};
struct e3 {};
struct e4 {};
struct e5 {};
struct sub {
auto operator()() const noexcept {
using namespace sml;
// clang-format off
return make_transition_table(
*"idle"_s + event<e3> / [] { std::cout << "in sub sm" << std::endl; } = "s1"_s
, "s1"_s + event<e4> / [] { std::cout << "finish sub sm" << std::endl; } = X
);
// clang-format on
}
};
struct composite {
auto operator()() const noexcept {
using namespace sml;
// clang-format off
return make_transition_table(
*"idle"_s + event<e1> = "s1"_s
, "s1"_s + event<e2> / [] { std::cout << "enter sub sm" << std::endl; } = state<sub>
, state<sub> + event<e5> / [] { std::cout << "exit sub sm" << std::endl; } = X
);
// clang-format on
}
};
} // namespace
int main() {
sml::sm<composite> sm;
using namespace sml;
assert(sm.is("idle"_s));
assert(sm.is<decltype(state<sub>)>("idle"_s));
sm.process_event(e1{});
assert(sm.is("s1"_s));
assert(sm.is<decltype(state<sub>)>("idle"_s));
sm.process_event(e2{}); // enter sub sm
assert(sm.is(state<sub>));
assert(sm.is<decltype(state<sub>)>("idle"_s));
sm.process_event(e3{}); // in sub sm
assert(sm.is(state<sub>));
assert(sm.is<decltype(state<sub>)>("s1"_s));
sm.process_event(e4{}); // finish sub sm
assert(sm.is(state<sub>));
assert(sm.is<decltype(state<sub>)>(X));
sm.process_event(e5{}); // exit sub sm
assert(sm.is(X));
assert(sm.is<decltype(state<sub>)>(X));
}