CVCL::Exception Class Reference

#include <exception.h>

Inheritance diagram for CVCL::Exception:

Inheritance graph
List of all members.

Public Member Functions

Protected Attributes


Detailed Description

Definition at line 39 of file exception.h.

Constructor & Destructor Documentation

CVCL::Exception::Exception  )  [inline]

Definition at line 44 of file exception.h.

CVCL::Exception::Exception const std::string &  msg  )  [inline]

Definition at line 45 of file exception.h.

CVCL::Exception::Exception char *  msg  )  [inline]

Definition at line 46 of file exception.h.

virtual CVCL::Exception::~Exception  )  [inline, virtual]

Definition at line 48 of file exception.h.

Member Function Documentation

void CVCL::Exception::setMessage const std::string &  msg  )  [inline]

Definition at line 50 of file exception.h.

References d_msg.

virtual std::string CVCL::Exception::toString  )  const [inline, virtual]

Reimplemented in CVCL::CLException, CVCL::DebugException, CVCL::EvalException, CVCL::ParserException, CVCL::SmtlibException, CVCL::SoundException, CVCL::TypecheckException, CVCL::ArithException, and CVCL::BitvectorException.

Definition at line 54 of file exception.h.

References d_msg.

Referenced by CVCL::operator<<().

Friends And Related Function Documentation

std::ostream& operator<< std::ostream &  os,
const Exception e

Definition at line 60 of file exception.h.

Member Data Documentation

std::string CVCL::Exception::d_msg [protected]

Definition at line 41 of file exception.h.

Referenced by setMessage(), CVCL::TypecheckException::toString(), CVCL::SoundException::toString(), CVCL::SmtlibException::toString(), CVCL::ParserException::toString(), toString(), CVCL::EvalException::toString(), CVCL::DebugException::toString(), CVCL::CLException::toString(), CVCL::BitvectorException::toString(), and CVCL::ArithException::toString().

The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:43 2006 for CVC Lite by  doxygen 1.4.4