mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

Make z3::exception a subclass of std::exception

Browse source
This commit is contained in:
Andreas Humenberger 2019-11-25 15:22:19 +01:00 • committed by Nikolaj Bjorner
parent 8973c18856
commit 58f3dce2be
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/api/c++/z3++.h
View file

@ -80,11 +80,12 @@ namespace z3 {
/** /**
\brief Exception used to sign API usage errors. \brief Exception used to sign API usage errors.
*/ */
class exception { class exception : public std::exception {
std::string m_msg; std::string m_msg;
public: public:
exception(char const * msg):m_msg(msg) {} exception(char const * msg):m_msg(msg) {}
char const * msg() const { return m_msg.c_str(); } char const * msg() const { return m_msg.c_str(); }
char const * what() const noexcept { return m_msg.c_str(); }
friend std::ostream & operator<<(std::ostream & out, exception const & e); friend std::ostream & operator<<(std::ostream & out, exception const & e);
}; };
inline std::ostream & operator<<(std::ostream & out, exception const & e) { out << e.msg(); return out; } inline std::ostream & operator<<(std::ostream & out, exception const & e) { out << e.msg(); return out; }