[Tinyos-devel] Safe TinyOS: announcement and request for feedback

[Omprakash Gnawali]

>
> The first new syntax is a module-level nesC attribute that tells the
> compiler whether that module should be compiled in safe or unsafe mode:
>
> module CC2420ActiveMessageP @safe() { ...
>
> module CC2420ActiveMessageP @unsafe() { ...
>
> If this attribute is omitted, the default is unsafe, meaning that
> pointer/array accesses in this module's code are unchecked.  These
> annotations will apply only to modules, not configurations.


You probably discussed and dismissed safe_module vs just module...

- om_p