StorageServiceNotEnoughSpace.h

 
#ifndef WRENCH_STORAGE_SERVICE_NOT_ENOUGH_SPACE_H
#define WRENCH_STORAGE_SERVICE_NOT_ENOUGH_SPACE_H
 
#include <set>
#include <string>
 
#include "FailureCause.h"
#include "wrench/services/storage/StorageService.h"
 
namespace wrench {
 
    class DataFile;
 
    /***********************/
    /***********************/
 
    class StorageServiceNotEnoughSpace : public FailureCause {
 
    public:
        /***********************/
        /***********************/
        StorageServiceNotEnoughSpace(std::shared_ptr<DataFile>file, std::shared_ptr<StorageService>  storage_service);
        /***********************/
        /***********************/
 
        std::shared_ptr<DataFile>getFile();
        std::shared_ptr<StorageService>  getStorageService();
        std::string toString() override;
 
 
    private:
        std::shared_ptr<DataFile>file;
        std::shared_ptr<StorageService>  storage_service;
    };
 
    /***********************/
    /***********************/
};
 
 
#endif //WRENCH_STORAGE_SERVICE_NOT_ENOUGH_SPACE_H