Operation void
rd_ptr (char * ptr), in Class
RACE_Message_Block
Documentation
Set the read pointer to <ptr>.
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics