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 ()
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 84 of file z3++.h.

Constructor & Destructor Documentation

exception()

exception ( char const *  msg )

inline

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

Referenced by context::check_error(), model::eval(), expr::get_numeral_int(), expr::get_numeral_int64(), expr::get_numeral_uint(), expr::get_numeral_uint64(), and z3::par_or().

:m_msg(msg) {}

~exception()

virtual ~exception ( ) throw ( )

inlinevirtual

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

{}

Member Function Documentation

msg()

char const* msg ( ) const

inline

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

Referenced by z3::operator<<().

{ return m_msg.c_str(); }

what()

char const* what ( ) const throw ( )

inline

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

{ 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.

Referenced by model::add_const_interp(), goal::dimacs(), stats::double_value(), ast::hash(), apply_result::operator[](), solver::proof(), params::set(), optimize::statistics(), symbol::to_int(), and exception::what().

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