diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-25 00:42:52 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-25 00:42:52 +0000 |
commit | 2a1ac62e56d43893c59c4c2d91bcaca0dd7ce417 (patch) | |
tree | 5d2e6b493d8d366ab75163effaf13191dbf0bd71 /src/parser/parser_exception.h | |
parent | 06b391f721c8e9de4835e5a5bf2c60383ea7f8e9 (diff) |
additional work on parser hookup, configuration + build
Diffstat (limited to 'src/parser/parser_exception.h')
-rw-r--r-- | src/parser/parser_exception.h | 25 |
1 files changed, 13 insertions, 12 deletions
diff --git a/src/parser/parser_exception.h b/src/parser/parser_exception.h index 89490fad8..b2cf8bc55 100644 --- a/src/parser/parser_exception.h +++ b/src/parser/parser_exception.h @@ -14,24 +14,25 @@ #define __CVC4__PARSER__PARSER_EXCEPTION_H #include "util/exception.h" +#include "cvc4_config.h" #include <string> #include <iostream> namespace CVC4 { namespace parser { - class ParserException: public Exception { - public: - // Constructors - ParserException() { } - ParserException(const std::string& msg): Exception(msg) { } - ParserException(const char* msg): Exception(msg) { } - // Destructor - virtual ~ParserException() { } - virtual std::string toString() const { - return "Parse Error: " + d_msg; - } - }; // end of class ParserException +class CVC4_PUBLIC ParserException: public Exception { +public: + // Constructors + ParserException() { } + ParserException(const std::string& msg): Exception(msg) { } + ParserException(const char* msg): Exception(msg) { } + // Destructor + virtual ~ParserException() { } + virtual std::string toString() const { + return "Parse Error: " + d_msg; + } +}; // end of class ParserException }/* CVC4::parser namespace */ }/* CVC4 namespace */ |