ExecutionException.h

 
#ifndef WRENCH_EXECUTION_EXCEPTION_H
#define WRENCH_EXECUTION_EXCEPTION_H
 
#include <exception>
#include <memory>
#include <string>
#include <utility>
#include <string.h>
 
#include "wrench/failure_causes/FailureCause.h"
 
namespace wrench {
 
        /***********************/
        /***********************/
 
        class ExecutionException: public std::exception {
 
        private:
                std::shared_ptr<FailureCause> cause;
 
        public:
 
                virtual const char* what() const throw()
                {
          // Without the strdup() below, we get some valgrind warnings...
                    return strdup(cause->toString().c_str());
                }
 
        std::shared_ptr<FailureCause> getCause() {
          return this->cause;
        }
 
 
                /***********************/
                /***********************/
 
                explicit ExecutionException(std::shared_ptr<FailureCause> cause) {
                    this->cause = std::move(cause);
                }
 
                /***********************/
                /***********************/
        };
 
 
        /***********************/
        /***********************/
 
 
}
 
 
#endif //WRENCH_EXECUTION_EXCEPTION_H