diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-08-25 17:19:41 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-26 00:19:41 +0000 |
| commit | 71f025753f734ddade5da333dfe2d144fbc13221 (patch) | |
| tree | 271e0a03b5612652d5fdb040fa2d7f43e8644aea /src/expr/node.h | |
| parent | 78d29da02099762374adeb694ed96c496c7e1ffc (diff) | |
Consolidate language types (#7065)
This PR combines the two enums InputLanguage and OutputLanguage into a single Language type. It makes sure that AST is not used as input language using a predicate whenever the option is set.
Diffstat (limited to 'src/expr/node.h')
| -rw-r--r-- | src/expr/node.h | 33 |
1 files changed, 12 insertions, 21 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index a406b3d13..1ce915472 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -826,11 +826,10 @@ public: * print it fully * @param language the language in which to output */ - inline void toStream( - std::ostream& out, - int toDepth = -1, - size_t dagThreshold = 1, - OutputLanguage language = language::output::LANG_AUTO) const + inline void toStream(std::ostream& out, + int toDepth = -1, + size_t dagThreshold = 1, + Language language = Language::LANG_AUTO) const { assertTNodeNotExpired(); d_nv->toStream(out, toDepth, dagThreshold, language); @@ -1483,17 +1482,13 @@ Node NodeTemplate<ref_count>::substitute( * to meet. A cleaner solution is welcomed. */ static void __attribute__((used)) debugPrintNode(const NodeTemplate<true>& n) { - Warning() << Node::setdepth(-1) - << Node::dag(true) - << Node::setlanguage(language::output::LANG_AST) - << n << std::endl; + Warning() << Node::setdepth(-1) << Node::dag(true) + << Node::setlanguage(Language::LANG_AST) << n << std::endl; Warning().flush(); } static void __attribute__((used)) debugPrintNodeNoDag(const NodeTemplate<true>& n) { - Warning() << Node::setdepth(-1) - << Node::dag(false) - << Node::setlanguage(language::output::LANG_AST) - << n << std::endl; + Warning() << Node::setdepth(-1) << Node::dag(false) + << Node::setlanguage(Language::LANG_AST) << n << std::endl; Warning().flush(); } static void __attribute__((used)) debugPrintRawNode(const NodeTemplate<true>& n) { @@ -1502,17 +1497,13 @@ static void __attribute__((used)) debugPrintRawNode(const NodeTemplate<true>& n) } static void __attribute__((used)) debugPrintTNode(const NodeTemplate<false>& n) { - Warning() << Node::setdepth(-1) - << Node::dag(true) - << Node::setlanguage(language::output::LANG_AST) - << n << std::endl; + Warning() << Node::setdepth(-1) << Node::dag(true) + << Node::setlanguage(Language::LANG_AST) << n << std::endl; Warning().flush(); } static void __attribute__((used)) debugPrintTNodeNoDag(const NodeTemplate<false>& n) { - Warning() << Node::setdepth(-1) - << Node::dag(false) - << Node::setlanguage(language::output::LANG_AST) - << n << std::endl; + Warning() << Node::setdepth(-1) << Node::dag(false) + << Node::setlanguage(Language::LANG_AST) << n << std::endl; Warning().flush(); } static void __attribute__((used)) debugPrintRawTNode(const NodeTemplate<false>& n) { |