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