raise.hh

Go to the documentation of this file.

#pragma once

#include <sstream>
#include <stdexcept>
#include <utility>

#include <vcsn/misc/attributes.hh>
#include <vcsn/misc/escape.hh>
#include <vcsn/misc/to-string.hh> // to_string

namespace vcsn
{
  namespace detail
  {
    struct pass
    {
      template <typename ...T> pass(T...) {}
    };


    template <typename T>
    void print_(std::ostream& o, const T& arg, long)
    {
      o << arg;
    }

    inline void print_(std::ostream& o, std::istream& is, long)
    {
      is.clear();
      auto buf = std::string{};
      std::getline(is, buf, '\n');
      if (!is.good())
        // This shouldn't really happen; however it's best to fail cleanly.
        is.clear();
      o << str_quote(buf);
    }

    inline void print_(std::ostream& o, std::istringstream& is, long)
    {
      print_(o, static_cast<std::istream&>(is), 0);
    }

    template <typename T>
    auto print_(std::ostream& o, const T& arg, int)
      -> decltype(arg.print_set(o), void())
    {
      arg.print_set(o);
    }

    template <typename T>
    auto print_(std::ostream& o, const T& e, int)
      -> decltype(e.what(), void())
    {
      o << e.what() << '\n';
    }
  }

  template <typename... Args>
  ATTRIBUTE_NORETURN
  void raise(Args&&... args)
  {
    std::ostringstream o;
    using swallow = int[];
    (void) swallow
      {
        (detail::print_(o, args, 0), 0)...
      };
    throw std::runtime_error{o.str()};
  }

  template <typename Bool, typename... Args>
  void require(Bool b, Args&&... args)
  {
    if (!b)
      raise(std::forward<Args>(args)...);
  }
}

#define VCSN_REQUIRE(Cond, ...)                 \
  do {                                          \
    if (!(Cond))                                \
      ::vcsn::raise(__VA_ARGS__);               \
  } while (false)