1 files changed, 190 insertions, 0 deletions
diff --git a/src/boost/libs/hof/test/test.hpp b/src/boost/libs/hof/test/test.hpp
new file mode 100644
index 00000000..17fbd367
--- /dev/null
+++ b/src/boost/libs/hof/test/test.hpp
@@ -0,0 +1,190 @@
+/*=============================================================================
+    Copyright (c) 2017 Paul Fultz II
+    test.hpp
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
+    file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
+==============================================================================*/
+#ifndef GUARD_TEST_H
+#define GUARD_TEST_H
+
+#include <type_traits>
+#include <tuple>
+#include <iostream>
+#include <functional>
+#include <vector>
+#include <memory>
+#include <boost/hof/detail/forward.hpp>
+
+#ifndef BOOST_HOF_HAS_STATIC_TEST_CHECK
+#if (defined(__GNUC__) && !defined (__clang__) && __GNUC__ == 4 && __GNUC_MINOR__ < 7) || defined(_MSC_VER)
+#define BOOST_HOF_HAS_STATIC_TEST_CHECK 0
+#else
+#define BOOST_HOF_HAS_STATIC_TEST_CHECK 1
+#endif
+#endif
+
+
+#define BOOST_HOF_PP_CAT(x, y) BOOST_HOF_PP_PRIMITIVE_CAT(x, y)
+#define BOOST_HOF_PP_PRIMITIVE_CAT(x, y) x ## y
+
+namespace boost { namespace hof { namespace test {
+
+typedef std::function<void()> test_case;
+static std::vector<test_case> test_cases;
+
+struct auto_register
+{
+    auto_register(test_case tc)
+    {
+        test_cases.push_back(tc);
+    }
+};
+
+#define BOOST_HOF_DETAIL_TEST_CASE(name) \
+struct name \
+{ void operator()() const; }; \
+static boost::hof::test::auto_register BOOST_HOF_PP_CAT(name, _register) = boost::hof::test::auto_register(name()); \
+void name::operator()() const
+
+template<class T>
+T bare(const T&);
+
+template<class T>
+inline void unused(T&&) {}
+
+}}} // namespace boost::hof
+
+#if defined(__GNUC__) && !defined (__clang__) && __GNUC__ == 4 && __GNUC_MINOR__ < 7
+#define BOOST_HOF_STATIC_AUTO constexpr auto
+#else
+#define BOOST_HOF_STATIC_AUTO const constexpr auto
+#endif
+
+#define STATIC_ASSERT_SAME(...) static_assert(std::is_same<__VA_ARGS__>::value, "Types are not the same")
+#if defined(__GNUC__) && !defined (__clang__) && __GNUC__ == 4 && __GNUC_MINOR__ < 7
+#define STATIC_ASSERT_MOVE_ONLY(T)
+#else
+#define STATIC_ASSERT_MOVE_ONLY(T) static_assert(!std::is_copy_constructible<T>::value && std::is_move_constructible<T>::value, "Not movable")
+#endif
+#if defined(__GNUC__) && !defined (__clang__) && __GNUC__ == 4 && __GNUC_MINOR__ < 7
+#define STATIC_ASSERT_NOT_DEFAULT_CONSTRUCTIBLE(T)
+#else
+#define STATIC_ASSERT_NOT_DEFAULT_CONSTRUCTIBLE(T) static_assert(!std::is_default_constructible<T>::value, "Default constructible")
+#endif
+#define STATIC_ASSERT_EMPTY(x) static_assert(std::is_empty<decltype(boost::hof::test::bare(x))>::value, "Not empty");
+
+
+#define BOOST_HOF_TEST_CASE() BOOST_HOF_DETAIL_TEST_CASE(BOOST_HOF_PP_CAT(test_, __LINE__))
+#define BOOST_HOF_STATIC_TEST_CASE() struct BOOST_HOF_PP_CAT(test_, __LINE__)
+
+#define BOOST_HOF_TEST_TEMPLATE(...) typedef std::integral_constant<int, sizeof(__VA_ARGS__)> BOOST_HOF_PP_CAT(test_template_, __LINE__)
+
+#define BOOST_HOF_TEST_CHECK(...) if (!(__VA_ARGS__)) std::cout << "***** FAILED *****: " << #__VA_ARGS__ << "@" << __FILE__ << ": " << __LINE__ << std::endl
+#define BOOST_HOF_STRINGIZE(...) #__VA_ARGS__
+
+#if BOOST_HOF_HAS_STATIC_TEST_CHECK
+#define BOOST_HOF_STATIC_TEST_CHECK(...) static_assert(__VA_ARGS__, BOOST_HOF_STRINGIZE(__VA_ARGS__))
+#else
+#define BOOST_HOF_STATIC_TEST_CHECK(...)
+#endif
+
+#ifndef BOOST_HOF_HAS_CONSTEXPR_TUPLE
+#define BOOST_HOF_HAS_CONSTEXPR_TUPLE BOOST_HOF_HAS_STD_14
+#endif
+
+struct binary_class
+{
+    template<class T, class U>
+    constexpr T operator()(T x, U y) const noexcept
+    {
+        return x+y;
+    }
+
+};
+
+struct mutable_class
+{
+    template<class F>
+    struct result;
+
+    template<class F, class T, class U>
+    struct result<F(T&, U)>
+    {
+        typedef T type;
+    };
+
+    template<class T, class U>
+    T operator()(T & x, U y) const
+    {
+        return x+=y;
+    }
+
+};
+
+struct unary_class
+{
+    template<class T>
+    constexpr T&& operator()(T&& x) const noexcept
+    {
+        return boost::hof::forward<T>(x);
+    }
+
+};
+
+struct void_class
+{
+    template<class T> 
+    void operator()(T) const
+    {
+    }
+};
+
+struct mono_class
+{
+    constexpr int operator()(int x) const
+    {
+        return x+1;
+    }
+};
+
+struct tuple_class
+{
+    // Note: Taking the tuple by value causes the compiler to ICE on gcc 4.7
+    // when called in a constexpr context.
+    template<class T>
+    constexpr int operator()(const T& t) const
+    {
+        return std::get<0>(t) + 1;
+    }
+};
+
+template<class R>
+struct explicit_class
+{
+    template<class T>
+    R operator()(T x)
+    {
+        return static_cast<R>(x);
+    }
+};
+
+struct move_class
+{
+    std::unique_ptr<int> i;
+    move_class() : i(new int(0))
+    {}
+
+    template<class T, class U>
+    constexpr T operator()(T x, U y) const
+    {
+        return x+y+*i;
+    }
+};
+
+int main()
+{
+    for(const auto& tc: boost::hof::test::test_cases) tc();
+    return 0;
+}
+ 
+#endif