forked from pbosetti/gv_fsm
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathexample.c
223 lines (183 loc) · 6.35 KB
/
example.c
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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
/******************************************************************************
Finite State Machine
Project: sm.dot
Description: <none given>
Generated by gv_fsm ruby gem, see https://rubygems.org/gems/gv_fsm
gv_fsm version 0.2.1
Generation date: 2020-08-31 12:03:07 +0200
Generated from: sm.dot
The finite state machine has:
5 states
5 transition functions
Functions and types have been generated with prefix "fsm_"
******************************************************************************/
#include <syslog.h>
#include "example.h"
// SEARCH FOR Your Code Here FOR CODE INSERTION POINTS!
// ____ _ _
// / ___|| |_ __ _| |_ ___
// \___ \| __/ _` | __/ _ \
// ___) | || (_| | || __/
// |____/ \__\__,_|\__\___|
//
// __ _ _
// / _|_ _ _ __ ___| |_(_) ___ _ __ ___
// | |_| | | | '_ \ / __| __| |/ _ \| '_ \/ __|
// | _| |_| | | | | (__| |_| | (_) | | | \__ \
// |_| \__,_|_| |_|\___|\__|_|\___/|_| |_|___/
//
// Function to be executed in state init
// valid return states: FSM_STATE_IDLE
fsm_state_t fsm_do_init(fsm_state_data_t *data) {
fsm_state_t next_state = FSM_STATE_IDLE;
syslog(LOG_INFO, "[FSM] In state init");
/* Your Code Here */
switch (next_state) {
case FSM_STATE_IDLE:
break;
default:
syslog(LOG_WARNING, "[FSM] Cannot pass from init to %s, remaining in this state", state_names[next_state]);
next_state = FSM_NO_CHANGE;
}
return next_state;
}
// Function to be executed in state idle
// valid return states: FSM_NO_CHANGE, FSM_STATE_IDLE, FSM_STATE_SETUP
fsm_state_t fsm_do_idle(fsm_state_data_t *data) {
fsm_state_t next_state = FSM_NO_CHANGE;
syslog(LOG_INFO, "[FSM] In state idle");
/* Your Code Here */
switch (next_state) {
case FSM_NO_CHANGE:
case FSM_STATE_IDLE:
case FSM_STATE_SETUP:
break;
default:
syslog(LOG_WARNING, "[FSM] Cannot pass from idle to %s, remaining in this state", state_names[next_state]);
next_state = FSM_NO_CHANGE;
}
return next_state;
}
// Function to be executed in state setup
// valid return states: FSM_STATE_RUNNING
fsm_state_t fsm_do_setup(fsm_state_data_t *data) {
fsm_state_t next_state = FSM_STATE_RUNNING;
syslog(LOG_INFO, "[FSM] In state setup");
/* Your Code Here */
switch (next_state) {
case FSM_STATE_RUNNING:
break;
default:
syslog(LOG_WARNING, "[FSM] Cannot pass from setup to %s, remaining in this state", state_names[next_state]);
next_state = FSM_NO_CHANGE;
}
return next_state;
}
// Function to be executed in state running
// valid return states: FSM_NO_CHANGE, FSM_STATE_IDLE, FSM_STATE_RUNNING, FSM_STATE_STOP
fsm_state_t fsm_do_running(fsm_state_data_t *data) {
fsm_state_t next_state = FSM_NO_CHANGE;
syslog(LOG_INFO, "[FSM] In state running");
/* Your Code Here */
switch (next_state) {
case FSM_NO_CHANGE:
case FSM_STATE_IDLE:
case FSM_STATE_RUNNING:
case FSM_STATE_STOP:
break;
default:
syslog(LOG_WARNING, "[FSM] Cannot pass from running to %s, remaining in this state", state_names[next_state]);
next_state = FSM_NO_CHANGE;
}
return next_state;
}
// Function to be executed in state stop
// valid return states: FSM_NO_CHANGE
fsm_state_t fsm_do_stop(fsm_state_data_t *data) {
fsm_state_t next_state = FSM_NO_CHANGE;
syslog(LOG_INFO, "[FSM] In state stop");
/* Your Code Here */
switch (next_state) {
case FSM_NO_CHANGE:
break;
default:
syslog(LOG_WARNING, "[FSM] Cannot pass from stop to %s, remaining in this state", state_names[next_state]);
next_state = FSM_NO_CHANGE;
}
return next_state;
}
// _____ _ _ _
// |_ _| __ __ _ _ __ ___(_) |_(_) ___ _ __
// | || '__/ _` | '_ \/ __| | __| |/ _ \| '_ \
// | || | | (_| | | | \__ \ | |_| | (_) | | | |
// |_||_| \__,_|_| |_|___/_|\__|_|\___/|_| |_|
//
// __ _ _
// / _|_ _ _ __ ___| |_(_) ___ _ __ ___
// | |_| | | | '_ \ / __| __| |/ _ \| '_ \/ __|
// | _| |_| | | | | (__| |_| | (_) | | | \__ \
// |_| \__,_|_| |_|\___|\__|_|\___/|_| |_|___/
//
// This function is called in 1 transition:
// 1. from init to idle
void fsm_init_to_idle(fsm_state_data_t *data) {
syslog(LOG_INFO, "[FSM] State transition fsm_init_to_idle");
/* Your Code Here */
}
// This function is called in 2 transitions:
// 1. from idle to idle
// 2. from running to running
void fsm_stay(fsm_state_data_t *data) {
syslog(LOG_INFO, "[FSM] State transition fsm_stay");
/* Your Code Here */
}
// This function is called in 1 transition:
// 1. from idle to setup
void fsm_to_setup(fsm_state_data_t *data) {
syslog(LOG_INFO, "[FSM] State transition fsm_to_setup");
/* Your Code Here */
}
// This function is called in 1 transition:
// 1. from setup to running
void fsm_setup_to_running(fsm_state_data_t *data) {
syslog(LOG_INFO, "[FSM] State transition fsm_setup_to_running");
/* Your Code Here */
}
// This function is called in 1 transition:
// 1. from running to idle
void fsm_to_idle(fsm_state_data_t *data) {
syslog(LOG_INFO, "[FSM] State transition fsm_to_idle");
/* Your Code Here */
}
// ____ _ _
// / ___|| |_ __ _| |_ ___
// \___ \| __/ _` | __/ _ \
// ___) | || (_| | || __/
// |____/ \__\__,_|\__\___|
//
//
// _ __ ___ __ _ _ __ __ _ __ _ ___ _ __
// | '_ ` _ \ / _` | '_ \ / _` |/ _` |/ _ \ '__|
// | | | | | | (_| | | | | (_| | (_| | __/ |
// |_| |_| |_|\__,_|_| |_|\__,_|\__, |\___|_|
// |___/
fsm_state_t fsm_run_state(fsm_state_t cur_state, fsm_state_data_t *data) {
fsm_state_t new_state = fsm_state_table[cur_state](data);
transition_func_t *transition = fsm_transition_table[cur_state][new_state];
if (transition)
transition(data);
return new_state == FSM_NO_CHANGE ? cur_state : new_state;
};
#ifdef TEST_MAIN
#include <unistd.h>
int main() {
fsm_state_t cur_state = FSM_STATE_INIT;
openlog("SM", LOG_PID | LOG_PERROR, LOG_USER);
syslog(LOG_INFO, "Starting SM");
do {
cur_state = fsm_run_state(cur_state, NULL);
sleep(1);
} while (cur_state != FSM_STATE_STOP);
return 0;
}
#endif