libs/parameter/test/mpl.cpp
// 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();
}