wrench::FileAlreadyBeingCopied

class FileAlreadyBeingCopied : public wrench::FailureCause

A “file is already being copied” failure cause.

Public Functions

FileAlreadyBeingCopied(std::shared_ptr<FileLocation> src, std::shared_ptr<FileLocation> dst)

Constructor.

Parameters:

• src – the source location

• dst – the destination location

std::shared_ptr<FileLocation> getDestinationLocation()

Getter.

Returns:

the source location

std::shared_ptr<FileLocation> getSourceLocation()

Getter.

Returns:

the source location

virtual std::string toString() override

Get the human-readable failure message.

Returns:

the message