wrench::ServiceHasTerminatedMessage Class Reference

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

#include <ServiceTerminationDetectorMessage.h>

Inheritance diagram for wrench::ServiceHasTerminatedMessage:
wrench::ServiceTerminationDetectorMessage wrench::SimulationMessage

Public Member Functions

 ServiceHasTerminatedMessage (std::shared_ptr< Service > service, int exit_code)
 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

int exit_code
 The exit code of the service's main.
 
std::shared_ptr< Serviceservice
 The service that has terminated.
 
- 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 terminated.

Constructor & Destructor Documentation

◆ ServiceHasTerminatedMessage()

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

Constructor.

Parameters
servicethe service that has terminated
exit_codethe service exit_code

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