1 /*****************************************************************************/ 2 /*! 3 * \file typecheck_exception.h 4 * \brief An exception to be thrown at typecheck error. 5 * 6 * Author: Sergey Berezin 7 * 8 * Created: Fri Feb 14 18:44:15 2003 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__typecheck_exception_h_ 23 #define _cvc3__typecheck_exception_h_ 24 25 #include <string> 26 #include <iostream> 27 #include "exception.h" 28 29 namespace CVC3 { 30 31 class TypecheckException: public Exception { 32 public: 33 // Constructors TypecheckException()34 TypecheckException() { } TypecheckException(const std::string & msg)35 TypecheckException(const std::string& msg): Exception(msg) { } TypecheckException(const char * msg)36 TypecheckException(const char* msg): Exception(msg) { } 37 // Destructor ~TypecheckException()38 virtual ~TypecheckException() { } toString()39 virtual std::string toString() const { 40 return "Type Checking error: " + d_msg; 41 } 42 }; // end of class TypecheckException 43 } // end of namespace CVC3 44 45 #endif 46