kind.hh

Go to the documentation of this file.

#pragma once

#include <istream>

#include <vcsn/misc/stream.hh> // eat
#include <vcsn/misc/symbol.hh>
#include <vcsn/misc/type_traits.hh> // std::is_same_t

namespace vcsn
{


#define DEFINE(Abbrev, Name)                                            \
  struct labels_are_ ## Name                                            \
  {                                                                     \
    static symbol sname()                                               \
    {                                                                   \
      static auto res = symbol{#Abbrev};                                \
      return res;                                                       \
    }                                                                   \
                                                                        \
    static void make(std::istream& is)                                  \
    {                                                                   \
      eat(is, sname());                                                 \
    }                                                                   \
                                                                        \
  };                                                                    \
                                                                        \
  template <typename Kinded>                                            \
  struct is_ ## Abbrev                                                  \
    : std::is_same<typename Kinded::kind_t, labels_are_ ## Name>        \
  {}

  DEFINE(lal, letters);
  DEFINE(lan, nullable);
  DEFINE(lao, one);
  DEFINE(lar, expressions);
  DEFINE(lat, tuples);
  DEFINE(law, words);

#undef DEFINE
}