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

Inheritance diagram for wrench::ServiceHasTerminatedMessage:

Public Member Functions
	ServiceHasTerminatedMessage (std::shared_ptr< Service > service, int exit_code)
	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
int	exit_code
	The exit code of the service's main.

std::shared_ptr< Service >	service
	The service that has terminated.

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 terminated.

Constructor & Destructor Documentation

wrench::ServiceHasTerminatedMessage::ServiceHasTerminatedMessage	(	std::shared_ptr< Service >	service,
		int	exit_code
	)

explicit

Constructor.

Parameters

service	the service that has terminated
exit_code	the service exit_code

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