slr1_parser.hpp

Go to the documentation of this file.

#pragma once
 
#include <map>
#include <span>
#include <string>
#include <unordered_set>
 
#include "grammar.hpp"
#include "lr0_item.hpp"
#include "state.hpp"

class SLR1Parser {
  public:
    enum class Action { Shift, Reduce, Accept, Empty };

    struct s_action {
        const Lr0Item* item;
        Action         action;
    };

    using action_table =
        std::map<unsigned int, std::map<std::string, SLR1Parser::s_action>>;

    using transition_table =
        std::map<unsigned int, std::map<std::string, unsigned int>>;
 
    SLR1Parser() = default;
    explicit SLR1Parser(Grammar gr);

    std::unordered_set<Lr0Item> AllItems() const;

    void Closure(std::unordered_set<Lr0Item>& items);

    void ClosureUtil(std::unordered_set<Lr0Item>& items, unsigned int size,
                     std::unordered_set<std::string>& visited);

    std::unordered_set<Lr0Item> Delta(const std::unordered_set<Lr0Item>& items,
                                      const std::string&                 str);

    bool SolveLRConflicts(const state& st);

    void First(std::span<const std::string>     rule,
               std::unordered_set<std::string>& result);
    void ComputeFirstSets();

    void ComputeFollowSets();

    std::unordered_set<std::string> Follow(const std::string& arg);

    void MakeInitialState();

    bool MakeParser();

    std::string PrintItems(const std::unordered_set<Lr0Item>& items) const;

    Grammar gr_;

    std::unordered_map<std::string, std::unordered_set<std::string>>
        first_sets_;

    std::unordered_map<std::string, std::unordered_set<std::string>>
        follow_sets_;

    action_table actions_;

    transition_table transitions_;

    std::unordered_set<state> states_;
};