ClickHouse/dbms/src/Interpreters/InDepthNodeVisitor.h

91 lines
2.3 KiB
C++
Raw Normal View History

#pragma once
2019-02-22 13:33:56 +00:00
#include <typeinfo>
#include <vector>
#include <Common/typeid_cast.h>
#include <Parsers/DumpASTNode.h>
namespace DB
{
/// Visits AST tree in depth, call functions for nodes according to Matcher type data.
2019-02-22 13:33:56 +00:00
/// You need to define Data, visit() and needChildVisit() in Matcher class.
2019-07-23 19:49:15 +00:00
template <typename Matcher, bool _top_to_bottom, typename T>
class InDepthNodeVisitorTemplate
{
public:
using Data = typename Matcher::Data;
2019-07-23 19:49:15 +00:00
InDepthNodeVisitorTemplate(Data & data_, std::ostream * ostr_ = nullptr)
: data(data_),
visit_depth(0),
ostr(ostr_)
{}
2019-07-23 19:49:15 +00:00
void visit(T & ast)
{
2019-02-22 13:33:56 +00:00
DumpASTNode dump(*ast, ostr, visit_depth, typeid(Matcher).name());
if constexpr (!_top_to_bottom)
visitChildren(ast);
2019-02-22 13:33:56 +00:00
Matcher::visit(ast, data);
if constexpr (_top_to_bottom)
visitChildren(ast);
}
private:
Data & data;
size_t visit_depth;
std::ostream * ostr;
2019-07-23 19:49:15 +00:00
void visitChildren(T & ast)
{
for (auto & child : ast->children)
if (Matcher::needChildVisit(ast, child))
visit(child);
}
};
2019-07-23 19:49:15 +00:00
template <typename Matcher, bool top_to_bottom>
using InDepthNodeVisitor = InDepthNodeVisitorTemplate<Matcher, top_to_bottom, ASTPtr>;
template <typename Matcher, bool top_to_bottom>
using ConstInDepthNodeVisitor = InDepthNodeVisitorTemplate<Matcher, top_to_bottom, const ASTPtr>;
/// Simple matcher for one node type without complex traversal logic.
template <typename _Data, bool _visit_children = true>
class OneTypeMatcher
{
public:
using Data = _Data;
using TypeToVisit = typename Data::TypeToVisit;
static bool needChildVisit(ASTPtr &, const ASTPtr &) { return _visit_children; }
2019-02-22 13:33:56 +00:00
static void visit(ASTPtr & ast, Data & data)
{
if (auto * t = typeid_cast<TypeToVisit *>(ast.get()))
data.visit(*t, ast);
}
};
/// Links two simple matches into resulting one. There's no complex traversal logic: all the children would be visited.
template <typename First, typename Second>
class LinkedMatcher
{
public:
using Data = std::pair<typename First::Data, typename Second::Data>;
static bool needChildVisit(ASTPtr &, const ASTPtr &) { return true; }
2019-02-22 13:33:56 +00:00
static void visit(ASTPtr & ast, Data & data)
{
First::visit(ast, data.first);
Second::visit(ast, data.second);
}
};
}