A State-Based Programming Model for Wireless Sensor Networks

178 Appendix B. Implementations of the EnviroTrack Group Management
276 if( RxBuffer->type == RECRUIT ) {
277 op17();
278 _GMStatus.status = MEMBER;
279 _generalTimer = wait_receive();
280 } else if( RxBuffer->type == CANDIDATE ) {
281 if( /* [...] */ ) {
282 op18();
283 _GMStatus.status = MEMBER;
284 _generalTimer = wait_receive();
285 }
286 }
287 break;
288 } // end case NEWCANDIDATE
289
290 case LEADERCANDIDATE: {
291 if( RxBuffer->type == RECRUIT ) {
292 if( /* [...] */ ) {
293 op19();
294 _GMStatus.status = MEMBER;
295 _generalTimer = wait_receive();
296 }
297 } else if( RxBuffer->type == CANDIDATE ) {
298 if( /* [...] */ ) {
299 op20();
300 _GMStatus.status = MEMBER;
301 _generalTimer = wait_receive();
302 }
303 }
304 break;
305 } // end case LEADERCANDIDATE
306
307 case LEADER: {
308 if( RxBuffer->type == RECRUIT ) {
309 if( /* [...] */ ) {
310 if( /* [...] */ ) {
311 op21();
312 _GMStatus.status = MEMBER;
313 _generalTimer = wait_receive();
314 } else {
315 GMSend( /* [...] */, RECRUIT );
316 op22();
317 _generalTimer = wait_recruit();
232 op11();
233 }
234
235 /* --------------------------------------------------------- *
236 * TASKS
237 * --------------------------------------------------------- */
238 task void ProcessRecuritMessage() {
239 GMPacket* RxBuffer;
240 op12();
241
242 switch( _GMStatus.status ) {
243
244 case FREE: {
245 if( (RxBuffer->type == RECRUIT) || (RxBuffer->type == RESIGN) ) {
246 op13();
247 _GMStatus.status = FOLLOWER;
248 _generalTimer = wait_threshold();
249 }
250 break;
251 } // end case FREE
252
253 case FOLLOWER: {
254 if( (RxBuffer->type == RECRUIT) || (RxBuffer->type == RESIGN) ) {
255 op14();
256 _generalTimer = wait_threshold();
257 }
258 break;
259 } // end case FOLLOWER
260
261 case MEMBER: {
262 if( RxBuffer->type == RECRUIT ) {
263 op15();
264 _generalTimer = wait_receive();
265 } else if( RxBuffer->type == RESIGN ) {
266 if( /* [...] */ ) {
267 op16();
268 _GMStatus.status = LEADERCANDIDATE;
269 _generalTimer = wait_random();
318 }
319 }
270 }
271 }
272 break;
273 } // end case MEMBER
274
275 case NEWCANDIDATE: {