Operation void reset (void ), in Class RACE_Message_Block

Documentation
Resets the Message Block data to contain nothing, i.e., sets the
read and write pointers to align with the base.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics