context-parser.hh

Go to the documentation of this file.

#pragma once

#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::string parameters_();

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

      std::shared_ptr<context> context_();
      std::shared_ptr<context> context_(std::string word);

      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<tuple> tuple_();

      std::shared_ptr<tupleset> tupleset_();

      std::shared_ptr<expressionset> expressionset_();
      std::shared_ptr<expressionset> seriesset_();

      std::shared_ptr<expansionset> expansionset_();

      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",
          "log",
          "nmin",
          "q",
          "qmp",
          "r",
          "rmin",
          "z",
          "zmin",
        };

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