CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
parser_exception.h
Go to the documentation of this file.
1
/*****************************************************************************/
2
/*!
3
* \file parser_exception.h
4
* \brief An exception thrown by the parser.
5
*
6
* Author: Sergey Berezin
7
*
8
* Created: Thu Feb 6 13:23:39 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__parser_exception_h_
23
#define _cvc3__parser_exception_h_
24
25
#include "
exception.h
"
26
#include <string>
27
#include <iostream>
28
29
namespace
CVC3 {
30
31
class
ParserException
:
public
Exception
{
32
public
:
33
// Constructors
34
ParserException
() { }
35
ParserException
(
const
std::string& msg):
Exception
(msg) { }
36
ParserException
(
const
char
* msg):
Exception
(msg) { }
37
// Destructor
38
virtual
~ParserException
() { }
39
virtual
std::string
toString
()
const
{
40
return
"Parse Error: "
+
d_msg
;
41
}
42
};
// end of class ParserException
43
44
}
// end of namespace CVC3
45
46
#endif
Generated on Sun Aug 5 2012 13:18:46 for CVC3 by
1.8.1.2