CVC3
2.4.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
File List
File Members
src
include
typecheck_exception.h
Go to the documentation of this file.
1
/*****************************************************************************/
2
/*!
3
* \file typecheck_exception.h
4
* \brief An exception to be thrown at typecheck error.
5
*
6
* Author: Sergey Berezin
7
*
8
* Created: Fri Feb 14 18:44:15 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__typecheck_exception_h_
23
#define _cvc3__typecheck_exception_h_
24
25
#include <string>
26
#include <iostream>
27
#include "
exception.h
"
28
29
namespace
CVC3 {
30
31
class
TypecheckException
:
public
Exception
{
32
public
:
33
// Constructors
34
TypecheckException
() { }
35
TypecheckException
(
const
std::string& msg):
Exception
(msg) { }
36
TypecheckException
(
const
char
* msg):
Exception
(msg) { }
37
// Destructor
38
virtual
~TypecheckException
() { }
39
virtual
std::string
toString
()
const
{
40
return
"Type Checking error: "
+
d_msg
;
41
}
42
};
// end of class TypecheckException
43
}
// end of namespace CVC3
44
45
#endif
Generated on Tue May 14 2013 14:44:54 for CVC3 by
1.8.3.1