-
-
Notifications
You must be signed in to change notification settings - Fork 18
/
transition_prefix_dsl.cpp
87 lines (73 loc) · 1.98 KB
/
transition_prefix_dsl.cpp
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
85
86
87
#include "hsm/hsm.h"
#include <boost/hana.hpp>
#include <gtest/gtest.h>
#include <future>
#include <memory>
namespace {
// States
struct S1 {
};
struct S2 {
};
struct S3 {
};
// Events
struct e1 {
};
struct e2 {
};
struct e3 {
};
struct e4 {
};
// Guards
const auto guard = [](auto /*event*/, auto /*source*/, auto /*target*/) { return true; };
// Actions
const auto action = [](auto /*event*/, auto /*source*/, auto /*target*/) {};
using namespace ::testing;
using namespace boost::hana;
struct MainState {
static constexpr auto make_transition_table()
{
// clang-format off
return hsm::transition_table(
// Target <= Source + Event [Guard] / Action
hsm::state<S2> <= * hsm::state<S1> + hsm::event<e1>,
hsm::state<S3> <= hsm::state<S1> + hsm::event<e4>,
hsm::state<S2> <= hsm::state<S1> + hsm::event<e2> [guard],
hsm::state<S2> <= hsm::state<S1> + hsm::event<e3> [guard] / action,
hsm::state<S2> <= hsm::state<S1> + hsm::event<e3> / action,
hsm::state<S1> <= hsm::state<S3>
);
// clang-format on
}
};
}
class TransitionPrefixDslTests : public Test {
protected:
hsm::sm<MainState> sm;
};
TEST_F(TransitionPrefixDslTests, should_use_transition_dsl)
{
ASSERT_TRUE(sm.is(hsm::state<S1>));
sm.process_event(e1 {});
ASSERT_TRUE(sm.is(hsm::state<S2>));
}
TEST_F(TransitionPrefixDslTests, should_use_transition_dsl_with_anonymous_event)
{
ASSERT_TRUE(sm.is(hsm::state<S1>));
sm.process_event(e4 {});
ASSERT_TRUE(sm.is(hsm::state<S1>));
}
TEST_F(TransitionPrefixDslTests, should_use_transition_dsl_with_guard)
{
ASSERT_TRUE(sm.is(hsm::state<S1>));
sm.process_event(e2 {});
ASSERT_TRUE(sm.is(hsm::state<S2>));
}
TEST_F(TransitionPrefixDslTests, should_use_transition_dsl_with_guard_and_action)
{
ASSERT_TRUE(sm.is(hsm::state<S1>));
sm.process_event(e3 {});
ASSERT_TRUE(sm.is(hsm::state<S2>));
}