A State-Based Programming Model for Wireless Sensor Networks

A.4. Control Flow Mapping–Stage Two (C) 165
107 /* MEMORY ALLOCATION */
108
109 static boolean __STATE_PROG_V0;
110 static boolean __STATE_PROG_V1;
111
112 /* INPUT FUNCTIONS */
113
114 void STATE_PROG_I_e () {
115 __STATE_PROG_V0 = _true;
116 }
117 void STATE_PROG_I_f () {
118 __STATE_PROG_V1 = _true;
119 }
120
121 /* PRESENT SIGNAL TESTS */
122
123 #define __STATE_PROG_A1 \
124 __STATE_PROG_V0
125 #define __STATE_PROG_A2 \
126 __STATE_PROG_V1
63 #endif
64 #ifndef _outB_DEFINED
65 #ifndef outB
66 extern void outB();
67 #endif
68 #endif
69 #ifndef _inC1_DEFINED
70 #ifndef inC1
71 extern void inC1();
72 #endif
73 #endif
74 #ifndef _inC2_DEFINED
75 #ifndef inC2
76 extern void inC2();
77 #endif
78 #endif
79 #ifndef _prE_DEFINED
80 #ifndef prE
81 extern void prE();
82 #endif
83 #endif
84 #ifndef _outD_DEFINED
85 #ifndef outD
86 extern void outD();
87 #endif
88 #endif
89 #ifndef _inE_PROG_PROG_2_D_a_PROG_PROG_2_D_E_b_DEFINED
90 #ifndef inE_PROG_PROG_2_D_a_PROG_PROG_2_D_E_b
91 extern void inE_PROG_PROG_2_D_a_PROG_PROG_2_D_E_b();
92 #endif
93 #endif
94 #ifndef _outE_DEFINED
95 #ifndef outE
96 extern void outE();
97 #endif
98 #endif
99 #ifndef _outF_PROG_PROG_2_D_F_a_PROG_PROG_2_D_F_c_DEFINED
100 #ifndef outF_PROG_PROG_2_D_F_a_PROG_PROG_2_D_F_c
101 extern void outF_PROG_PROG_2_D_F_a_PROG_PROG_2_D_F_c();
127
128 /* ASSIGNMENTS */
129
130 #define __STATE_PROG_A3 \
131 __STATE_PROG_V0 = _false
132 #define __STATE_PROG_A4 \
133 __STATE_PROG_V1 = _false
134
135 /* PROCEDURE CALLS */
136
137 #define __STATE_PROG_A5 \
138 inA()
139 #define __STATE_PROG_A6 \
140 outA()
141 #define __STATE_PROG_A7 \
142 outA()
143 #define __STATE_PROG_A8 \
144 outB()
145 #define __STATE_PROG_A9 \
146 inC1()
147 #define __STATE_PROG_A10 \
148 inC2()
149 #define __STATE_PROG_A11 \
150 prE()
102 #endif
103 #endif
104 #endif
105 #endif
106