exception Class Reference

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

Public Member Functions
	exception (char const *msg)
char const *	msg () const

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

Detailed Description

Exception used to sign API usage errors.

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

Constructor & Destructor Documentation

exception ( char const *  msg )

inline

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

:m_msg(msg) {}

Member Function Documentation

char const* msg ( ) const

inline

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

{ return m_msg.c_str(); }

Friends And Related Function Documentation

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

friend

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

{ out << e.msg(); return out; }