ExecutionEvent.h

 
#ifndef WRENCH_EXECUTIONEVENT_H
#define WRENCH_EXECUTIONEVENT_H
 
#include <string>
#include "wrench/failure_causes/FailureCause.h"
 
/***********************/
/***********************/
 
namespace wrench {
    class ExecutionEvent {
 
    public:
 
        /***********************/
        /***********************/
        static std::shared_ptr<ExecutionEvent> waitForNextExecutionEvent(simgrid::s4u::Mailbox *mailbox);
        static std::shared_ptr<ExecutionEvent> waitForNextExecutionEvent(simgrid::s4u::Mailbox *mailbox, double timeout);
 
        virtual std::string toString() { return "Generic ExecutionEvent"; }
 
        virtual ~ExecutionEvent() = default;
 
    protected:
        ExecutionEvent() = default;
 
        /***********************/
        /***********************/
 
    };
 
};
 
/***********************/
/***********************/
 
 
 
#endif //WRENCH_EXECUTIONEVENT_H