Changes between Version 26 and Version 27 of MessagePassing

Timestamp:

09/15/13 10:22:28 (13 years ago)

Author:

siegel

Comment:

--

MessagePassing

@@ -13 +13 @@
 * `$message`
  * an abstract, immutable datatype representing a message
-* `$pure $message $message_pack(int source, int dest, int tag, void *data, int size)`
+* `<s> $pure $message $message_pack(int source, int dest, int tag, void *<s> data, int size) $reads s`
  * creates a new message, copying data from the specified buffer
 * `$pure int $message_source($message message)`
@@ -23 +23 @@
 * `$pure int $message_size($message message)`
  * returns the message size
-* `void $message_unpack($message message, void *buf, int size)`
+* `<s> void $message_unpack($message message, void *<s> buf, int size) $writes s`
  * transfers message data to `buf`, throwing exception if message size exceeds specified size
 * `$comm`