grammar.hpp

#pragma once
#include "symbol_table.hpp"
#include <string>
#include <unordered_map>
#include <vector>
using production = std::vector<symbol_table::TokenID>;
 
struct Grammar {

    explicit Grammar(std::string filename);

    void ReadFromFile();

    void AddRule(symbol_table::TokenID antecedent,
                 const production&     consequent);

    void SetAxiom(symbol_table::TokenID axiom);

    std::vector<std::pair<symbol_table::TokenID, production>>
    FilterRulesByConsequent(symbol_table::TokenID arg);

    void Debug();

    static std::vector<symbol_table::TokenID> Split(const std::string& s);

    std::string GenerateNewNonTerminal(const std::string& base);

    std::unordered_map<symbol_table::TokenID, std::vector<production>> g_;

    std::vector<symbol_table::TokenID> nt_order_{};

    symbol_table::TokenID axiom_{};

    const std::string kFilename;
};