Operation char * wr_ptr (size_t n), in Class RACE_Message_Block

Documentation
Set the write pointer ahead <n> bytes.
Returns the OLD ptr


Protocol Qualification 
ExceptionsBufferOverflowSize 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics