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 | | Concurrency | Sequential |
Export Control | PublicAccess | | |
Preconditions
Postconditions
Semantics