ServiceTerminationDetectorMessage.h
1 
11 #ifndef WRENCH_FAILUREDETECTORMESSAGE_H
12 #define WRENCH_FAILUREDETECTORMESSAGE_H
13 
14 
15 #include <wrench/simulation/SimulationMessage.h>
16 #include <wrench-dev.h>
17 
18 namespace wrench {
19 
20 
21  /***********************/
23  /***********************/
24 
29  protected:
30  explicit ServiceTerminationDetectorMessage(std::string name);
31  };
32 
38  public:
39  explicit ServiceHasCrashedMessage(std::shared_ptr<Service> service);
40 
42  std::shared_ptr<Service> service;
43  };
44 
50  public:
51  explicit ServiceHasTerminatedMessage(std::shared_ptr<Service> service, int exit_code);
52 
54  std::shared_ptr<Service> service;
56  int exit_code;
57  };
58 
59  /***********************/
61  /***********************/
62 
63 };
64 
65 #endif //WRENCH_FAILUREDETECTORMESSAGE_H
std::string name
The message name.
Definition: SimulationMessage.h:37
A message sent by the ServiceTerminationDetector to notify some listener that the monitored service h...
Definition: ServiceTerminationDetectorMessage.h:49
Top-level class to describe a message communicated by processes in the simulation.
Definition: SimulationMessage.h:27
std::shared_ptr< Service > service
The service that has terminated.
Definition: ServiceTerminationDetectorMessage.h:54
A message sent by the ServiceTerminationDetector to notify some listener that the monitored service h...
Definition: ServiceTerminationDetectorMessage.h:37
std::shared_ptr< Service > service
The service that has crashed.
Definition: ServiceTerminationDetectorMessage.h:42
Definition: Alarm.cpp:20
int exit_code
The exit code of the service's main.
Definition: ServiceTerminationDetectorMessage.h:56
ServiceTerminationDetectorMessage(std::string name)
Constructor.
Definition: ServiceTerminationDetectorMessage.cpp:19
ServiceHasCrashedMessage(std::shared_ptr< Service > service)
Constructor.
Definition: ServiceTerminationDetectorMessage.cpp:29
Top-level class for messages received/sent by a ServiceTerminationDetector.
Definition: ServiceTerminationDetectorMessage.h:28
ServiceHasTerminatedMessage(std::shared_ptr< Service > service, int exit_code)
Constructor.
Definition: ServiceTerminationDetectorMessage.cpp:40