/*=============================================================================
    Copyright (c) 2001-2011 Joel de Guzman

    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/detail/lightweight_test.hpp>
#include <boost/fusion/container/set/set.hpp>
#include <boost/fusion/container/generation/make_set.hpp>
#include <boost/fusion/sequence/intrinsic/at_key.hpp>
#include <boost/fusion/sequence/intrinsic/value_at_key.hpp>
#include <boost/fusion/sequence/intrinsic/has_key.hpp>
#include <boost/fusion/sequence/intrinsic/begin.hpp>
#include <boost/fusion/sequence/io/out.hpp>
#include <boost/fusion/iterator/key_of.hpp>
#include <boost/fusion/iterator/deref_data.hpp>
#include <boost/fusion/iterator/value_of_data.hpp>
#include <boost/fusion/iterator/next.hpp>
#include <boost/fusion/support/pair.hpp>
#include <boost/fusion/support/category_of.hpp>
#include <boost/fusion/support/is_sequence.hpp>
#include <boost/static_assert.hpp>
#include <boost/mpl/assert.hpp>
#include <boost/mpl/is_sequence.hpp>
#include <iostream>
#include <string>

int
main()
{
    using namespace boost::fusion;
    using namespace boost;
    namespace fusion = boost::fusion;
    using boost::fusion::pair;
    using boost::fusion::make_pair;

    std::cout << tuple_open('[');
    std::cout << tuple_close(']');
    std::cout << tuple_delimiter(", ");

    {
        typedef set<int, std::string> set_type;

        BOOST_MPL_ASSERT((traits::is_associative<set_type>));
        
        set_type m(123, "Hola");
        
        std::cout << at_key<int>(m) << std::endl;
        std::cout << at_key<std::string>(m) << std::endl;
        
        BOOST_TEST(at_key<int>(m) == 123);
        BOOST_TEST(at_key<std::string>(m) == "Hola");

        BOOST_STATIC_ASSERT((
            boost::is_same<boost::fusion::result_of::value_at_key<set_type, int>::type, int>::value));
        BOOST_STATIC_ASSERT((
            boost::is_same<boost::fusion::result_of::value_at_key<set_type, std::string>::type, std::string>::value));

        std::cout << m << std::endl;

        BOOST_STATIC_ASSERT((boost::fusion::result_of::has_key<set_type, int>::value));
        BOOST_STATIC_ASSERT((boost::fusion::result_of::has_key<set_type, std::string>::value));
        BOOST_STATIC_ASSERT((!boost::fusion::result_of::has_key<set_type, double>::value));

        std::cout << deref_data(begin(m)) << std::endl;
        std::cout << deref_data(fusion::next(begin(m))) << std::endl;

        BOOST_TEST(deref_data(begin(m)) == 123);
        BOOST_TEST(deref_data(fusion::next(begin(m))) == "Hola");

        BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::key_of<boost::fusion::result_of::begin<set_type>::type>::type, int>::value));
        BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::key_of<boost::fusion::result_of::next<boost::fusion::result_of::begin<set_type>::type>::type>::type, std::string>::value));
        BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::value_of_data<boost::fusion::result_of::begin<set_type>::type>::type, int>::value));
        BOOST_STATIC_ASSERT((boost::is_same<boost::fusion::result_of::value_of_data<boost::fusion::result_of::next<boost::fusion::result_of::begin<set_type>::type>::type>::type, std::string>::value));
    }
    
    {
        std::cout << make_set('X', 123) << std::endl;
        BOOST_TEST(at_key<char>(make_set('X', 123)) == 'X');
        BOOST_TEST(at_key<int>(make_set('X', 123)) == 123);
    }

    {   // testing is_sequence

        typedef set<int, float, double> t1;
        typedef set<> t2;
        typedef set<char> t3;

        BOOST_MPL_ASSERT((traits::is_sequence<t1>));
        BOOST_MPL_ASSERT((traits::is_sequence<t2>));
        BOOST_MPL_ASSERT((traits::is_sequence<t3>));
        BOOST_STATIC_ASSERT(traits::is_sequence<t1>::value);
        BOOST_STATIC_ASSERT(traits::is_sequence<t2>::value);
        BOOST_STATIC_ASSERT(traits::is_sequence<t3>::value);
    }

    {   // testing mpl::is_sequence

        typedef set<int, float, double> t1;
        typedef set<> t2;
        typedef set<char> t3;

        BOOST_MPL_ASSERT((boost::mpl::is_sequence<t1>));
        BOOST_MPL_ASSERT((boost::mpl::is_sequence<t2>));
        BOOST_MPL_ASSERT((boost::mpl::is_sequence<t3>));
    }

    return boost::report_errors();
}

