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

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

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: