printer.h

// Copyright (c) 2020-now by the Zeek Project. See LICENSE for details.
 
#pragma once
 
#include <cstddef>
#include <iostream>
#include <memory>
#include <string>
#include <utility>
#include <vector>
 
#include <hilti/ast/forward.h>
#include <hilti/ast/id.h>
#include <hilti/ast/node.h>
#include <hilti/base/util.h>
 
namespace hilti {
 
struct Plugin;
 
namespace printer {
 
void print(std::ostream& out, Node* root, bool compact, bool user_visible);
 
namespace detail {
 
struct State {
    const Plugin* current_plugin = nullptr;
 
    std::vector<ID> scopes = {{""}};
    std::string pending;
    int indent = 0;
    bool wrote_nl = false;
    bool first_in_block = false;
    bool last_in_block = false;
    bool expand_subsequent_type = false;
    bool compact = false;
    bool user_visible = true;
 
    inline static std::unique_ptr<State> current;
    inline static uint64_t depth = 0;
};
} // namespace detail
 
class Stream {
public:
    Stream(std::ostream& s) : _stream(s) {}
 
    auto& state() const {
        assert(detail::State::current);
        return *detail::State::current;
    }
 
    void beginLine() {
        _flush_pending();
        _stream << std::string(static_cast<size_t>(state().indent) * 4, ' ');
    }
 
    void endLine() { _stream << '\n'; }
 
    void emptyLine() {
        if ( state().wrote_nl )
            return;
 
        endLine();
        state().wrote_nl = true;
    }
 
    char newline() const { return '\n'; }
 
    bool isExpandSubsequentType() const { return state().expand_subsequent_type; }
    void setExpandSubsequentType(bool expand) { state().expand_subsequent_type = expand; }
 
    bool isCompact() const { return state().compact; }
    void setCompact(bool compact) { state().compact = compact; }
 
 
    bool isFirstInBlock() const { return state().first_in_block; }
    bool isLastInBlock() const { return state().last_in_block; }
    void setPositionInBlock(bool first, bool last) {
        state().first_in_block = first;
        state().last_in_block = last;
    }
 
    auto indent() const { return state().indent; }
    void incrementIndent() { ++state().indent; }
    void decrementIndent() {
        --state().indent;
        state().first_in_block = state().last_in_block = false;
    }
 
    const ID& currentScope() { return state().scopes.back(); }
    void pushScope(ID id) { state().scopes.push_back(std::move(id)); }
    void popScope() { state().scopes.pop_back(); }
 
    template<typename T>
    Stream& operator<<(T* t)
        requires std::is_base_of_v<Node, T>
    {
        _flush_pending();
        _print(t);
        return *this;
    }
 
    Stream& operator<<(const ID& id);
 
    template<typename T>
    Stream& operator<<(const T& t)
        requires(! std::is_base_of_v<Node, T>)
    {
        state().wrote_nl = false;
        _flush_pending();
        _stream << t;
        return *this;
    }
 
    // Output lists.
    template<typename T>
    Stream& operator<<(const std::pair<T, const char*>& p) {
        bool first = true;
        for ( const auto& i : p.first ) {
            _flush_pending();
 
            if ( ! first )
                _stream << p.second;
 
            (*this) << i;
            first = false;
        }
 
        return *this;
    }
 
    template<typename T>
    Stream& operator<<(std::pair<T*, const char*> p) {
        bool first = true;
        for ( auto& i : p.first ) {
            _flush_pending();
 
            if ( ! first )
                _stream << p.second;
 
            (*this) << *i;
            first = false;
        }
 
        return *this;
    }
 
private:
    friend void printer::print(std::ostream& out, Node* root, bool compact, bool user_visible);
 
    void _print(Node* root);
 
    void _flush_pending() {
        _stream << state().pending;
        state().pending.clear();
    }
 
    std::ostream& _stream;
};
 
} // namespace printer
} // namespace hilti