1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556 |
- // Copyright Aleksey Gurtovoy 2001-2004
- //
- // 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/mpl for documentation.
- // $Id$
- // $Date$
- // $Revision$
- #include <boost/mpl/joint_view.hpp>
- #include <boost/mpl/range_c.hpp>
- #include <boost/mpl/list.hpp>
- #include <boost/mpl/equal.hpp>
- #include <boost/mpl/size.hpp>
- #include <boost/mpl/aux_/test.hpp>
- MPL_TEST_CASE()
- {
- typedef joint_view<
- range_c<int,0,10>
- , range_c<int,10,15>
- > numbers;
- typedef range_c<int,0,15> answer;
- MPL_ASSERT(( equal<numbers,answer> ));
- MPL_ASSERT(( equal<numbers::type,answer> ));
- MPL_ASSERT_RELATION( size<numbers>::value, ==, 15 );
- }
- template< typename View > struct test_is_empty
- {
- typedef typename begin<View>::type first_;
- typedef typename end<View>::type last_;
-
- MPL_ASSERT_RELATION( size<View>::value, ==, 0 );
- MPL_ASSERT(( is_same< first_,last_> ));
-
- MPL_ASSERT_INSTANTIATION( View );
- MPL_ASSERT_INSTANTIATION( first_ );
- MPL_ASSERT_INSTANTIATION( last_ );
- };
- MPL_TEST_CASE()
- {
- test_is_empty< joint_view< list0<>,list0<> > >();
- test_is_empty< joint_view< list<>,list0<> > >();
- test_is_empty< joint_view< list<>,list<> > >();
- test_is_empty< joint_view< list<>, joint_view< list0<>,list0<> > > >();
- }
|