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:

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< Service >	service
	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

service

the service that has crashed

---

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

• ServiceTerminationDetectorMessage.h
• ServiceTerminationDetectorMessage.cpp