A State-Based Programming Model for Wireless Sensor Networks

B.1. NesC Implementation 179
320 } else if( (RxBuffer->type == RESIGN) ||
321 (RxBuffer->type == CANDIDATE) ) {
322 if( /* [...] */ ) {
323 GMSend( /* [...] */, RECRUIT );
324 op23();
325 _generalTimer = wait_recruit();
326 }
327 }
328 break;
329 } // end case LEADER
330
331 case RESIGNINGLEADER: {
332 if( (RxBuffer->type == RECRUIT) ||
333 (RxBuffer->type == CANDIDATE) ) {
334 if( /* [...] */ ) {
335 op24();
336 _GMStatus.status = FOLLOWER;
337 _generalTimer = wait_threshold();
338 }
339 }
340 break;
341 } // end case RESIGNINGLEADER
342
343 default: break;
344 } // end switch( _GMStatus.status )
345
346 // [...]
347
348 } // end task ProcessRecuritMessage()
349
350 } // end module implementation