CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
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
32
CLException
() { }
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
Generated on Tue May 14 2013 09:02:05 for CVC3 by
1.8.3.1