formatm.nc

无线通信的主要编程软件,是无线通信工作人员的必备工具,关天相关教程我会在后续传上.

// $Id: FormatM.nc,v 1.1 2005/07/22 17:43:48 jwhui Exp $

/*									tab:2
 * "Copyright (c) 2000-2005 The Regents of the University  of California.  
 * All rights reserved.
 *
 * Permission to use, copy, modify, and distribute this software and its
 * documentation for any purpose, without fee, and without written agreement is
 * hereby granted, provided that the above copyright notice, the following
 * two paragraphs and the author appear in all copies of this software.
 * 
 * IN NO EVENT SHALL THE UNIVERSITY OF CALIFORNIA BE LIABLE TO ANY PARTY FOR
 * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES ARISING OUT
 * OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE UNIVERSITY OF
 * CALIFORNIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 * 
 * THE UNIVERSITY OF CALIFORNIA SPECIFICALLY DISCLAIMS ANY WARRANTIES,
 * INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY
 * AND FITNESS FOR A PARTICULAR PURPOSE.  THE SOFTWARE PROVIDED HEREUNDER IS
 * ON AN "AS IS" BASIS, AND THE UNIVERSITY OF CALIFORNIA HAS NO OBLIGATION TO
 * PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS."
 */

/**
 * @author: Jonathan Hui <[e-mail]>
 */

module FormatM {
  provides {
    interface StdControl;
  }
  uses {
    interface FlashWP;
    interface FormatStorage;
    interface Leds;
  }
}

implementation {

  enum {
    VOLUME_SIZE = 65536,
  };

  command result_t StdControl.init() {
    call Leds.init();
    return SUCCESS;
  }

  command result_t StdControl.start() {

    if ( call FlashWP.clrWP() == FAIL )
      call Leds.set(1);
    
    return SUCCESS;

  }

  command result_t StdControl.stop() {
    return SUCCESS;
  }

  event void FlashWP.clrWPDone() {

    result_t result;
    int i;

    call Leds.set(4);

    result = call FormatStorage.init();

    result = rcombine(call FormatStorage.allocateFixed(0xDF, TOSBOOT_GOLDEN_IMG_ADDR, 
						       VOLUME_SIZE), result);
    for ( i = 0xd0; i < 0xd8; i++ )
      result = rcombine(call FormatStorage.allocate(i, VOLUME_SIZE), result);
    result = rcombine(call FormatStorage.commit(), result);
    
    if (result != SUCCESS)
      call Leds.set(1);
    
  }

  event void FormatStorage.commitDone(storage_result_t result) {
    if (result != STORAGE_OK || call FlashWP.setWP() == FAIL )
      call Leds.set(1);
  }

  event void FlashWP.setWPDone() {
    call Leds.set(2);
  }



}