wrench::FileReadCompletedEvent

class FileReadCompletedEvent : public wrench::ExecutionEvent

A “file read has completed” ExecutionEvent.

Public Functions

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