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;
57 std::shared_ptr<FileLocation>
src,
58 std::shared_ptr<FileLocation>
dst,
67 std::shared_ptr<DataFile>
file;
69 std::shared_ptr<FileLocation>
src;
71 std::shared_ptr<FileLocation>
dst;
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
std::shared_ptr< FileLocation > dst
The destination location.
Definition: FileCopyCompletedEvent.h:71
std::string toString() override
Get a textual description of the event.
Definition: FileCopyCompletedEvent.h:81
Definition: Action.cpp:28
std::shared_ptr< FileRegistryService > file_registry_service
The file registry service that was supposed to be updated (or nullptr if none)
Definition: FileCopyCompletedEvent.h:73
A class to represent the various execution events that are relevant to the execution of a workflow.
Definition: ExecutionEvent.h:26
A "file copy has completed" ExecutionEvent.
Definition: FileCopyCompletedEvent.h:43
bool file_registry_service_updated
Whether the file registry service (if any) has been successfully updated.
Definition: FileCopyCompletedEvent.h:75
std::shared_ptr< FileLocation > src
The source location.
Definition: FileCopyCompletedEvent.h:69
std::shared_ptr< DataFile > file
The workflow file that has successfully been copied.
Definition: FileCopyCompletedEvent.h:67