diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-28 21:12:02 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-10-28 21:12:02 +0000 |
commit | d2ff1974a7cd87d841e1bcaeb0d93665f70d9259 (patch) | |
tree | 6f35a4d1f191739fe9f1c2c237f6ede3ed5c99ab /src/expr/node_builder.h | |
parent | c39254b98c010397fa5b2da9513d7b3451d682d7 (diff) |
Changing NodeBuilder::debugCheckType() to maybeCheckType()
Changing NodeManager/ExprManager constructors to take Options
Diffstat (limited to 'src/expr/node_builder.h')
-rw-r--r-- | src/expr/node_builder.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/expr/node_builder.h b/src/expr/node_builder.h index 095e81868..ce0928209 100644 --- a/src/expr/node_builder.h +++ b/src/expr/node_builder.h @@ -661,9 +661,9 @@ private: expr::NodeValue* constructNV(); expr::NodeValue* constructNV() const; - inline void debugCheckType(const TNode n) const { - // force an immediate type check, if we are in debug mode - // and the current node isn't a variable or constant + inline void maybeCheckType(const TNode n) const { + /* force an immediate type check, if early type checking is + enabled and the current node isn't a variable or constant */ if( d_nm->d_earlyTypeChecking ) { kind::MetaKind mk = n.getMetaKind(); if( mk != kind::metakind::VARIABLE @@ -842,28 +842,28 @@ TypeNode NodeBuilder<nchild_thresh>::constructTypeNode() const { template <unsigned nchild_thresh> Node NodeBuilder<nchild_thresh>::constructNode() { Node n = Node(constructNV()); - debugCheckType(n); + maybeCheckType(n); return n; } template <unsigned nchild_thresh> Node NodeBuilder<nchild_thresh>::constructNode() const { Node n = Node(constructNV()); - debugCheckType(n); + maybeCheckType(n); return n; } template <unsigned nchild_thresh> Node* NodeBuilder<nchild_thresh>::constructNodePtr() { Node *np = new Node(constructNV()); - debugCheckType(*np); + maybeCheckType(*np); return np; } template <unsigned nchild_thresh> Node* NodeBuilder<nchild_thresh>::constructNodePtr() const { Node *np = new Node(constructNV()); - debugCheckType(*np); + maybeCheckType(*np); return np; } |