Operation int
<<abstract>> is_empty (void ), in Class
RACE_Message_Queue_Base
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics