exception Class Reference

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

#include <z3++.h>

Inheritance diagram for exception:

Public Member Functions
virtual	~exception () throw () =default
	exception (char const *msg)
char const *	msg () const
char const *	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 119 of file z3++.h.

Constructor & Destructor Documentation

~exception()

virtual ~exception ( ) throw (  )

virtualdefault

exception()

exception ( char const * msg )

inline

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

:m_msg(msg) {}

Referenced by exception(), and operator<<.

Member Function Documentation

msg()

char const * msg ( ) const

inline

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

{ return m_msg.c_str(); }

Referenced by exception(), and operator<<.

what()

char const * what ( ) const throw (  )

inline

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

{ return m_msg.c_str(); }

Friends And Related Symbol Documentation

operator<<

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

friend

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

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