/* 
 * Copyright (c) 2007, Technische Universitaet Berlin
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * - Redistributions of source code must retain the above copyright notice,
 *   this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - Neither the name of the Technische Universitaet Berlin nor the names
 *   of its contributors may be used to endorse or promote products derived
 *   from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED
 * TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA,
 * OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
 * USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 *
 * - Revision -------------------------------------------------------------
 * $Revision: 1.1 $
 * $Date: 2007-06-25 15:43:37 $
 * @author: Jan Hauer <hauer@tkn.tu-berlin.de>
 * ========================================================================
 */

/**
 * Checks whether all clients signalled Notify.notify(TRUE) and
 * only then switches all three LEDs on. Displays on LEDs (binary)
 * the ID of the first unsuccessful client otherwise.
 *
 * Author: Jan Hauer
 **/
#include "evaluator.h"
module EvaluatorC
{
  uses {
    interface Leds;
    interface Notify<bool> as Notify[uint8_t client];
  }
}
implementation
{
  enum {
    NUM_CLIENTS = uniqueCount(EVALUATOR_CLIENT),
  };
  int numSuccess = 0;

  void display(uint8_t client)
  {
    if (client & 0x1)
      call Leds.led0On();
    else 
      call Leds.led0Off();
    if (client & 0x2) 
      call Leds.led1On();
    else
      call Leds.led1Off();
    if (client & 0x4)
      call Leds.led2On();
    else
      call Leds.led2Off();
  }


  event void Notify.notify[uint8_t client]( bool val )
  {
    if (val)
      numSuccess++;
    else {
      if (client != 7) // would look like a success
        display(client);
      numSuccess = -1000;
    }
    if (NUM_CLIENTS == numSuccess){
      call Leds.led0On();
      call Leds.led1On();
      call Leds.led2On();
    }
  }


       

}

