Method ProcessError

MiniZincIDE/exception.h:32–32

{
public:
    ProcessError(const QString& _msg) : Exception(_msg) {}

    void raise() const override { throw *this; }
    Exception *clone() const override { return new ProcessError(*this); }