driver.hh

Go to the documentation of this file.

#ifndef LIB_VCSN_RAT_DRIVER_HH
# define LIB_VCSN_RAT_DRIVER_HH

# include <vcsn/core/rat/fwd.hh>
# include <vcsn/dyn/ratexp.hh>
# include <vcsn/dyn/ratexpset.hh>
# include <lib/vcsn/rat/location.hh>
# include <vcsn/misc/export.hh>

# include <lib/vcsn/rat/fwd.hh>
# include <lib/vcsn/rat/parse.hh>

namespace vcsn
{
  namespace rat
  {

    class LIBVCSN_API driver
    {
    public:
      driver(const dyn::ratexpset& rs);
      ~driver();
      void ratexpset(const dyn::ratexpset& rs);
      void context(const std::string& ctx);

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

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

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

    private:
      location location_;
      dyn::ratexpset ratexpset_;
      vcsn::rat::exp_t result_;
      friend class parser;
    };

  }
}
#endif // !LIB_VCSN_RAT_DRIVER_HH