wrench::FileReadFailedEvent

class FileReadFailedEvent : public wrench::ExecutionEvent

A “file read has failed” ExecutionEvent.

Public Functions

inline 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.