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