Method clone

MiniZincIDE/exception.h:26–26

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

class ProcessError : public Exception