[Tinyos-help] @safe flag

[Urs Hunkeler]

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