FileAlreadyBeingCopied.h

 
#ifndef WRENCH_FILE_ALREADY_BEING_COPIED_H
#define WRENCH_FILE_ALREADY_BEING_COPIED_H
 
#include <set>
#include <string>
 
#include "wrench/workflow/failure_causes/FailureCause.h"
 
namespace wrench {
 
    class WorkflowFile;
    class FileLocation;
 
    /***********************/
    /***********************/
 
    class FileLocation;
 
    class FileAlreadyBeingCopied : public FailureCause {
 
 
    public:
        /***********************/
        /***********************/
        FileAlreadyBeingCopied(WorkflowFile *file,
                               std::shared_ptr<FileLocation> src,
                               std::shared_ptr<FileLocation> dst);
        /***********************/
        /***********************/
 
        WorkflowFile *getFile();
        std::shared_ptr<FileLocation> getSourceLocation();
        std::shared_ptr<FileLocation> getDestinationLocation();
        std::string toString();
 
    private:
        WorkflowFile *file;
        std::shared_ptr<FileLocation> src_location;
        std::shared_ptr<FileLocation> dst_location;
    };
 
 
    /***********************/
    /***********************/
};
 
 
#endif //WRENCH_FILE_ALREADY_BEING_COPIED_H