00001 /*****************************************************************************/ 00002 /*! 00003 * \file parser_exception.h 00004 * \brief An exception thrown by the parser. 00005 * 00006 * Author: Sergey Berezin 00007 * 00008 * Created: Thu Feb 6 13:23:39 2003 00009 * 00010 * <hr> 00011 * 00012 * License to use, copy, modify, sell and/or distribute this software 00013 * and its documentation for any purpose is hereby granted without 00014 * royalty, subject to the terms and conditions defined in the \ref 00015 * LICENSE file provided with this distribution. 00016 * 00017 * <hr> 00018 * 00019 */ 00020 /*****************************************************************************/ 00021 00022 #ifndef _cvc3__parser_exception_h_ 00023 #define _cvc3__parser_exception_h_ 00024 00025 #include "exception.h" 00026 #include <string> 00027 #include <iostream> 00028 00029 namespace CVC3 { 00030 00031 class ParserException: public Exception { 00032 public: 00033 // Constructors 00034 ParserException() { } 00035 ParserException(const std::string& msg): Exception(msg) { } 00036 ParserException(char* msg): Exception(msg) { } 00037 // Destructor 00038 virtual ~ParserException() { } 00039 virtual std::string toString() const { 00040 return "Parse Error: " + d_msg; 00041 } 00042 }; // end of class ParserException 00043 00044 } // end of namespace CVC3 00045 00046 #endif