1 files changed, 185 insertions, 0 deletions
diff --git a/src/boost/libs/parameter/test/mpl.cpp b/src/boost/libs/parameter/test/mpl.cpp
new file mode 100644
index 00000000..d03ce4d6
--- /dev/null
+++ b/src/boost/libs/parameter/test/mpl.cpp
@@ -0,0 +1,185 @@
+// Copyright David Abrahams 2006.
+// Copyright Cromwell D. Enage 2019.
+// 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)
+
+#include <boost/parameter/config.hpp>
+#include <boost/mpl/list.hpp>
+#include <boost/mpl/placeholders.hpp>
+#include <boost/mpl/for_each.hpp>
+#include <boost/mpl/size.hpp>
+#include <boost/mpl/contains.hpp>
+#include <boost/mpl/assert.hpp>
+#include <boost/type_traits/add_pointer.hpp>
+#include "basics.hpp"
+
+#if defined(BOOST_PARAMETER_CAN_USE_MP11)
+#include <boost/mp11/list.hpp>
+#include <boost/mp11/map.hpp>
+#include <boost/mp11/algorithm.hpp>
+#include <boost/mp11/mpl.hpp>
+#endif
+
+namespace test {
+
+#if defined(BOOST_PARAMETER_CAN_USE_MP11)
+    template <typename Map>
+    struct assert_in_map
+    {
+        template <typename T>
+        void operator()(T&&)
+        {
+            static_assert(
+                boost::mp11::mp_map_contains<Map,T>::value
+              , "T must be in Map"
+            );
+        }
+    };
+
+    template <typename Set>
+    struct assert_in_set_0
+    {
+        template <typename T>
+        void operator()(T&&)
+        {
+            static_assert(
+                boost::mp11::mp_contains<Set,T>::value
+              , "T must be in Set"
+            );
+        }
+    };
+#endif
+
+    template <typename Set>
+    struct assert_in_set_1
+    {
+        template <typename T>
+        void operator()(T*)
+        {
+            BOOST_MPL_ASSERT((boost::mpl::contains<Set,T>));
+        }
+    };
+
+    template <typename Expected, typename Args>
+    void f_impl(Args const& p BOOST_APPEND_EXPLICIT_TEMPLATE_TYPE(Expected))
+    {
+#if defined(BOOST_PARAMETER_CAN_USE_MP11)
+        static_assert(
+            boost::mp11::mp_size<Expected>::value == boost::mp11::mp_size<
+                Args
+            >::value
+          , "mp_size<Expected>::value == mp_size<Args>::value"
+        );
+
+        boost::mp11::mp_for_each<boost::mp11::mp_map_keys<Args> >(
+            test::assert_in_set_0<Expected>()
+        );
+        boost::mp11::mp_for_each<Expected>(test::assert_in_map<Args>());
+#endif
+
+        BOOST_MPL_ASSERT_RELATION(
+            boost::mpl::size<Expected>::value
+          , ==
+          , boost::mpl::size<Args>::value
+        );
+
+        boost::mpl::for_each<Args,boost::add_pointer<boost::mpl::_1> >(
+            test::assert_in_set_1<Expected>()
+        );
+        boost::mpl::for_each<Expected,boost::add_pointer<boost::mpl::_1> >(
+            test::assert_in_set_1<Args>()
+        );
+    }
+
+    template <
+        typename Expected
+      , typename Tester
+      , typename Name
+      , typename Value
+      , typename Index
+    >
+    void f(
+        Tester const& t
+      , Name const& name_
+      , Value const& value_
+      , Index const& index_
+        BOOST_APPEND_EXPLICIT_TEMPLATE_TYPE(Expected)
+    )
+    {
+        test::f_impl<Expected>(
+            test::f_parameters()(t, name_, value_, index_)
+        );
+    }
+
+    template <
+        typename Expected
+      , typename Tester
+      , typename Name
+      , typename Value
+    >
+    void f(
+        Tester const& t
+      , Name const& name_
+      , Value const& value_
+        BOOST_APPEND_EXPLICIT_TEMPLATE_TYPE(Expected)
+    )
+    {
+        test::f_impl<Expected>(test::f_parameters()(t, name_, value_));
+    }
+
+    template <typename Expected, typename Tester, typename Name>
+    void f(
+        Tester const& t
+      , Name const& name_
+        BOOST_APPEND_EXPLICIT_TEMPLATE_TYPE(Expected)
+    )
+    {
+        test::f_impl<Expected>(test::f_parameters()(t, name_));
+    }
+
+    void run()
+    {
+        typedef test::tag::tester tester_;
+        typedef test::tag::name name_;
+        typedef test::tag::value value_;
+        typedef test::tag::index index_;
+
+#if defined(BOOST_PARAMETER_CAN_USE_MP11)
+        test::f<
+            boost::mp11::mp_list<tester_,name_,value_,index_>
+        >(1, 2, 3, 4);
+        test::f<
+            boost::mp11::mp_list<tester_,name_,index_>
+        >(1, 2, test::_index = 3);
+        test::f<
+            boost::mp11::mp_list<tester_,name_,index_>
+        >(1, test::_index = 2, test::_name = 3);
+        test::f<
+            boost::mp11::mp_list<name_,value_>
+        >(test::_name = 3, test::_value = 4);
+        test::f_impl<boost::mp11::mp_list<value_> >(test::_value = 4);
+#endif
+
+        test::f<boost::mpl::list4<tester_,name_,value_,index_> >(1, 2, 3, 4);
+        test::f<
+            boost::mpl::list3<tester_,name_,index_>
+        >(1, 2, test::_index = 3);
+        test::f<
+            boost::mpl::list3<tester_,name_,index_>
+        >(1, test::_index = 2, test::_name = 3);
+        test::f<
+            boost::mpl::list2<name_,value_>
+        >(test::_name = 3, test::_value = 4);
+        test::f_impl<boost::mpl::list1<value_> >(test::_value = 4);
+    }
+}
+
+#include <boost/core/lightweight_test.hpp>
+
+int main()
+{
+    test::run();
+    return boost::report_errors();
+}
+