[Tinyos-devel] Safe TinyOS pointer annotations

[David E. Culler]

Seems awfully longwinded. 

John Regehr wrote:
>> I'd recommend @one_or_null instead of @one_n - likewise for @count_n 
>> - since the latter form seems to suggest that there is some parameter 
>> 'n' involved.
>
> Yeah I agree that @one_or_null is clearer and I'm fine with it.  The 
> only drawback is that the verbosity could get old (but maybe it will 
> encourage the design of null-pointer-free interfaces, which seem to be 
> easier to think about :).
>
> Anyone else?
>
> John
> _______________________________________________
> Tinyos-devel mailing list
> Tinyos-devel at millennium.berkeley.edu
> https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-devel