.RealTimeCoordinationLibrary.Mailbox

Information

The mailbox of the State Graph2 model stores incoming message-events. The mailbox is a FIFO queue. The queue size is determined by the parameter queueSize.

Futher the user must specify how many integer, boolean, and real parameters the messages which should be buffered have. Therefore, the parameters numberofMessageIntegers, numberOfMessageBooleans, and numberOfMessageReals must be set.