Z3
Public Member Functions | Friends
exception Class Reference

Exception used to sign API usage errors. More...

+ Inheritance diagram for exception:

Public Member Functions

 exception (char const *msg)
 
virtual ~exception () throw ()
 
const char * msg () const
 
const char * what () const throw ()
 

Friends

std::ostream & operator<< (std::ostream &out, exception const &e)
 

Detailed Description

Exception used to sign API usage errors.

Definition at line 84 of file z3++.h.

Constructor & Destructor Documentation

◆ exception()

exception ( char const *  msg)
inline

Definition at line 87 of file z3++.h.

87 :m_msg(msg) {}

◆ ~exception()

virtual ~exception ( )
throw (
)
inlinevirtual

Definition at line 88 of file z3++.h.

88 {}

Member Function Documentation

◆ msg()

const char* msg ( ) const
inline

Definition at line 89 of file z3++.h.

89 { return m_msg.c_str(); }

Referenced by z3::operator<<().

◆ what()

const char* what ( ) const
throw (
)
inline

Definition at line 90 of file z3++.h.

90 { return m_msg.c_str(); }

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  out,
exception const &  e 
)
friend

Definition at line 93 of file z3++.h.

93 { out << e.msg(); return out; }
z3::exception::msg
const char * msg() const
Definition: z3++.h:89