ServiceFailureDetectorMessage.h

#ifndef WRENCH_FAILUREDETECTORMESSAGE_H
#define WRENCH_FAILUREDETECTORMESSAGE_H


#include <wrench/simulation/SimulationMessage.h>
#include <wrench-dev.h>

namespace wrench {


    /***********************/
    /***********************/

    class ServiceFailureDetectorMessage : public SimulationMessage {
    protected:
        ServiceFailureDetectorMessage(std::string name);
    };

    class ServiceHaCrashedeMessage : public ServiceFailureDetectorMessage {
    public:
        ServiceHaCrashedeMessage(Service *service);

        Service *service;
    };

    /***********************/
    /***********************/

};

#endif //WRENCH_FAILUREDETECTORMESSAGE_H