Method clone

MiniZincIDE/exception.h:89–89 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

87
88	void raise() const override { throw *this; }
89	Exception clone() const override { return new ServerError(this); }
90	};
91
92	#endif // EXCEPTION_H

nothing calls this directly

no outgoing calls

no test coverage detected