NoScratchSpace.h

 
#ifndef WRENCH_NOSCRATCHSPACE_H
#define WRENCH_NOSCRATCHSPACE_H
 
#include <set>
#include <string>
 
#include "wrench/workflow/failure_causes/FailureCause.h"
#include "wrench/workflow/failure_causes/NoScratchSpace.h"
 
namespace wrench {
 
    /***********************/
    /***********************/
 
    class NoScratchSpace : public FailureCause {
 
    public:
        /***********************/
        /***********************/
        NoScratchSpace(std::string error);
        /***********************/
        /***********************/
 
        std::string toString();
    private:
        std::string error;
    };
 
    /***********************/
    /***********************/
};
 
 
#endif //WRENCH_NOSCRATCHSPACE_H