Operation int <<virtual>> dequeue_head_i (RACE_Message_Block*&& first_item), in Class RACE_Message_Queue

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlProtectedAccess  


Preconditions


Postconditions


Semantics