Operation void
expand (), in Class
RACE_Message_Block
Documentation
allocates a new block for growing messageblocks
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics