CVC3
command_line_exception.h
Go to the documentation of this file.
1 /*****************************************************************************/
2 /*!
3  * \file command_line_exception.h
4  *
5  * Author: Sergey Berezin
6  *
7  * Created: Fri May 30 14:59:51 2003
8  *
9  * <hr>
10  *
11  * License to use, copy, modify, sell and/or distribute this software
12  * and its documentation for any purpose is hereby granted without
13  * royalty, subject to the terms and conditions defined in the \ref
14  * LICENSE file provided with this distribution.
15  *
16  * <hr>
17  *
18  * An exception thrown on an error while processing a command line
19  * argument.
20  */
21 /*****************************************************************************/
22 
23 #ifndef _cvc3__command_line_exception_h_
24 #define _cvc3__command_line_exception_h_
25 
26 #include "exception.h"
27 
28 namespace CVC3 {
29 class CLException: public Exception {
30 public:
31  // Constructors
33  CLException(const std::string& msg): Exception(msg) { }
34  CLException(const char* msg): Exception(msg) { }
35  // Destructor
36  virtual ~CLException() { }
37  // Printing the message
38  virtual std::string toString() const {
39  return "Error while processing a command line option:\n " + d_msg;
40  }
41 };
42 
43 }
44 
45 #endif