read.hh

Go to the documentation of this file.

#ifndef VCSN_ALGOS_READ_HH
# define VCSN_ALGOS_READ_HH

# include <vcsn/dyn/context.hh>
# include <vcsn/dyn/fwd.hh>
# include <vcsn/dyn/label.hh>
# include <vcsn/dyn/polynomial.hh>
# include <vcsn/dyn/weight.hh>
# include <vcsn/weightset/polynomialset.hh>

namespace vcsn
{

  /*-------------.
  | read_label.  |
  `-------------*/

  template <typename Context>
  inline
  auto
  read_label(std::istream& is, const Context& ctx)
    -> label_t_of<Context>
  {
    return ctx.labelset()->conv(is);
  }

  namespace dyn
  {
    namespace detail
    {
      template <typename Istream, typename Context>
      auto
      read_label(std::istream& is, const context& ctx)
        -> label
      {
        const auto& c = ctx->as<Context>();
        auto res = ::vcsn::read_label(is, c);
        return make_label(*c.labelset(), res);
      }

      REGISTER_DECLARE(read_label,
                       (std::istream& is, const context& ctx) -> label);
    }
  }


  /*------------------.
  | read_polynomial.  |
  `------------------*/

  template <typename Context>
  inline
  auto
  read_polynomial(const Context& ctx, std::istream& is)
    -> typename polynomialset<Context>::value_t
  {
    return polynomialset<Context>(ctx).conv(is);
  }

  namespace dyn
  {
    namespace detail
    {
      template <typename Context, typename Istream>
      auto
      read_polynomial(const context& ctx, std::istream& is)
        -> polynomial
      {
        const auto& c = ctx->as<Context>();
        auto ps = polynomialset<Context>(c);
        auto res = ::vcsn::read_polynomial(c, is);
        return make_polynomial(ps, res);
      }

      REGISTER_DECLARE(read_polynomial,
                       (const context& ctx, std::istream& is) -> polynomial);
    }
  }


  /*--------------.
  | read_weight.  |
  `--------------*/

  template <typename Context>
  inline
  auto
  read_weight(const Context& ctx, std::istream& is)
    -> weight_t_of<Context>
  {
    return ctx.weightset()->conv(is);
  }

  namespace dyn
  {
    namespace detail
    {
      template <typename Context, typename Istream>
      auto
      read_weight(const context& ctx, std::istream& is)
        -> weight
      {
        const auto& c = ctx->as<Context>();
        auto res = ::vcsn::read_weight(c, is);
        return make_weight(*c.weightset(), res);
      }

      REGISTER_DECLARE(read_weight,
                       (const context& ctx, std::istream& is) -> weight);
    }
  }


} // namespace vcsn

#endif // !VCSN_ALGOS_READ_HH