Operation Message_Queue_t * msg_queue (void ), in Class RACE_Task

Documentation
Gets the message queue associated with this task.


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics