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

[Omprakash Gnawali]

On Dec 19, 2007 12:51 PM, Philip Levis <pal at cs.stanford.edu> wrote:
>
>
> On Dec 19, 2007, at 12:19 PM, John Regehr wrote:
>
> >>> module CC2420ActiveMessageP @safe() { ...
> >>>
> >>> module CC2420ActiveMessageP @unsafe() { ...
> >>
> >> You probably discussed and dismissed safe_module vs just module...
> >
> > This wasn't discussed but certainly it would work.  As a matter of
> > taste I
> > think I prefer the attribute since nothing central to the module
> > concept
> > is being changed here.
> >
>
> Yes. Adding annotations is preferable to adding keywords. Annotations
> mean, among other things, that you can run the code fine through an
> older nesC compiler.
>
> Phil
>


Was there a similar discussion on nx_struct etc. vs adding an
attribute to the types or variables?

- om_p