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
CVC3::ParserException::ParserException
ParserException(const char *msg)
Definition:
parser_exception.h:36
CVC3::Exception
Definition:
exception.h:31
CVC3::ParserException::ParserException
ParserException(const std::string &msg)
Definition:
parser_exception.h:35
exception.h
CVC3::Exception::d_msg
std::string d_msg
Definition:
exception.h:33
CVC3::ParserException::toString
virtual std::string toString() const
Definition:
parser_exception.h:39
CVC3::ParserException
Definition:
parser_exception.h:31
CVC3::ParserException::~ParserException
virtual ~ParserException()
Definition:
parser_exception.h:38
CVC3::ParserException::ParserException
ParserException()
Definition:
parser_exception.h:34
CVC3
Definition:
expr.cpp:35
Generated on Tue Jul 14 2015 20:56:35 for CVC3 by
1.8.9.1