Operation int
<<abstract>> is_full (void ), in Class
RACE_Message_Queue_Base
Documentation
True if queue is full, else false.//## True if queue is empty, else false.
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics