Operation size_t <<virtual>> message_bytes (void ), in Class RACE_Message_Queue

Documentation
Number of total bytes on the queue, i.e., sum of the message
block sizes.
Number of total length on the queue, i.e., sum of the message
block lengths.
Number of total messages on the queue.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics