[Tinyos-devel] call-by-value vs. -pointer

[John Regehr]

> - it's not quite as simple as "always passed": for split-phase calls,
> ownership transfer (typically) only occurs if the command returns
> SUCCESS - for a formal tool to use such annotations, we need to
> capture this behaviour

We're redoing our contract language for TinyOS with the goal of capturing 
this and many other little semantic gotchas.  This is supposed to 
eventually result in better documentation and a checking tool,

John