wrench::NoScratchSpace

class NoScratchSpace : public wrench::FailureCause

A “no scratch space” failure cause.

Public Functions

NoScratchSpace(std::string error)

Constructor.

Parameters

error – error message

virtual std::string toString() override

Get the human-readable failure message.

Returns

the message