11 #ifndef WRENCH_FILE_COPY_COMPLETED_EVENT_H
12 #define WRENCH_FILE_COPY_COMPLETED_EVENT_H
15 #include "wrench/failure_causes/FailureCause.h"
35 class FileRegistryService;
37 class FileRegistryService;
43 class FileCopyCompletedEvent :
public ExecutionEvent {
47 friend class ExecutionEvent;
56 FileCopyCompletedEvent(std::shared_ptr<DataFile>file,
57 std::shared_ptr<FileLocation> src,
58 std::shared_ptr<FileLocation> dst,
59 std::shared_ptr<FileRegistryService> file_registry_service,
60 bool file_registry_service_updated)
61 : file(file), src(src), dst(dst),
62 file_registry_service(file_registry_service),
63 file_registry_service_updated(file_registry_service_updated) {}
67 std::shared_ptr<DataFile>file;
69 std::shared_ptr<FileLocation> src;
71 std::shared_ptr<FileLocation> dst;
73 std::shared_ptr<FileRegistryService> file_registry_service;
75 bool file_registry_service_updated;
82 return "FileCopyCompletedEvent (file: " + this->file->getID() +
83 "; src = " + this->src->toString() +
84 "; dst = "+ this->dst->toString();
100 #endif //WRENCH_FILE_COPY_COMPLETED_EVENT_H