mark a few more modules as safe code; this cannot affect unsafe compilation

diff --git a/apps/Blink/BlinkC.nc b/apps/Blink/BlinkC.nc
index 90c4b2640aece007b19e353fed139a98aece3dc3..ce17712872a343f9bd9d0cf8f04051179ff2b608 100644 (file)
--- a/apps/Blink/BlinkC.nc
+++ b/apps/Blink/BlinkC.nc
@@ -36,7 +36,7 @@
 
 #include "Timer.h"
 
-module BlinkC
+module BlinkC @safe()
 {
   uses interface Timer<TMilli> as Timer0;
   uses interface Timer<TMilli> as Timer1;

diff --git a/tos/chips/atm128/McuSleepC.nc b/tos/chips/atm128/McuSleepC.nc
index badcfed01b1ccf739cdde9d3ce25380b057d6c6d..9d03201efa5f55f565fef271ad5f1393450582cb 100644 (file)
--- a/tos/chips/atm128/McuSleepC.nc
+++ b/tos/chips/atm128/McuSleepC.nc
@@ -37,7 +37,7 @@
  * @date   October 26, 2005
  */
 
-module McuSleepC {
+module McuSleepC @safe() {
   provides {
     interface McuSleep;
     interface McuPowerState;

diff --git a/tos/chips/atm128/timer/Atm128AlarmAsyncP.nc b/tos/chips/atm128/timer/Atm128AlarmAsyncP.nc
index c5b80b41beb788ff30e52bdf8c22a6afdd7568e1..3eb2c20278a33861fdab83beab256b1e024891a6 100644 (file)
--- a/tos/chips/atm128/timer/Atm128AlarmAsyncP.nc
+++ b/tos/chips/atm128/timer/Atm128AlarmAsyncP.nc
@@ -20,7 +20,7 @@
  *
  * @author David Gay
  */
-generic module Atm128AlarmAsyncP(typedef precision, int divider) {
+generic module Atm128AlarmAsyncP(typedef precision, int divider) @safe() {
   provides {
     interface Init;
     interface Alarm<precision, uint32_t>;

diff --git a/tos/chips/atm128/timer/HplAtm128Timer0AsyncP.nc b/tos/chips/atm128/timer/HplAtm128Timer0AsyncP.nc
index eb2c0bfb4609102cc15e75bc6058525bba00e112..95854a42cdcec0c1e77a1f3ef6277615f7227fce 100644 (file)
--- a/tos/chips/atm128/timer/HplAtm128Timer0AsyncP.nc
+++ b/tos/chips/atm128/timer/HplAtm128Timer0AsyncP.nc
@@ -34,7 +34,7 @@
 
 #include <Atm128Timer.h>
 
-module HplAtm128Timer0AsyncP {
+module HplAtm128Timer0AsyncP @safe() {
   provides {
     // 8-bit Timers
     interface HplAtm128Timer<uint8_t>   as Timer;

diff --git a/tos/chips/msp430/McuSleepC.nc b/tos/chips/msp430/McuSleepC.nc
index 64c87a7e2ec226cb4133dcb704dac82257c08b35..369737c85e7533cebc1ca6c8ae44fd909b3e0724 100644 (file)
--- a/tos/chips/msp430/McuSleepC.nc
+++ b/tos/chips/msp430/McuSleepC.nc
@@ -38,7 +38,7 @@
  *
  */
 
-module McuSleepC {
+module McuSleepC @safe() {
   provides {
     interface McuSleep;
     interface McuPowerState;

diff --git a/tos/chips/msp430/timer/Msp430TimerCommonP.nc b/tos/chips/msp430/timer/Msp430TimerCommonP.nc
index 64c27704f1127abfc0fd29fdc966bbc365b4853c..b90c70165171171068f6b960e034cb34a07b5dc7 100644 (file)
--- a/tos/chips/msp430/timer/Msp430TimerCommonP.nc
+++ b/tos/chips/msp430/timer/Msp430TimerCommonP.nc
@@ -1,5 +1,5 @@
 
-module Msp430TimerCommonP
+module Msp430TimerCommonP @safe()
 {
   provides interface Msp430TimerEvent as VectorTimerA0;
   provides interface Msp430TimerEvent as VectorTimerA1;

diff --git a/tos/platforms/mica/MeasureClockC.nc b/tos/platforms/mica/MeasureClockC.nc
index 898d80185164097539addb1e8ca649bbf15652bd..fa82bbba34d5bd85fd24b4acce0ff7fcd0344d12 100644 (file)
--- a/tos/platforms/mica/MeasureClockC.nc
+++ b/tos/platforms/mica/MeasureClockC.nc
@@ -19,7 +19,7 @@
  * @author David Gay
  */
 
-module MeasureClockC {
+module MeasureClockC @safe() {
   provides {
     /**
      * This code MUST be called from PlatformP only, hence the exactlyonce.

diff --git a/tos/platforms/mica/PlatformP.nc b/tos/platforms/mica/PlatformP.nc
index 48d0fc06550ff6634a1abeb7797e98da3b422990..a7970189b506a47b294133b3e3193af8e472fe4c 100644 (file)
--- a/tos/platforms/mica/PlatformP.nc
+++ b/tos/platforms/mica/PlatformP.nc
@@ -30,7 +30,7 @@
 
 #include "hardware.h"
 
-module PlatformP
+module PlatformP @safe()
 {
   provides interface Init;
   uses interface Init as MoteInit;

diff --git a/tos/platforms/micaz/MotePlatformP.nc b/tos/platforms/micaz/MotePlatformP.nc
index a45787eae5ea34960af8ae5fb14018ae43835d6e..fec5f69256484c6f5d1defa7d86e9c16d82dfa24 100644 (file)
--- a/tos/platforms/micaz/MotePlatformP.nc
+++ b/tos/platforms/micaz/MotePlatformP.nc
@@ -15,7 +15,7 @@
  * 
  * @author David Gay
  */
-module MotePlatformP
+module MotePlatformP @safe()
 {
   provides interface Init as PlatformInit;
   uses interface GeneralIO as SerialIdPin;

diff --git a/tos/system/RealMainP.nc b/tos/system/RealMainP.nc
index 6f1306c266b2e69f21e20d0844430014438f53e5..37fb3f18565f8421370df55411c31df38bf7b297 100644 (file)
--- a/tos/system/RealMainP.nc
+++ b/tos/system/RealMainP.nc
@@ -42,7 +42,7 @@
  * @date   January 17 2005
  */
 
-module RealMainP {
+module RealMainP @safe() {
   provides interface Boot;
   uses interface Scheduler;
   uses interface Init as PlatformInit;