wrench::ServiceHasCrashedMessage Class Reference

A message sent by the ServiceTerminationDetector to notify some listener that the monitored service has crashed. More...

#include <ServiceTerminationDetectorMessage.h>

Inheritance diagram for wrench::ServiceHasCrashedMessage:
wrench::ServiceTerminationDetectorMessage wrench::SimulationMessage

Public Member Functions

 ServiceHasCrashedMessage (std::shared_ptr< Service > service)
 Constructor. More...
 
- Public Member Functions inherited from wrench::SimulationMessage
 SimulationMessage (std::string name, double payload)
 Constructor. More...
 
virtual std::string getName ()
 Retrieve the message name. More...
 

Public Attributes

std::shared_ptr< Serviceservice
 The service that has crashed.
 
- Public Attributes inherited from wrench::SimulationMessage
std::string name
 The message name.
 
double payload
 The message size in bytes.
 

Additional Inherited Members

- Protected Member Functions inherited from wrench::ServiceTerminationDetectorMessage
 ServiceTerminationDetectorMessage (std::string name)
 Constructor. More...
 

Detailed Description

A message sent by the ServiceTerminationDetector to notify some listener that the monitored service has crashed.

Constructor & Destructor Documentation

◆ ServiceHasCrashedMessage()

wrench::ServiceHasCrashedMessage::ServiceHasCrashedMessage ( std::shared_ptr< Service service)
explicit

Constructor.

Parameters
servicethe service that has crashed

The documentation for this class was generated from the following files: