ServiceTerminationDetectorMessage.h

 
#ifndef WRENCH_FAILUREDETECTORMESSAGE_H
#define WRENCH_FAILUREDETECTORMESSAGE_H
 
 
#include "wrench/simulation/SimulationMessage.h"
#include "wrench-dev.h"
 
namespace wrench {
 
 
    /***********************/
    /***********************/
 
    class ServiceTerminationDetectorMessage : public SimulationMessage {
    protected:
        explicit ServiceTerminationDetectorMessage();
    };
 
    class ServiceHasCrashedMessage : public ServiceTerminationDetectorMessage {
    public:
        explicit ServiceHasCrashedMessage(std::shared_ptr<Service> service);
 
        std::shared_ptr<Service> service;
    };
 
    class ServiceHasTerminatedMessage : public ServiceTerminationDetectorMessage {
    public:
        explicit ServiceHasTerminatedMessage(std::shared_ptr<Service> service, int exit_code);
 
        std::shared_ptr<Service> service;
        int exit_code;
    };
 
    /***********************/
    /***********************/
 
};
 
#endif //WRENCH_FAILUREDETECTORMESSAGE_H