// Copyright 2004 Alexander Nasonov. 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/mpl/empty_sequence.hpp>
#include <boost/mpl/arg.hpp>
#include <boost/mpl/size.hpp>
#include <boost/mpl/distance.hpp>
#include <boost/mpl/clear.hpp>
#include <boost/mpl/advance.hpp>
#include <boost/mpl/begin_end.hpp>
#include <boost/mpl/transform.hpp>
#include <boost/mpl/transform_view.hpp>

#include <boost/static_assert.hpp>

#include <boost/type_traits/is_same.hpp>
#include <boost/type_traits/add_pointer.hpp>

using namespace boost;
using mpl::_;

struct general_test
{
    typedef mpl::begin<mpl::empty_sequence>::type begin;
    typedef mpl::end<mpl::empty_sequence>::type end;

    BOOST_STATIC_ASSERT((is_same<begin,end>::value));
    BOOST_STATIC_ASSERT((mpl::distance<begin,end>::type::value == 0));
    BOOST_STATIC_ASSERT(mpl::size<mpl::empty_sequence>::value == 0);

    typedef mpl::advance_c<begin,0>::type advanced;

    BOOST_STATIC_ASSERT((is_same<advanced,end>::value));

    typedef mpl::clear<mpl::empty_sequence>::type cleared;

    BOOST_STATIC_ASSERT((is_same<mpl::empty_sequence,cleared>::value));
};

struct transform_test
{
    typedef mpl::transform<
        mpl::empty_sequence, add_pointer<_>
    >::type empty_sequence;

    BOOST_STATIC_ASSERT((is_same<empty_sequence,mpl::empty_sequence>::value));

    typedef mpl::transform_view<
        mpl::empty_sequence, add_pointer<_>
    > empty_view;

    typedef mpl::begin<empty_view>::type begin;
    typedef mpl::end<empty_view>::type end;
    typedef mpl::advance_c<begin,0>::type advanced;

    BOOST_STATIC_ASSERT((is_same<begin,end>::value));
    BOOST_STATIC_ASSERT((is_same<advanced,end>::value));
    BOOST_STATIC_ASSERT((mpl::distance<begin,end>::type::value == 0));
    BOOST_STATIC_ASSERT(mpl::size<empty_view>::type::value == 0);
};


int main()
{
    general_test g;
    transform_test t;
}