CVC3
2.4.1
|
#include <exception.h>
Public Member Functions | |
Exception () | |
Exception (const std::string &msg) | |
Exception (const char *msg) | |
virtual | ~Exception () |
void | setMessage (const std::string &msg) |
virtual std::string | toString () const |
Protected Attributes | |
std::string | d_msg |
Friends | |
std::ostream & | operator<< (std::ostream &os, const Exception &e) |
Definition at line 31 of file exception.h.
|
inline |
Definition at line 36 of file exception.h.
|
inline |
Definition at line 37 of file exception.h.
|
inline |
Definition at line 38 of file exception.h.
|
inlinevirtual |
Definition at line 40 of file exception.h.
|
inline |
Definition at line 42 of file exception.h.
|
inlinevirtual |
Reimplemented in CVC3::ArithException, CVC3::BitvectorException, CVC3::EvalException, CVC3::ParserException, CVC3::SmtlibException, CVC3::SoundException, CVC3::TypecheckException, and CVC3::CLException.
Definition at line 46 of file exception.h.
References d_msg.
Referenced by CVC3::VCCmd::evaluateCommand(), and CVC3::operator<<().
|
friend |
Definition at line 52 of file exception.h.
|
protected |
Definition at line 33 of file exception.h.
Referenced by CVC3::CLException::toString(), CVC3::TypecheckException::toString(), CVC3::EvalException::toString(), CVC3::SmtlibException::toString(), CVC3::SoundException::toString(), CVC3::ParserException::toString(), CVC3::BitvectorException::toString(), CVC3::ArithException::toString(), and toString().