/* Boost.MultiIndex test for MPL operations.
 *
 * Copyright 2003-2025 Joaquin M Lopez Munoz.
 * 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)
 *
 * See http://www.boost.org/libs/multi_index for library home page.
 */

#include "test_mpl_ops.hpp"

#define BOOST_MULTI_INDEX_ENABLE_MPL_SUPPORT
#include <boost/config.hpp> /* keep it first to prevent nasty warns in MSVC */
#include "pre_multi_index.hpp"
#include <boost/multi_index_container.hpp>
#include <boost/multi_index/identity.hpp>
#include <boost/multi_index/ordered_index.hpp>
#include <boost/multi_index/sequenced_index.hpp>
#include <boost/mpl/at.hpp>
#include <boost/mpl/list.hpp>
#include <boost/mpl/push_front.hpp>
#include <boost/mpl/size.hpp>

using namespace boost::multi_index;

void test_mpl_ops()
{
  typedef multi_index_container<
    int,
    indexed_by<
      ordered_unique<identity<int> >,
      ordered_non_unique<identity<int> >
     >
  >                           indexed_t1;

  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t1::index_specifier_type_list>::value==2));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t1::index_type_list>::value==2));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t1::iterator_type_list>::value==2));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t1::const_iterator_type_list>::value==2));
  BOOST_STATIC_ASSERT((boost::is_same<
    boost::mpl::at_c<indexed_t1::index_specifier_type_list,0>::type,
    ordered_unique<identity<int> > >::value));
  BOOST_STATIC_ASSERT((boost::is_same<
    boost::mpl::at_c<indexed_t1::index_specifier_type_list,1>::type,
    ordered_non_unique<identity<int> > >::value));

  typedef boost::mpl::push_front<
    indexed_t1::index_specifier_type_list,
    sequenced<>
  >::type                     index_list_t;

  typedef multi_index_container<
    int,
    index_list_t
  >                           indexed_t2;

  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t2::index_specifier_type_list>::value==3));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t2::index_type_list>::value==3));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t2::iterator_type_list>::value==3));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t2::const_iterator_type_list>::value==3));
  BOOST_STATIC_ASSERT((boost::is_same<
    boost::mpl::at_c<indexed_t2::index_specifier_type_list,0>::type,
    sequenced<> >::value));
  BOOST_STATIC_ASSERT((boost::is_same<
    boost::mpl::at_c<indexed_t2::index_specifier_type_list,1>::type,
    boost::mpl::at_c<indexed_t1::index_specifier_type_list,0>::type>::value));
  BOOST_STATIC_ASSERT((boost::is_same<
    boost::mpl::at_c<indexed_t2::index_specifier_type_list,2>::type,
    boost::mpl::at_c<indexed_t1::index_specifier_type_list,1>::type>::value));

  typedef multi_index_container<
    int,
    boost::mpl::list<
      ordered_unique<identity<int> >,
      ordered_non_unique<identity<int> >
    >
  >                           indexed_t3;

  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t3::index_specifier_type_list>::value==2));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t3::index_type_list>::value==2));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t3::iterator_type_list>::value==2));
  BOOST_STATIC_ASSERT((
    boost::mpl::size<indexed_t3::const_iterator_type_list>::value==2));
  BOOST_STATIC_ASSERT((boost::is_same<
    boost::mpl::at_c<indexed_t3::index_specifier_type_list,0>::type,
    boost::mpl::at_c<indexed_t1::index_specifier_type_list,0>::type>::value));
  BOOST_STATIC_ASSERT((boost::is_same<
    boost::mpl::at_c<indexed_t3::index_specifier_type_list,1>::type,
    boost::mpl::at_c<indexed_t1::index_specifier_type_list,1>::type>::value));
}
