diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-04 03:42:56 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-05-04 03:42:56 +0000 |
commit | 1ce8e28d5976e1ab30099cb9e6943514497d2980 (patch) | |
tree | 1a9382fb62b38e3b5768da951b7c684f1b8688e7 /src/expr/node.cpp | |
parent | 69c2d3e702f8ec0bd0eec4a481a07571131aabeb (diff) |
Type-checking classes and hooks (not tested yet).
Diffstat (limited to 'src/expr/node.cpp')
-rw-r--r-- | src/expr/node.cpp | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp index bf1997381..7ebea8a70 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -26,4 +26,25 @@ namespace expr { const int NodeSetDepth::s_iosIndex = std::ios_base::xalloc(); }/* CVC4::expr namespace */ + + +TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node, std::string message) +: Exception(message), d_node(new Node(node)) +{ +} + +TypeCheckingExceptionPrivate::~TypeCheckingExceptionPrivate() throw () { + delete d_node; +} + +std::string TypeCheckingExceptionPrivate::toString() const { + std::stringstream ss; + ss << "Error type-checking " << d_node << ": " << d_msg; + return ss.str(); +} + +Node TypeCheckingExceptionPrivate::getNode() const { + return *d_node; +} + }/* CVC4 namespace */ |