QueryGraph2SQL.hpp

Go to the documentation of this file.

#pragma once
 
#include <functional>
#include <mutable/IR/CNF.hpp>
#include <mutable/parse/AST.hpp>
 
 
namespace m {
 
struct QueryGraph;
 
struct QueryGraph2SQL : private ast::ConstASTExprVisitor
{
    private:
    std::ostream &out_; 
    const QueryGraph *graph_; 
    bool after_grouping_ = false; 
 
    public:
    QueryGraph2SQL(std::ostream &out) : out_(out) { }
    private:
    QueryGraph2SQL(std::ostream &out, const QueryGraph *graph) : out_(out), graph_(graph) { }
    QueryGraph2SQL(std::ostream &out, const QueryGraph *graph, bool after_grouping)
        : out_(out), graph_(graph), after_grouping_(after_grouping) { }
 
    public:
    void translate(const QueryGraph&);
    void operator()(const QueryGraph &graph) { translate(graph); }
 
    private:
    void insert_projection(const ast::Expr*);
    void translate_projection(std::pair<std::reference_wrapper<const ast::Expr>, ThreadSafePooledOptionalString>);
 
    bool references_group_by(ast::Designator::target_type);
 
    static ThreadSafePooledString make_unique_alias();
 
    using ConstASTExprVisitor::operator();
#define DECLARE(CLASS) void operator()(Const<CLASS>&) override;
    M_AST_EXPR_LIST(DECLARE)
#undef DECLARE
 
    void operator()(const cnf::Predicate&);
    void operator()(const cnf::Clause&);
    void operator()(const cnf::CNF&);
};
 
}