CVC3
2.4.1
|
#include <parser_exception.h>
Public Member Functions | |
ParserException () | |
ParserException (const std::string &msg) | |
ParserException (const char *msg) | |
virtual | ~ParserException () |
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 31 of file parser_exception.h.
|
inline |
Definition at line 34 of file parser_exception.h.
|
inline |
Definition at line 35 of file parser_exception.h.
|
inline |
Definition at line 36 of file parser_exception.h.
|
inlinevirtual |
Definition at line 38 of file parser_exception.h.
|
inlinevirtual |
Reimplemented from CVC3::Exception.
Definition at line 39 of file parser_exception.h.
References CVC3::Exception::d_msg.