A State-Based Programming Model for Wireless Sensor Networks

164 Appendix A. OSM Code Generation
304 end every
305 end signal
306 end trap
307 end module % STATE_G
A.4 Control Flow Mapping–Stage Two (C)
A.4.1 Output of the Esterel Compiler
1 /* sscc : C CODE OF SORTED EQUATIONS STATE_PROG - INLINE MODE */
2
3 /* AUXILIARY DECLARATIONS */
4
5 #ifndef STRLEN
6 #define STRLEN 81
7 #endif
8 #define _COND(A,B,C) ((A)?(B):(C))
9 #ifdef TRACE_ACTION
10 #include
11 #endif
12 #ifndef NULL
13 #define NULL ((char*)0)
260 end module % STATE_E
261
262 module STATE_F:
263 input f;
264 output xi1;
265 procedure outF_PROG_PROG_2_D_F_a_PROG_PROG_2_D_F_c()();
266 % no onEntry actions
267 trap T in
268 signal alpha, iota, omega in
269 emit alpha;
270 suspend
271 % suspend
272 halt
273 % when
274 when immediate iota
275 ||
276 every tick do
277 present
278 case f do emit iota; emit xi1;
279 call outF_PROG_PROG_2_D_F_a_PROG_PROG_2_D_F_c()(); exit T
280 end present
281 end every
282 end signal
283 end trap
284 end module % STATE_F
285
286 module STATE_G:
287 input e;
288 output xi1;
289 % no function declarations
290 % no onEntry actions
291 trap T in
292 signal alpha, iota, omega in
14 #endif
[...]
48 #include "test.h"
49
50 /* EXTERN DECLARATIONS */
51
52 #ifndef _NO_EXTERN_DEFINITIONS
53 #ifndef _NO_PROCEDURE_DEFINITIONS
54 #ifndef _inA_DEFINED
55 #ifndef inA
56 extern void inA();
57 #endif
58 #endif
59 #ifndef _outA_DEFINED
60 #ifndef outA
61 extern void outA();
62 #endif
293 emit alpha;
294 suspend
295 % suspend
296 halt
297 % when
298 when immediate iota
299 ||
300 every tick do
301 present
302 case e do emit iota; emit xi1; exit T
303 end present