Z3
Loading...
Searching...
No Matches
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 88 of file z3++.h.

Constructor & Destructor Documentation

◆ ~exception()

virtual ~exception ( )
throw ( )
virtualdefault

◆ exception()

exception ( char const * msg)
inline

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

92:m_msg(msg) {}

Referenced by exception(), and operator<<.

Member Function Documentation

◆ msg()

char const * msg ( ) const
inline

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

93{ return m_msg.c_str(); }

Referenced by exception(), and operator<<.

◆ what()

char const * what ( ) const
throw ( )
inline

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

94{ return m_msg.c_str(); }

◆ operator<<

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

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

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