A State-Based Programming Model for Wireless Sensor Networks

170 Appendix A. OSM Code Generation
343 if (bitE.E22) {
344 __STATE_PROG_A15;
345 }
346 bitE.E23 = bitE.E22;
347 bitE.E24 = bitE.E20&&__STATE_PROG_bitR.R15;
348 bitE.E25 = (__STATE_PROG_A2)&&bitE.E24;
349 if (bitE.E25) {
350 __STATE_PROG_A14;
351 }
352 bitE.E26 = bitE.E25;
353 bitE.E27 = bitE.E12;
354 bitE.E28 = __STATE_PROG_bitR.R7&&!(__STATE_PROG_bitR.R0);
355 bitE.E29 = bitE.E28&&(__STATE_PROG_A2);
356 if (bitE.E29) {
357 __STATE_PROG_A8;
358 }
359 bitE.E28 = bitE.E28&&!((__STATE_PROG_A2));
360 bitE.E30 = bitE.E28&&(__STATE_PROG_A1);
361 bitE.E31 = bitE.E29||bitE.E30;
362 bitE.E32 = bitE.E31;
363 bitE.E33 = bitE.E31;
364 if (bitE.E3) {
365 __STATE_PROG_A6;
366 }
367 bitE.E2 = bitE.E2&&!((__STATE_PROG_A2));
368 bitE.E34 = bitE.E2&&(__STATE_PROG_A1);
369 if (bitE.E34) {
370 __STATE_PROG_A7;
371 }
372 bitE.E35 = bitE.E3||bitE.E34;
373 bitE.E36 = bitE.E35;
374 bitE.E37 = bitE.E34;
375 bitE.E38 = (__STATE_PROG_A1);
376 bitE.E39 = _false;
377 bitE.E40 = _false;
378 bitE.E41 = bitE.E7;
379 bitE.E42 = _false;
380 bitE.E43 = bitE.E22;
381 bitE.E44 = _false;
382 bitE.E45 = bitE.E25;
383 bitE.E46 = bitE.E20&&__STATE_PROG_bitR.R14;
384 bitE.E19 = bitE.E19&&bitE.E12;
385 bitE.E47 = (bitE.E19&&__STATE_PROG_bitR.R14)||(bitE.E46&&bitE.E25&&
386 __STATE_PROG_bitR.R14);
200 /* AUTOMATON ENGINE */
201
202 int STATE_PROG() {
203 /* AUXILIARY VARIABLES */
204
205 static struct {
206 unsigned int E0:1;
207 unsigned int E1:1;
208 unsigned int E2:1;
[...]
310 unsigned int E104:1;
311 unsigned int E105:1;
312 } bitE;
313
314 bitE.E0 = (__STATE_PROG_A2);
315 bitE.E1 = __STATE_PROG_bitR.R0;
316 bitE.E2 = __STATE_PROG_bitR.R4&&!(__STATE_PROG_bitR.R0);
317 bitE.E3 = bitE.E2&&(__STATE_PROG_A2);
318 bitE.E4 = bitE.E3||__STATE_PROG_bitR.R0;
319 bitE.E5 = bitE.E4;
320 bitE.E6 = __STATE_PROG_bitR.R21&&!(__STATE_PROG_bitR.R0);
321 bitE.E7 = bitE.E6&&(__STATE_PROG_A1);
322 bitE.E8 = bitE.E7;
323 bitE.E9 = bitE.E7||__STATE_PROG_bitR.R0;
324 bitE.E10 = bitE.E9;
325 bitE.E11 = __STATE_PROG_bitR.R11&&!(__STATE_PROG_bitR.R0);
326 bitE.E12 = (__STATE_PROG_A1)&&bitE.E11;
327 if (bitE.E12) {
328 __STATE_PROG_A11;
329 }
330 if (bitE.E12) {
331 __STATE_PROG_A12;
332 }
333 bitE.E13 = bitE.E12;
334 bitE.E14 = __STATE_PROG_bitR.R17||__STATE_PROG_bitR.R16;
335 bitE.E15 = __STATE_PROG_bitR.R18||bitE.E14;
336 bitE.E16 = __STATE_PROG_bitR.R14||__STATE_PROG_bitR.R13;
337 bitE.E17 = __STATE_PROG_bitR.R15||bitE.E16;
338 bitE.E18 = __STATE_PROG_bitR.R12||bitE.E15||bitE.E17;
339 bitE.E19 = bitE.E18&&!(__STATE_PROG_bitR.R0);
340 bitE.E20 = bitE.E19&&!(bitE.E12);
341 bitE.E21 = bitE.E20&&__STATE_PROG_bitR.R18;
342 bitE.E22 = bitE.E21&&(__STATE_PROG_A2);