#include <exception.h>
Inherited by CVC3::ArithException, CVC3::BitvectorException, CVC3::CLException, CVC3::DebugException, CVC3::EvalException, CVC3::ParserException, CVC3::ResetException, CVC3::SmtlibException, CVC3::SoundException, and CVC3::TypecheckException.
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)
Detailed Description
Definition at line 31 of file exception.h.
Constructor & Destructor Documentation
| CVC3::Exception::Exception | ( | ) | [inline] |
Definition at line 36 of file exception.h.
| CVC3::Exception::Exception | ( | const std::string & | msg | ) | [inline] |
Definition at line 37 of file exception.h.
| CVC3::Exception::Exception | ( | const char * | msg | ) | [inline] |
Definition at line 38 of file exception.h.
| virtual CVC3::Exception::~Exception | ( | ) | [inline, virtual] |
Definition at line 40 of file exception.h.
Member Function Documentation
| void CVC3::Exception::setMessage | ( | const std::string & | msg | ) | [inline] |
Definition at line 42 of file exception.h.
References d_msg.
| virtual std::string CVC3::Exception::toString | ( | ) | const [inline, virtual] |
Reimplemented in CVC3::CLException, CVC3::EvalException, CVC3::ParserException, CVC3::SmtlibException, CVC3::SoundException, CVC3::TypecheckException, CVC3::ArithException, and CVC3::BitvectorException.
Definition at line 46 of file exception.h.
References d_msg.
Referenced by CVC3::VCCmd::evaluateCommand(), and CVC3::operator<<().
Friends And Related Function Documentation
| std::ostream& operator<< | ( | std::ostream & | os, |
| const Exception & | e | ||
| ) | [friend] |
Definition at line 52 of file exception.h.
Member Data Documentation
std::string CVC3::Exception::d_msg [protected] |
Definition at line 33 of file exception.h.
Referenced by setMessage(), CVC3::TypecheckException::toString(), CVC3::SoundException::toString(), CVC3::SmtlibException::toString(), CVC3::ParserException::toString(), toString(), CVC3::EvalException::toString(), CVC3::CLException::toString(), CVC3::BitvectorException::toString(), and CVC3::ArithException::toString().
The documentation for this class was generated from the following file:
