wrench::ExecutionControllerAlarmTimerMessage

class ExecutionControllerAlarmTimerMessage : public wrench::ExecutionControllerMessage

Message sent when a timer set by a ExecutionController goes off.

Public Functions

explicit ExecutionControllerAlarmTimerMessage(std::string message, sg_size_t payload)

Constructor.

Parameters:

• message – the (string) message to be sent

• payload – message size in bytes

Public Members

std::string message

The message sent my the timer.