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 (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
double	payload
	The message name. More...

Additional Inherited Members
Protected Member Functions inherited from wrench::ServiceTerminationDetectorMessage
	ServiceTerminationDetectorMessage ()
	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