11 #ifndef WRENCH_FILE_COPY_FAILED_EVENT_H
12 #define WRENCH_FILE_COPY_FAILED_EVENT_H
15 #include "wrench/failure_causes/FailureCause.h"
35 class FileRegistryService;
37 class FileRegistryService;
43 class FileCopyFailedEvent :
public ExecutionEvent {
47 friend class ExecutionEvent;
55 FileCopyFailedEvent(std::shared_ptr<DataFile>file,
56 std::shared_ptr<FileLocation> src,
57 std::shared_ptr<FileLocation> dst,
58 std::shared_ptr<FailureCause> failure_cause
60 : file(file), src(src), dst(dst),
61 failure_cause(failure_cause) {}
66 std::shared_ptr<DataFile>file;
68 std::shared_ptr<FileLocation> src;
70 std::shared_ptr<FileLocation> dst;
72 std::shared_ptr<FailureCause> failure_cause;
79 return "FileCopyFailedEvent (file: " + this->file->getID() +
80 "; src = " + this->src->toString() +
81 "; dst = " + this->dst->toString() +
82 "; cause: " + this->failure_cause->toString() +
")";}
95 #endif //WRENCH_FILE_COPY_FAILED_EVENT_H