1 /********************* */
4 ** Original author: mdeters
5 ** Major contributors: dejan
6 ** Minor contributors (to current version): none
7 ** This file is part of the CVC4 prototype.
8 ** Copyright (c) 2009, 2010 The Analysis of Computer Systems Group (ACSys)
9 ** Courant Institute of Mathematical Sciences
10 ** New York University
11 ** See the file COPYING in the top-level source directory for licensing
12 ** information.\endverbatim
14 ** \brief Reference-counted encapsulation of a pointer to node information.
16 ** Reference-counted encapsulation of a pointer to node information.
19 #include "expr/node.h"
20 #include "util/output.h"
29 const int NodeSetDepth::s_iosIndex
= std::ios_base::xalloc();
31 }/* CVC4::expr namespace */
34 TypeCheckingExceptionPrivate::TypeCheckingExceptionPrivate(TNode node
, std::string message
)
35 : Exception(message
), d_node(new Node(node
))
39 TypeCheckingExceptionPrivate::~TypeCheckingExceptionPrivate() throw () {
43 std::string
TypeCheckingExceptionPrivate::toString() const {
45 ss
<< "Error type-checking " << d_node
<< ": " << d_msg
;
49 Node
TypeCheckingExceptionPrivate::getNode() const {