Nirvana Scheduling : Counter Trigger Example

scheduler myCounter{
/*
 Define some new counters
*/

 declare Counter counter1 ("myCounter");
 declare Counter counter2 ("myAdditional");



/*
 When the counter reaches 5 reset it to 0;
*/
 when(counter2> 5 ){
 counter2.reset();
 }

/*
 If counter1 is less then 3 then increment the value
*/
 when(counter1 <3){
 counter1.inc();
 counter2.dec();
 }

/*
 if Counter2 equals 0 then set counter1 to 5
*/
 when(counter2 == 0 ){
 counter1.set(5);
 }


}