label.hh

Go to the documentation of this file.

#ifndef VCSN_DYN_LABEL_HH
# define VCSN_DYN_LABEL_HH

# include <memory>
# include <string>

# include <vcsn/misc/export.hh>

namespace vcsn
{
  namespace dyn
  {
    namespace detail
    {

      class LIBVCSN_API label_base
      {
      public:
        virtual std::string vname(bool full = true) const = 0;

        template <typename LabelSet>
        label_wrapper<LabelSet>& as()
        {
          return dynamic_cast<label_wrapper<LabelSet>&>(*this);
        }

        template <typename LabelSet>
        const label_wrapper<LabelSet>& as() const
        {
          return dynamic_cast<const label_wrapper<LabelSet>&>(*this);
        }
      };

      template <typename LabelSet>
      class label_wrapper: public label_base
      {
      public:
        using labelset_t = LabelSet;
        using super_t = label_base;
        using label_t = typename labelset_t::value_t;
        label_wrapper(const label_t& l, const labelset_t& ls)
          : label_(l)
          , labelset_(ls)
        {}

        virtual std::string vname(bool full = true) const override
        {
          return labelset().vname(full);
        }

        const label_t label() const
        {
          return label_;
        }

        const labelset_t& labelset() const
        {
          return labelset_;
        }

      protected:
        const label_t label_;
        const labelset_t labelset_;
      };

    } // namespace detail

    using label = std::shared_ptr<const detail::label_base>;

    template <typename LabelSet>
    inline
    label
    make_label(const LabelSet& ls,
               const typename LabelSet::value_t& l)
    {
      return std::make_shared<detail::label_wrapper<LabelSet>>(l, ls);
    }

    template <typename LabelSet>
    inline
    label
    make_word(const LabelSet& ls,
              const typename LabelSet::value_t& l)
    {
      return make_label(make_wordset(ls), l);
    }
  } // namespace dyn
} // namespace vcsn

#endif // !VCSN_DYN_LABEL_HH