wrench::FileReadFailedEvent
-
class FileReadFailedEvent : public wrench::ExecutionEvent
A “file read has failed” ExecutionEvent.
Public Functions
-
inline virtual std::string toString() override
Get a textual description of the event.
- Returns:
a text string
Public Members
-
std::shared_ptr<FailureCause> failure_cause
The cause of the failure.
-
std::shared_ptr<FileLocation> location
The location.
-
double num_bytes
The number of bytes that should have been read.
-
inline virtual std::string toString() override