Operation int copy (const char * buf, size_t n), in Class RACE_Message_Block

Documentation
Copies <n> bytes from <buf> into the Message_Block starting at
the <wr_ptr> offset. Return 0 and increment <wr_ptr> by <n> if
the method succeeds. Returns -1 if the size of the message is
too small, i.e., for this to work correct, <end> must be >=
<wr_ptr>.


Protocol Qualification 
ExceptionsBufferOverflowSize 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics