Operation int enqueue_force (RACE_Message_Block** new_item), in Class RACE_Message_Queue

Documentation
Enqueue an <RACE_Message_Block *> into the <Message_Queue>
without regarding the full-Condition
FIFO Order is maintained
This is thought only for enqueing Finition-Messages
which must be enqueued in the case when the Queue is full


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics