safe tinyos annotations (all in nesdoc comments)

[tinyos-2.x.git] / tos / interfaces / ReadStream.nc

diff --git a/tos/interfaces/ReadStream.nc b/tos/interfaces/ReadStream.nc
index 0e30da48d4fc209516f720531022af7117fd9330..856f44cbf23a6e0e4430950ace4e04c94403620c 100644 (file)
--- a/tos/interfaces/ReadStream.nc
+++ b/tos/interfaces/ReadStream.nc
@@ -60,7 +60,7 @@ interface ReadStream<val_t> {
    * should be placed into the buffer. Make sure your count doesn't
    * overrun the buffer.
    *
-   * @param buf a pointer to the buffer
+   * @param 'val_t* COUNT(count) buf' a pointer to the buffer
    * @param count the number of values the buffer should hold
    *
    * @return SUCCESS if the post was successful
@@ -83,7 +83,7 @@ interface ReadStream<val_t> {
    * SUCCESS, and the buffer will be filled with zeroes.
    *
    * @param result SUCCESS if the buffer was filled without errors
-   * @param buf a pointer to the buffer that has been filled
+   * @param 'val_t* COUNT(count) buf' a pointer to the buffer that has been filled
    * @param count the number of values actually read
    */
   event void bufferDone(error_t result,