safe tinyos annotations (all in nesdoc comments)

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

diff --git a/tos/interfaces/ConfigStorage.nc b/tos/interfaces/ConfigStorage.nc
index f73d01c121d3530d65412df2bf0d5ab690e944f4..a48cc7c0721cdd7d61ede08eb16394312fe0830d 100644 (file)
--- a/tos/interfaces/ConfigStorage.nc
+++ b/tos/interfaces/ConfigStorage.nc
@@ -56,7 +56,7 @@ interface ConfigStorage {
    * as of the last commit operation.
    * 
    * @param addr starting address to begin reading.
-   * @param buf buffer to place read data.
+   * @param 'void* COUNT(len) buf' buffer to place read data.
    * @param len number of bytes to read.
    * @return 
    *   <li>SUCCESS if the request was accepted, 
@@ -72,7 +72,7 @@ interface ConfigStorage {
    * Signals the completion of a read operation.
    *
    * @param addr starting address of read.
-   * @param buf buffer where read data was placed.
+   * @param 'void* COUNT(len) buf' buffer where read data was placed.
    * @param len number of bytes read.
    * @param error SUCCESS if the operation was successful, FAIL if
    *   it failed
@@ -86,7 +86,7 @@ interface ConfigStorage {
    * operation.
    * 
    * @param addr starting address to begin write.
-   * @param buf buffer to write data from.
+   * @param 'void* COUNT(len) buf' buffer to write data from.
    * @param len number of bytes to write.
    * @return 
    *   <li>SUCCESS if the request was accepted, 
@@ -102,7 +102,7 @@ interface ConfigStorage {
    * been completed.
    *
    * @param addr starting address of write.
-   * @param buf buffer that written data was read from.
+   * @param 'void* COUNT(len) buf' buffer that written data was read from.
    * @param len number of bytes written.
    * @param error SUCCESS if the operation was successful, FAIL if
    *   it failed