Teuchos_Parser.hpp

Go to the documentation of this file.

#ifndef TEUCHOS_PARSER_HPP
#define TEUCHOS_PARSER_HPP

#include <Teuchos_TableDecl.hpp>
#include <Teuchos_Grammar.hpp>

namespace Teuchos {

enum ActionKind {
  ACTION_NONE,
  ACTION_SHIFT,
  ACTION_REDUCE
};

struct Action {
  ActionKind kind;
  union {
    int production;
    int next_state;
  };
};

#ifdef HAVE_TEUCHOSCORE_CXX11
extern template struct Table<Action>;
#endif

struct Parser {
  GrammarPtr grammar;
  /* (state x terminal) -> action */
  Table<Action> terminal_table;
  /* (state x non-terminal) -> new state */
  Table<int> nonterminal_table;
  Parser() {}
  Parser(GrammarPtr g, int nstates_reserve);
};

int add_state(Parser& p);
int get_nstates(Parser const& p);
void add_terminal_action(Parser& p, int state, int terminal, Action action);
void add_nonterminal_action(Parser& p, int state, int nonterminal, int next_state);
Action const& get_action(Parser const& p, int state, int terminal);
int execute_action(Parser const& p, std::vector<int>& stack, Action const& action);
GrammarPtr const& get_grammar(Parser const& p);

class ParserFail: public std::invalid_argument {
 public:
  ParserFail(const std::string& msg);
};

Parser make_lalr1_parser(GrammarPtr grammar, bool verbose = false);

}

#endif