driver.hh

Go to the documentation of this file.

#pragma once

#include <lib/vcsn/rat/fwd.hh>
#include <lib/vcsn/rat/parse.hh>
#include <vcsn/core/rat/fwd.hh>
#include <vcsn/core/rat/identities.hh>
#include <vcsn/dyn/context.hh>
#include <vcsn/dyn/value.hh>
#include <vcsn/misc/export.hh>
#include <vcsn/misc/location.hh>

namespace vcsn
{
  namespace rat
  {
    class LIBVCSN_API driver
    {
    public:
      driver(const dyn::context& ctx, rat::identities ids);
      ~driver();

      void context(const dyn::context& ctx);

      void context(const std::string& ctx);

      dyn::context context() const;

      rat::identities identities() const;

      void tape_push();

      void tape_pop();

      void tape_inc(const location& l);

      dyn::expression parse(std::istream& is, const location& l = location{});

      void error(const location& l, const std::string& m);
      ATTRIBUTE_NORETURN
      void invalid(const location& l, const std::string& s);

      std::string errors;
      std::unique_ptr<yyFlexLexer> scanner_;

      dyn::label make_label(const location& loc, const std::string& s,
                            const dyn::context& ctx);

      dyn::expression make_atom(const location& loc, const std::string& s);

      dyn::expression make_expression(const location& loc,
                                      const class_t& c, bool accept);

      dyn::weight make_weight(const location& loc, const std::string& s);

    private:
      friend class parser;

      location location_;
      dyn::context ctx_;
      rat::identities ids_;
      dyn::expression result_;
      std::vector<unsigned> tapes_ = {0};
      std::vector<dyn::context> tape_ctx_ = {};
    };
  }
}