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 ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics