make-context.hh

Go to the documentation of this file.

#ifndef VCSN_ALGOS_MAKE_CONTEXT_HH
# define VCSN_ALGOS_MAKE_CONTEXT_HH

# include <sstream>

# include <vcsn/core/rat/ratexpset.hh>
# include <vcsn/ctx/fwd.hh>
# include <vcsn/dyn/automaton.hh>
# include <vcsn/dyn/context.hh>
# include <vcsn/dyn/ratexpset.hh>
# include <vcsn/misc/raise.hh>

namespace vcsn
{

  /*---------------.
  | make_context.  |
  `---------------*/

  template <typename Ctx>
  Ctx
  make_context(const std::string& name)
  {
    std::istringstream is{name};
    auto res = Ctx::make(is);
    // Something extremely weird is going wrong with str_escape when
    // called here from Python.  I have not been able to understand
    // what the problem was, and maybe it's actually a problem bw the
    // compiler (clang 3.4), the c++ lib (libstc++), and Python, and
    // possibly Boost after all.
    //
    // The good news is that this seems to work properly.
    if (is.peek() != -1)
      raise(__func__, ": invalid context name: ", str_escape(name),
            ", unexpected ", str_escape(is.peek()));
    return res;
  }

  namespace dyn
  {
    namespace detail
    {
      template <typename Ctx>
      context
      make_context(const std::string& name)
      {
        return dyn::make_context(vcsn::make_context<Ctx>(name));
      }

      REGISTER_DECLARE(make_context,
                       (const std::string& name) -> context);
    }
  }


  /*-------------.
  | context_of.  |
  `-------------*/

  namespace dyn
  {
    namespace detail
    {
      template <typename Aut>
      context
      context_of(const automaton& aut)
      {
        const auto& a = aut->as<Aut>();
        return dyn::make_context(a->context());
      }

      REGISTER_DECLARE(context_of,
                       (const automaton& aut) -> context);

      template <typename RatExpSet>
      context
      context_of_ratexp(const ratexp& exp)
      {
        const auto& e = exp->as<RatExpSet>().ratexpset();
        return dyn::make_context(e.context());
      }

      REGISTER_DECLARE(context_of_ratexp,
                       (const ratexp& exp) -> context);
    }
  }



  /*-----------------.
  | make_ratexpset.  |
  `-----------------*/

  namespace dyn
  {
    namespace detail
    {

      template <typename Ctx, typename Identities>
      ratexpset
      make_ratexpset(const context& ctx, ::vcsn::rat::identities ids)
      {
        const auto& c = ctx->as<Ctx>();
        return ::vcsn::dyn::make_ratexpset(::vcsn::ratexpset<Ctx>(c, ids));
      }

      REGISTER_DECLARE(make_ratexpset,
                       (const context& ctx, ::vcsn::rat::identities ids)
                       -> ratexpset);
    }
  }

  /*--------------------.
  | make_word_context.  |
  `--------------------*/

  namespace dyn
  {
    namespace detail
    {

      template <typename Ctx>
      context
      make_word_context(const context& ctx)
      {
        const auto& c = ctx->as<Ctx>();
        return ::vcsn::dyn::make_context(::vcsn::detail::make_word_context(c));
      }

      REGISTER_DECLARE(make_word_context,
                       (const context& ctx) -> context);
    }
  }

} // vcsn::

#endif // !VCSN_ALGOS_MAKE_CONTEXT_HH