1
2 // Copyright Aleksey Gurtovoy 2001-2004
3 //
4 // Distributed under the Boost Software License, Version 1.0.
5 // (See accompanying file LICENSE_1_0.txt or copy at
6 // http://www.boost.org/LICENSE_1_0.txt)
7 //
8 // See http://www.boost.org/libs/mpl for documentation.
9
10 // $Id$
11 // $Date$
12 // $Revision$
13
14 #include <boost/mpl/joint_view.hpp>
15
16 #include <boost/mpl/range_c.hpp>
17 #include <boost/mpl/list.hpp>
18 #include <boost/mpl/equal.hpp>
19 #include <boost/mpl/size.hpp>
20 #include <boost/mpl/aux_/test.hpp>
21
22
MPL_TEST_CASE()23 MPL_TEST_CASE()
24 {
25 typedef joint_view<
26 range_c<int,0,10>
27 , range_c<int,10,15>
28 > numbers;
29
30 typedef range_c<int,0,15> answer;
31
32 MPL_ASSERT(( equal<numbers,answer> ));
33 MPL_ASSERT(( equal<numbers::type,answer> ));
34 MPL_ASSERT_RELATION( size<numbers>::value, ==, 15 );
35 }
36
37 template< typename View > struct test_is_empty
38 {
39 typedef typename begin<View>::type first_;
40 typedef typename end<View>::type last_;
41
42 MPL_ASSERT_RELATION( size<View>::value, ==, 0 );
43 MPL_ASSERT(( is_same< first_,last_> ));
44
45 MPL_ASSERT_INSTANTIATION( View );
46 MPL_ASSERT_INSTANTIATION( first_ );
47 MPL_ASSERT_INSTANTIATION( last_ );
48 };
49
MPL_TEST_CASE()50 MPL_TEST_CASE()
51 {
52 test_is_empty< joint_view< list0<>,list0<> > >();
53 test_is_empty< joint_view< list<>,list0<> > >();
54 test_is_empty< joint_view< list<>,list<> > >();
55 test_is_empty< joint_view< list<>, joint_view< list0<>,list0<> > > >();
56 }
57