wrench::JobKilled

class JobKilled : public wrench::FailureCause

A “job has been killed” failure cause.

Public Functions

JobKilled(std::shared_ptr<Job> job)

Constructor.

Parameters

job – the job that was killed

std::shared_ptr<Job> getJob()

Getter.

Returns

the job

virtual std::string toString() override

Get the human-readable failure message.

Returns

the message