11 #ifndef WRENCH_FILE_COPY_COMPLETED_EVENT_H
12 #define WRENCH_FILE_COPY_COMPLETED_EVENT_H
15 #include "wrench/workflow/failure_causes/FailureCause.h"
35 class FileRegistryService;
37 class FileRegistryService;
57 std::shared_ptr<FileLocation>
src,
58 std::shared_ptr<FileLocation>
dst,
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
WorkflowFile * file
The workflow file that has successfully been copied.
Definition: FileCopyCompletedEvent.h:67
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 "file copy has completed" WorkflowExecutionEvent.
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::string getID()
Get the file id.
Definition: WorkflowFile.cpp:44
A data file used/produced by a WorkflowTask in a Workflow.
Definition: WorkflowFile.h:26
A class to represent the various execution events that are relevant to the execution of a workflow.
Definition: WorkflowExecutionEvent.h:26