wrench::FileReadCompletedEvent
-
class FileReadCompletedEvent : public wrench::ExecutionEvent
A “file read has completed” 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<FileLocation> location
The location.
-
double num_bytes
The number of bytes read.
-
inline virtual std::string toString() override