A State-Based Programming Model for Wireless Sensor Networks

166 Appendix A. OSM Code Generation
195 E[2] = __STATE_PROG_R[4]&&!(__STATE_PROG_R[0]);
196 E[3] = E[2]&&(
197 __STATE_PROG_A2);
198 E[4] = E[3]||__STATE_PROG_R[0];
199 E[5] = E[4];
200 E[6] = __STATE_PROG_R[21]&&!(__STATE_PROG_R[0]);
201 E[7] = E[6]&&(
202 __STATE_PROG_A1);
203 E[8] = E[7];
204 E[9] = E[7]||__STATE_PROG_R[0];
205 E[10] = E[9];
206 E[11] = __STATE_PROG_R[11]&&!(__STATE_PROG_R[0]);
207 E[12] = (
208 __STATE_PROG_A1)&&E[11];
209 if (E[12]) {
210 __STATE_PROG_A11;
211 }
212 if (E[12]) {
213 __STATE_PROG_A12;
214 }
215 E[13] = E[12];
216 E[14] = __STATE_PROG_R[17]||__STATE_PROG_R[16];
217 E[15] = __STATE_PROG_R[18]||E[14];
218 E[16] = __STATE_PROG_R[14]||__STATE_PROG_R[13];
219 E[17] = __STATE_PROG_R[15]||E[16];
220 E[18] = __STATE_PROG_R[12]||E[15]||E[17];
221 E[19] = E[18]&&!(__STATE_PROG_R[0]);
222 E[20] = E[19]&&!(E[12]);
223 E[21] = E[20]&&__STATE_PROG_R[18];
224 E[22] = E[21]&&(
225 __STATE_PROG_A2);
226 if (E[22]) {
227 __STATE_PROG_A15;
228 }
229 E[23] = E[22];
230 E[24] = E[20]&&__STATE_PROG_R[15];
231 E[25] = (
232 __STATE_PROG_A2)&&E[24];
233 if (E[25]) {
234 __STATE_PROG_A14;
235 }
236 E[26] = E[25];
237 E[27] = E[12];
238 E[28] = __STATE_PROG_R[7]&&!(__STATE_PROG_R[0]);
151 #define __STATE_PROG_A12 \
152 outD()
153 #define __STATE_PROG_A13 \
154 inE_PROG_PROG_2_D_a_PROG_PROG_2_D_E_b()
155 #define __STATE_PROG_A14 \
156 outE()
157 #define __STATE_PROG_A15 \
158 outF_PROG_PROG_2_D_F_a_PROG_PROG_2_D_F_c()
159
160 /* FUNCTIONS RETURNING NUMBER OF EXEC */
161
162 int STATE_PROG_number_of_execs () {
163 return (0);
164 }
165
166 /* AUTOMATON (STATE ACTION-TREES) */
167
168 static void __STATE_PROG__reset_input () {
169 __STATE_PROG_V0 = _false;
170 __STATE_PROG_V1 = _false;
171 }
172
173 /* REDEFINABLE BIT TYPE */
174
175 #ifndef __SSC_BIT_TYPE_DEFINED
176 typedef char __SSC_BIT_TYPE;
177 #endif
178
179 /* REGISTER VARIABLES */
180
181 static __SSC_BIT_TYPE __STATE_PROG_R[22] = {_true,
182 _false, _false, _false, _false, _false, _false, _false,
183 _false, _false, _false, _false, _false, _false, _false,
184 _false, _false, _false, _false, _false, _false, _false };
185
186 /* AUTOMATON ENGINE */
187
188 int STATE_PROG () {
189 /* AUXILIARY VARIABLES */
190
191 static __SSC_BIT_TYPE E[106];
192 E[0] = (
193 __STATE_PROG_A2);
194 E[1] = __STATE_PROG_R[0];