Operation void rd_ptr (size_t n), in Class RACE_Message_Block

Documentation
Set the read pointer ahead <n> bytes.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics