diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-06-30 03:56:58 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-06-30 03:56:58 +0000 |
commit | c64799a735cc9fecb8e618b2c66b252d7cda549d (patch) | |
tree | 36d97c2bfd3a911c936ae8f65d7e21d7ffd064dd /src/expr/node_value.h | |
parent | b906fe1d71ecb238365ecc8bcca8b5bb1719eb56 (diff) |
some things I had laying around in a directory but never got committed; minor fix-ups to documentation and some node stuff
Diffstat (limited to 'src/expr/node_value.h')
-rw-r--r-- | src/expr/node_value.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index f2da42731..2c11b58d5 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -290,6 +290,7 @@ public: template <class T> inline const T& getConst() const; + NodeValue* getOperator() const; NodeValue* getChild(int i) const; void printAst(std::ostream& out, int indent = 0) const; @@ -432,6 +433,11 @@ inline bool NodeValue::isBeingDeleted() const { NodeManager::currentNM()->isCurrentlyDeleting(this); } +inline NodeValue* NodeValue::getOperator() const { + Assert(getMetaKind() == kind::metakind::PARAMETERIZED); + return d_children[0]; +} + inline NodeValue* NodeValue::getChild(int i) const { if(getMetaKind() == kind::metakind::PARAMETERIZED) { ++i; |