driver.hh

Go to the documentation of this file.

#pragma once

#include <lib/vcsn/dot/fwd.hh>
#include <vcsn/algos/edit-automaton.hh>
#include <vcsn/core/fwd.hh>
#include <vcsn/core/rat/fwd.hh>
#include <vcsn/misc/export.hh>
#include <vcsn/misc/location.hh>

namespace vcsn
{
  namespace detail
  {
    namespace dot
    {
      using location_t = vcsn::rat::location;

      class LIBVCSN_API driver
      {
      public:
        driver();
        ~driver();

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

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

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

      private:
        void setup_(const location_t& l, const std::string& ctx);

        bool has_edit_(const location_t& l);
        bool require_context_done_ = false;

        location_t location_;
        std::shared_ptr<vcsn::automaton_editor> edit_;
        friend class parser;
      };
    }
  }
}