CVC3
2.4.1
|
#include <command_line_exception.h>
Public Member Functions | |
CLException () | |
CLException (const std::string &msg) | |
CLException (const char *msg) | |
virtual | ~CLException () |
virtual std::string | toString () const |
![]() | |
Exception () | |
Exception (const std::string &msg) | |
Exception (const char *msg) | |
virtual | ~Exception () |
void | setMessage (const std::string &msg) |
Additional Inherited Members | |
![]() | |
std::string | d_msg |
Definition at line 29 of file command_line_exception.h.
|
inline |
Definition at line 32 of file command_line_exception.h.
|
inline |
Definition at line 33 of file command_line_exception.h.
|
inline |
Definition at line 34 of file command_line_exception.h.
|
inlinevirtual |
Definition at line 36 of file command_line_exception.h.
|
inlinevirtual |
Reimplemented from CVC3::Exception.
Definition at line 38 of file command_line_exception.h.
References CVC3::Exception::d_msg.