diff options
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 */ |