Hi Bai,

I just found this:
http://docs.tinyos.net/index.php/Safe_TinyOS

Looks interesting. I guess I will read it, too.

Cheers,
Urs

BAI LI wrote:
> Hi All,
> 
> I found the code as follows in CounterToLocalTimeC file,
> 
> generic module CounterToLocalTimeC(typedef precision_tag) @safe()
> {
>   provides interface LocalTime<precision_tag>;
>   uses interface Counter<precision_tag,uint32_t>;
> }
> implementation
> {
>   async command uint32_t LocalTime.get()
>   {
>     return call Counter.get();
>   }
>   async event void Counter.overflow()
>   {
>   }
> }
> 
> But I don't understand what the meaning of "@safe"? Sum1 can explain it to
> me? Any help would be appreciated.
> 
> Regards,
> Bai
_______________________________________________
Tinyos-help mailing list
Tinyos-help@millennium.berkeley.edu
https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help

Reply via email to