ASTDot.hpp

Go to the documentation of this file.

#pragma once
 
#include <iostream>
#include <mutable/parse/AST.hpp>
 
 
namespace m {
 
namespace ast {
 
struct ASTDot : ConstASTVisitor
{
    static constexpr const char * const GRAPH_TYPE = "graph";
    static constexpr const char * const EDGE = " -- ";
 
    std::ostream &out; 
 
    private:
    int indent_; 
 
    public:
    ASTDot(std::ostream &out, int indent = 0);
    ~ASTDot();
 
    using ConstASTVisitor::operator();
#define DECLARE(CLASS) void operator()(Const<CLASS>&) override;
    M_AST_LIST(DECLARE)
#undef DECLARE
 
    private:
    std::ostream & indent() const {
        M_insist(indent_ >= 0, "Indent must not be negative!  Missing increment or superfluous decrement?");
        if (indent_)
            out << '\n' << std::string(2 * indent_, ' ');
        return out;
    }
 
    void cluster(Const<Clause> &c, const char *name, const char *label, const char *color);
};
 
}
 
}