A State-Based Programming Model for Wireless Sensor Networks

168 Appendix A. OSM Code Generation
371 E[82] = _false;
372 E[83] = E[35];
373 E[28] = E[28]&&!((
374 __STATE_PROG_A1));
375 E[84] = __STATE_PROG_R[5]&&!(__STATE_PROG_R[0]);
376 E[85] = __STATE_PROG_R[6]&&!(__STATE_PROG_R[0]);
377 E[84] = (!(E[31])&&E[85])||(!(E[31])&&E[84]&&__STATE_PROG_R[5])||
378 (E[31]&&E[84]&&__STATE_PROG_R[5]);
379 E[85] = E[31]&&E[85]&&__STATE_PROG_R[6];
380 E[86] = __STATE_PROG_R[6]||__STATE_PROG_R[5];
381 E[87] = E[86]||__STATE_PROG_R[7];
382 E[86] = (E[87]&&!(E[86]))||E[85]||E[84];
383 E[88] = (E[87]&&!(__STATE_PROG_R[7]))||E[28];
384 E[30] = E[31]&&(E[88]||E[29]||E[30])&&E[86];
385 E[89] = __STATE_PROG_R[2]&&!(__STATE_PROG_R[0]);
386 E[90] = __STATE_PROG_R[3]&&!(__STATE_PROG_R[0]);
387 E[89] = (!(E[35])&&E[90])||(!(E[35])&&E[89]&&__STATE_PROG_R[2])||
388 (E[35]&&E[89]&&__STATE_PROG_R[2]);
389 E[90] = E[35]&&E[90]&&__STATE_PROG_R[3];
390 E[91] = __STATE_PROG_R[3]||__STATE_PROG_R[2];
391 E[92] = E[91]||__STATE_PROG_R[4];
392 E[91] = (E[92]&&!(E[91]))||E[90]||E[89];
393 E[2] = E[2]&&!((
394 __STATE_PROG_A1));
395 E[93] = (E[92]&&!(__STATE_PROG_R[4]))||E[2];
396 E[35] = E[35]&&(E[93]||E[3]||E[34])&&E[91];
397 E[94] = E[30]||E[35];
398 E[95] = E[94]||__STATE_PROG_R[0];
399 E[96] = !(E[4])&&E[95];
400 E[97] = E[96]&&E[34];
401 E[98] = E[97];
402 E[95] = E[4]&&E[95];
403 E[4] = E[95]&&__STATE_PROG_R[0];
404 if (E[4]) {
405 __STATE_PROG_A5;
406 }
407 E[99] = (E[95]&&!(__STATE_PROG_R[0]))||E[4];
408 E[100] = E[99];
409 E[94] = E[94];
410 E[96] = E[96]&&!(E[34]);
411 E[101] = !(E[31])&&E[96];
412 E[102] = __STATE_PROG_R[1]&&!(__STATE_PROG_R[0]);
327 E[67] = E[52]&&E[25];
328 E[52] = E[52]&&!(E[25]);
329 E[19] = (E[20]&&__STATE_PROG_R[12])||(E[19]&&__STATE_PROG_R[12]);
330 E[14] = ((E[24]||E[47]||E[48])&&E[17]&&E[16])||((E[21]||E[50]||E[51])&&
331 E[15]&&E[14])||E[19]||E[52]||E[67]||E[66];
332 E[57] = E[57]&&E[12]&&__STATE_PROG_R[10];
333 E[18] = __STATE_PROG_R[10]||E[18];
334 E[15] = E[18]||__STATE_PROG_R[11];
335 E[18] = (E[15]&&!(E[18]))||E[57]||E[14];
336 E[11] = !((
337 __STATE_PROG_A1))&&E[11];
338 E[16] = E[11]||(E[15]&&!(__STATE_PROG_R[11]));
339 E[17] = (E[16]||E[12])&&E[18]&&E[12];
340 E[20] = E[7]||E[17];
341 E[68] = E[20]||__STATE_PROG_R[0];
342 E[69] = !(E[9])&&E[68];
343 E[70] = E[69]&&E[12];
344 E[71] = E[70];
345 E[68] = E[9]&&E[68];
346 E[49] = E[17]||E[49]||E[49]||E[49];
347 E[9] = !(E[17])&&E[67];
348 E[72] = E[67];
349 E[67] = E[67];
350 E[73] = E[68]&&(
351 __STATE_PROG_A2);
352 if (E[73]) {
353 __STATE_PROG_A13;
354 }
355 E[46] = E[17]||E[46]||E[46]||E[46];
356 E[74] = !(E[17])&&E[66];
357 E[75] = E[68]&&!((
358 __STATE_PROG_A2));
359 E[75] = E[75]||E[73];
360 E[66] = E[75]||E[66];
361 E[58] = E[68]||E[58];
362 E[59] = E[68]||E[59];
363 E[76] = E[68];
364 E[20] = E[20];
365 E[69] = E[69]&&!(E[12]);
366 E[77] = __STATE_PROG_R[9]&&!(__STATE_PROG_R[0]);
413 E[96] = E[31]&&E[96];
414 E[31] = E[96]&&!((
367 E[78] = E[70];
368 E[79] = E[68];
369 E[80] = _false;
370 E[81] = E[31];