1 /*****************************************************************************/ 2 /*! 3 * \file smtlib_exception.h 4 * \brief An exception to be thrown by the smtlib translator. 5 * 6 * Author: Clark Barrett 7 * 8 * Created: Thu Feb 24 18:22:18 2005 9 * 10 * <hr> 11 * 12 * License to use, copy, modify, sell and/or distribute this software 13 * and its documentation for any purpose is hereby granted without 14 * royalty, subject to the terms and conditions defined in the \ref 15 * LICENSE file provided with this distribution. 16 * 17 * <hr> 18 * 19 */ 20 /*****************************************************************************/ 21 22 #ifndef _cvc3__smtlib_exception_h_ 23 #define _cvc3__smtlib_exception_h_ 24 25 #include <string> 26 #include <iostream> 27 #include "exception.h" 28 29 namespace CVC3 { 30 31 class SmtlibException: public Exception { 32 public: 33 // Constructors SmtlibException()34 SmtlibException() { } SmtlibException(const std::string & msg)35 SmtlibException(const std::string& msg): Exception(msg) { } SmtlibException(const char * msg)36 SmtlibException(const char* msg): Exception(msg) { } 37 // Destructor ~SmtlibException()38 virtual ~SmtlibException() { } toString()39 virtual std::string toString() const { 40 return "SMTLIB translation error: " + d_msg; 41 } 42 }; // end of class SmtlibException 43 } // end of namespace CVC3 44 45 #endif 46