parsegen_build_parser.hpp

#pragma once

#include <memory>
#include <set>

#include "parsegen_shift_reduce_tables.hpp"
#include "parsegen_parser_graph.hpp"

namespace parsegen {

struct configuration {
  int production;
  int dot;
};

using configurations = std::vector<configuration>;

using context_type = std::set<int>;

/* nonterminal transitions will be stored as SHIFT
   actions while in progress */
struct action_in_progress {
  parsegen::action action;
  context_type context;
};

struct state_in_progress {
  std::vector<int> configs;
  std::vector<action_in_progress> actions;
};

using state_in_progress_vector = std::vector<std::unique_ptr<state_in_progress>>;

struct state_configuration {
  int state;
  int config_in_state;
};

using state_configurations = std::vector<state_configuration>;

struct parser_in_progress {
  state_in_progress_vector states;
  configurations configs;
  state_configurations state_configs;
  parser_graph states2state_configs;
  grammar_ptr grammar;
};

state_configurations form_state_configs(state_in_progress_vector const& states);
parser_graph form_states_to_state_configs(
    state_configurations const& scs, state_in_progress_vector const& states);

void print_dot(std::string const& filepath, parser_in_progress const& pip);

parser_in_progress build_lalr1_parser(grammar_ptr grammar, bool verbose = false);

shift_reduce_tables accept_parser(parser_in_progress const& pip);

}  // namespace parsegen