command_line_exception.h

Go to the documentation of this file.
00001 /*****************************************************************************/
00002 /*!
00003  * \file command_line_exception.h
00004  * 
00005  * Author: Sergey Berezin
00006  * 
00007  * Created: Fri May 30 14:59:51 2003
00008  *
00009  * <hr>
00010  *
00011  * License to use, copy, modify, sell and/or distribute this software
00012  * and its documentation for any purpose is hereby granted without
00013  * royalty, subject to the terms and conditions defined in the \ref
00014  * LICENSE file provided with this distribution.
00015  * 
00016  * <hr>
00017  * 
00018  * An exception thrown on an error while processing a command line
00019  * argument.
00020  */
00021 /*****************************************************************************/
00022 
00023 #ifndef _cvc3__command_line_exception_h_
00024 #define _cvc3__command_line_exception_h_
00025 
00026 #include "exception.h"
00027 
00028 namespace CVC3 {
00029 class CLException: public Exception {
00030 public:
00031   // Constructors
00032   CLException() { }
00033   CLException(const std::string& msg): Exception(msg) { }
00034   CLException(const char* msg): Exception(msg) { }
00035   // Destructor
00036   virtual ~CLException() { }
00037   // Printing the message
00038   virtual std::string toString() const {
00039     return "Error while processing a command line option:\n  " + d_msg;
00040   }
00041 };
00042 
00043 }
00044 
00045 #endif

Generated on Wed Nov 18 16:13:29 2009 for CVC3 by  doxygen 1.5.2