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
-
NoScratchSpace(std::string error)