skeleton_parse_context.hpp

// Copyright Take Vos 2020-2021.
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt)
 
#pragma once
 
#include "../formula/formula.hpp"
#include "../strings.hpp"
#include "../algorithm.hpp"
#include <memory>
#include <string_view>
#include <optional>
#include <filesystem>
 
namespace hi::inline v1 {
 
struct skeleton_node;
 
struct skeleton_parse_context {
    using statement_stack_type = std::vector<std::unique_ptr<skeleton_node>>;
    using const_iterator = typename std::string_view::const_iterator;
 
    statement_stack_type statement_stack;
 
    parse_location location;
    const_iterator index;
    const_iterator last;
 
    std::optional<const_iterator> text_segment_start;

    formula_post_process_context post_process_context;
 
    skeleton_parse_context() = delete;
    skeleton_parse_context(skeleton_parse_context const &other) = delete;
    skeleton_parse_context &operator=(skeleton_parse_context const &other) = delete;
    skeleton_parse_context(skeleton_parse_context &&other) = delete;
    skeleton_parse_context &operator=(skeleton_parse_context &&other) = delete;
    ~skeleton_parse_context() = default;
 
    skeleton_parse_context(std::filesystem::path const &path, const_iterator first, const_iterator last);
 
    [[nodiscard]] char const &operator*() const noexcept
    {
        return *index;
    }
 
    [[nodiscard]] bool atEOF() const noexcept
    {
        return index == last;
    }
 
    skeleton_parse_context &operator++() noexcept
    {
        hi_assert(not atEOF());
        location += *index;
        ++index;
        return *this;
    }
 
    skeleton_parse_context &operator+=(ssize_t x) noexcept
    {
        for (ssize_t i = 0; i != x; ++i) {
            ++(*this);
        }
        return *this;
    }
 
    bool starts_with(std::string_view text) const noexcept
    {
        return std::string_view{index, last}.starts_with(text);
    }
 
    bool starts_with_and_advance_over(std::string_view text) noexcept
    {
        if (starts_with(text)) {
            *this += ssize(text);
            return true;
        } else {
            return false;
        }
    }
 
    bool advance_to(std::string_view text) noexcept
    {
        while (!atEOF()) {
            if (starts_with(text)) {
                return true;
            }
            ++(*this);
        }
        return false;
    }
 
    bool advance_over(std::string_view text) noexcept
    {
        if (advance_to(text)) {
            *this += ssize(text);
            return true;
        } else {
            return false;
        }
    }
 
    std::unique_ptr<formula_node> parse_expression(std::string_view end_text);
 
    std::unique_ptr<formula_node> parse_expression_and_advance_over(std::string_view end_text);
 
    template<typename T, typename... Args>
    void push(Args &&...args)
    {
        statement_stack.push_back(std::make_unique<T>(std::forward<Args>(args)...));
    }
 
    [[nodiscard]] bool append(std::unique_ptr<skeleton_node> x) noexcept;
 
    template<typename T, typename... Args>
    [[nodiscard]] bool append(Args &&...args) noexcept
    {
        if (statement_stack.size() > 0) {
            return append(std::make_unique<T>(std::forward<Args>(args)...));
        } else {
            return false;
        }
    }

    [[nodiscard]] bool pop() noexcept;
 
    void start_of_text_segment(int back_track = 0) noexcept;
    void end_of_text_segment();
 
    [[nodiscard]] bool top_statement_is_do() const noexcept;
 
    [[nodiscard]] bool found_elif(parse_location location, std::unique_ptr<formula_node> expression) noexcept;
 
    [[nodiscard]] bool found_else(parse_location location) noexcept;
 
    [[nodiscard]] bool found_while(parse_location location, std::unique_ptr<formula_node> expression) noexcept;
 
    void include(parse_location location, formula_node &expression);
};
 
} // namespace hi::inline v1