modelMailbox

Receives and stores message instances in a FIFO queue.

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.

Parameters

TypeNameDefaultDescription
IntegernOut0Number of output connections
IntegernIn0Number of input connections
IntegerqueueSize20The maximal size of the Queue
IntegernumberOfMessageIntegers0number of integer parameters of a message
IntegernumberOfMessageBooleans0number of boolean parameters of a message
IntegernumberOfMessageReals0number of real parameters of a message

Connectors

TypeNameDefaultDescription
RealTimeCoordinationLibrary.Internal.Interfaces.Asynchron.mailbox_output_port[nOut]mailbox_output_portInterface for sending messages with parameters
RealTimeCoordinationLibrary.Internal.Interfaces.Asynchron.mailbox_input_port[nIn]mailbox_input_portInterface for receiving messages with parameters

Components

TypeNameDefaultDescription
Integerfilling_levelResult of the current filling level
RealTimeCoordinationLibrary.Internal.Interfaces.Asynchron.IntQueue.Queueint_q
RealTimeCoordinationLibrary.Internal.Interfaces.Asynchron.RealQueue.Queuereal_q
RealTimeCoordinationLibrary.Internal.Interfaces.Asynchron.RealQueue.Queuetime_q
RealTimeCoordinationLibrary.Internal.Interfaces.Asynchron.BooleanQueue.Queueboolean_q
RealTimeCoordinationLibrary.Internal.Interfaces.Asynchron.IntQueue.QueueinstanceId_q
RealTimeCoordinationLibrary.Internal.Interfaces.Asynchron.IntQueue.QueueownerId_q
Integer[nOut*numberOfMessageIntegers]intTemp
Real[nOut*numberOfMessageReals]realTemp
Real[nOut]timeTemp
Boolean[nOut*numberOfMessageBooleans]booleanTemp
Integer[nOut]instaceIdTemp
Integer[nOut]ownerIdTemp
IntegertestInstanceIdTemp
IntegertestOwnerIdTemp
Boolean[nOut]fire_outTells the transition that a message has been dequeud
Boolean[nOut]output_activeStores if a message receiving transition is enable to fire