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 | | Concurrency | Sequential |
Export Control | PublicAccess | | |
Preconditions
Postconditions
Semantics