wrench::FileAlreadyBeingWritten

class FileAlreadyBeingWritten : public wrench::FailureCause

A “file is already being copied” failure cause.

Public Functions

std::shared_ptr<FileLocation> getLocation()

Getter.

Returns:

the source location

virtual std::string toString() override

Get the human-readable failure message.

Returns:

the message