diff options
Diffstat (limited to 'src/expr/node.cpp')
| -rw-r--r-- | src/expr/node.cpp | 26 |
1 files changed, 15 insertions, 11 deletions
diff --git a/src/expr/node.cpp b/src/expr/node.cpp index 126feadd8..110925f41 100644 --- a/src/expr/node.cpp +++ b/src/expr/node.cpp @@ -27,9 +27,9 @@ using namespace std; namespace CVC4 { TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node, - std::string message) throw() : - Exception(message), - d_node(new Node(node)) { + std::string message) + : Exception(message), d_node(new Node(node)) +{ #ifdef CVC4_DEBUG LastExceptionBuffer* current = LastExceptionBuffer::getCurrent(); if(current != NULL){ @@ -38,21 +38,25 @@ TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node, #endif /* CVC4_DEBUG */ } -TypeCheckingExceptionPrivate::~TypeCheckingExceptionPrivate() throw () { - delete d_node; -} +TypeCheckingExceptionPrivate::~TypeCheckingExceptionPrivate() { delete d_node; } -void TypeCheckingExceptionPrivate::toStream(std::ostream& os) const throw() { +void TypeCheckingExceptionPrivate::toStream(std::ostream& os) const +{ os << "Error during type checking: " << d_msg << std::endl << *d_node << endl << "The ill-typed expression: " << *d_node; } -NodeTemplate<true> TypeCheckingExceptionPrivate::getNode() const throw() { +NodeTemplate<true> TypeCheckingExceptionPrivate::getNode() const +{ return *d_node; } -UnknownTypeException::UnknownTypeException(TNode n) throw() : - TypeCheckingExceptionPrivate(n, "this expression contains an element of unknown type (such as an abstract value);" - " its type cannot be computed until it is substituted away") { +UnknownTypeException::UnknownTypeException(TNode n) + : TypeCheckingExceptionPrivate( + n, + "this expression contains an element of unknown type (such as an " + "abstract value);" + " its type cannot be computed until it is substituted away") +{ } /** Is this node constant? (and has that been computed yet?) */ |