context-parser.hh

Go to the documentation of this file.

#ifndef VCSN_DYN_CONTEXT_PARSER_HH
# define VCSN_DYN_CONTEXT_PARSER_HH

# include <sstream>
# include <string>

# include <vcsn/core/rat/identities.hh>
# include <vcsn/dyn/type-ast.hh>
# include <vcsn/misc/set.hh>
# include <vcsn/misc/stream.hh>

namespace vcsn
{
  namespace ast
  {
    class context_parser
    {
    public:
      context_parser(std::istringstream& is)
        : is_(is)
      {}

      std::shared_ptr<ast_node> parse();

      std::shared_ptr<ast_node> parse_context();

    private:
      std::shared_ptr<ast_node> any_();

      std::string word_();

      std::shared_ptr<const genset> genset_();
      std::shared_ptr<const genset> genset_(const std::string& letter_type);

      std::shared_ptr<context> context_();
      std::shared_ptr<context> context_(const std::string& word);
      std::shared_ptr<context> context_(const std::shared_ptr<ast_node>& ls);

      std::shared_ptr<ast_node> labelset_();
      std::shared_ptr<ast_node> labelset_(const std::string& kind);

      std::shared_ptr<ast_node> weightset_();
      std::shared_ptr<ast_node> weightset_(const std::string& ws);

      std::shared_ptr<automaton> automaton_(std::string prefix);
      std::shared_ptr<tupleset> tupleset_();

      std::shared_ptr<ratexpset> ratexpset_();
      std::shared_ptr<ratexpset> ratexpset_series_(); // No optional parameter

      std::shared_ptr<polynomialset> polynomialset_();

      std::shared_ptr<ast_node> labelset_or_weightset_();
      std::shared_ptr<ast_node> labelset_or_weightset_(const std::string& kind);
      std::istringstream& is_;

      std::set<std::string> weightsets_
        =
        {
          "b",
          "f2",
          "q",
          "qmp",
          "r",
          "rmin",
          "z",
          "zmin",
        };

      std::set<std::string> labelsets_
        =
        {
          "lal_char",
          "lan",
          "lan_char",
          "lao",
          "law_char",
          "letterset",
          "wordset",
        };
    };
  }
}

#endif // !VCSN_DYN_CONTEXT_PARSER_HH