// Copyright David Abrahams 2006. 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 "basics.hpp"
#include <boost/mpl/list.hpp>
#include <boost/mpl/for_each.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/mpl/size.hpp>
#include <boost/type_traits/add_pointer.hpp>

# include <boost/mpl/contains.hpp>

namespace test
{
  namespace mpl = boost::mpl;

  template <class Set>
  struct assert_in_set
  {
      template <class T>
      void operator()(T*)
      {
          BOOST_MPL_ASSERT((mpl::contains<Set,T>));
      }
  };

  
  template<class Expected, class Params>
  void f_impl(Params const& p BOOST_APPEND_EXPLICIT_TEMPLATE_TYPE(Expected))
  {
      BOOST_MPL_ASSERT_RELATION(
          mpl::size<Expected>::value
        , ==
        , mpl::size<Params>::value
      );

      mpl::for_each<Params, boost::add_pointer<mpl::_1> >(assert_in_set<Expected>());
  }

  template<class Expected, class Tester, class Name, class Value, class Index>
  void f(Tester const& t, const Name& name_, 
      const Value& value_, const Index& index_ BOOST_APPEND_EXPLICIT_TEMPLATE_TYPE(Expected))
  {
      f_impl<Expected>(f_parameters()(t, name_, value_, index_));
  }

  template<class Expected, class Tester, class Name, class Value>
  void f(Tester const& t, const Name& name_, const Value& value_ BOOST_APPEND_EXPLICIT_TEMPLATE_TYPE(Expected))
  {
      f_impl<Expected>(f_parameters()(t, name_, value_));
  }

  template<class Expected, class Tester, class Name>
  void f(Tester const& t, const Name& name_ BOOST_APPEND_EXPLICIT_TEMPLATE_TYPE(Expected))
  {
      f_impl<Expected>(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_;

      f<mpl::list4<tester_,name_,value_,index_> >(1, 2, 3, 4);
      f<mpl::list3<tester_,name_,index_> >(1, 2, index = 3);
      f<mpl::list3<tester_,name_,index_> >(1, index = 2, name = 3);
      f<mpl::list2<name_,value_> >(name = 3, value = 4);
      f_impl<mpl::list1<value_> >(value = 4);
  }
}

int main()
{
    test::run();
    return 0;
}