diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-03 20:39:25 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-03 20:39:25 +0000 |
commit | 3daaecd22fe5f6147cb08e5a4e08177b33a2daa2 (patch) | |
tree | 46cb65c3673a5678a7779ff970aea9460233f1f1 /src/expr/expr_template.cpp | |
parent | e26a44d5f98a9953dffeb07b29a21e7efd501684 (diff) |
fix uses of getMetaKind() from outside the expr package. (they now use isConst() and isVar() as appropriate)
also some base infrastructure for the new ::isConst().
Diffstat (limited to 'src/expr/expr_template.cpp')
-rw-r--r-- | src/expr/expr_template.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index c70fed889..f88914fd2 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -114,9 +114,9 @@ namespace expr { static Node exportConstant(TNode n, NodeManager* to); Node exportInternal(TNode n, ExprManager* from, ExprManager* to, ExprManagerMapCollection& vmap) { - if(n.getMetaKind() == kind::metakind::CONSTANT) { + if(n.isConst()) { return exportConstant(n, NodeManager::fromExprManager(to)); - } else if(n.getMetaKind() == kind::metakind::VARIABLE) { + } else if(n.isVar()) { Expr from_e(from, new Node(n)); Expr& to_e = vmap.d_typeMap[from_e]; if(! to_e.isNull()) { @@ -522,7 +522,7 @@ ${getConst_implementations} namespace expr { static Node exportConstant(TNode n, NodeManager* to) { - Assert(n.getMetaKind() == kind::metakind::CONSTANT); + Assert(n.isConst()); switch(n.getKind()) { ${exportConstant_cases} |