1// Boost.Range library
2//
3// Copyright Thorsten Ottosen 2003-2004. Use, modification and
4// distribution is subject to the Boost Software License, Version
5// 1.0. (See accompanying file LICENSE_1_0.txt or copy at
6// http://www.boost.org/LICENSE_1_0.txt)
7//
8// For more information, see http://www.boost.org/libs/range/
9//
10
11#include <boost/detail/workaround.hpp>
12
13#if BOOST_WORKAROUND(BOOST_BORLANDC, BOOST_TESTED_AT(0x564))
14# pragma warn -8091 // suppress warning in Boost.Test
15# pragma warn -8057 // unused argument argc/argv in Boost.Test
16#endif
17
18#include <boost/range/concepts.hpp>
19#include <boost/range/functions.hpp>
20#include <boost/range/metafunctions.hpp>
21#include <boost/static_assert.hpp>
22#include <boost/type_traits.hpp>
23#include <boost/test/test_tools.hpp>
24#include <vector>
25#include <iterator>
26#include <utility>
27
28void check_iterator_pair()
29{
30 typedef std::vector<int> vec_t;
31 vec_t vec;
32 vec.push_back( x: 4 );
33 typedef std::pair<vec_t::iterator,vec_t::iterator>
34 pair_t;
35 typedef std::pair<vec_t::const_iterator,vec_t::const_iterator>
36 const_pair_t;
37 typedef const pair_t const_pair_tt;
38 pair_t pair = std::make_pair( x: boost::begin( r&: vec ), y: boost::end( r&: vec ) );
39 const_pair_t const_pair = std::make_pair( x: boost::begin( r&: vec ), y: boost::end( r&: vec ) );
40 const_pair_tt constness_pair( pair );
41
42
43 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_value<pair_t>::type,
44 std::iterator_traits<pair_t::first_type>::value_type>::value ));
45 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<pair_t>::type, pair_t::first_type >::value ));
46 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_const_iterator<pair_t>::type, pair_t::first_type >::value ));
47 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_difference<pair_t>::type,
48 std::iterator_traits<pair_t::first_type>::difference_type >::value ));
49 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_size<pair_t>::type, std::size_t >::value ));
50 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<pair_t>::type, pair_t::first_type >::value ));
51 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<const_pair_t>::type, const_pair_t::first_type >::value ));
52
53 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_value<const_pair_tt>::type,
54 std::iterator_traits<const_pair_t::first_type>::value_type>::value ));
55 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<const_pair_tt>::type, const_pair_tt::first_type >::value ));
56 //
57 // This behavior is not supported with v2.
58 //BOOST_STATIC_ASSERT(( is_same< range_const_iterator<const_pair_tt>::type, const_pair_tt::first_type >::value ));
59 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_difference<const_pair_tt>::type,
60 std::iterator_traits<const_pair_tt::first_type>::difference_type >::value ));
61 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_size<const_pair_tt>::type, std::size_t >::value ));
62 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<const_pair_tt>::type, const_pair_tt::first_type >::value ));
63 BOOST_STATIC_ASSERT(( boost::is_same< boost::range_iterator<const_pair_tt>::type, const_pair_tt::first_type >::value ));
64
65 BOOST_CHECK( boost::begin( pair ) == pair.first );
66 BOOST_CHECK( boost::end( pair ) == pair.second );
67 BOOST_CHECK( boost::empty( pair ) == (pair.first == pair.second) );
68 BOOST_CHECK( boost::size( pair ) ==
69 static_cast<std::size_t>(
70 std::distance(pair.first, pair.second)) );
71
72 BOOST_CHECK( boost::begin( const_pair ) == const_pair.first );
73 BOOST_CHECK( boost::end( const_pair ) == const_pair.second );
74 BOOST_CHECK( boost::empty( const_pair ) == (const_pair.first == const_pair.second) );
75 BOOST_CHECK( boost::size( const_pair ) ==
76 static_cast<std::size_t>(
77 std::distance(const_pair.first, const_pair.second)) );
78
79 BOOST_CHECK( boost::begin( constness_pair ) == constness_pair.first );
80 BOOST_CHECK( boost::end( constness_pair ) == constness_pair.second );
81 BOOST_CHECK( boost::empty( constness_pair ) == (constness_pair.first == const_pair.second) );
82 BOOST_CHECK( boost::size( constness_pair ) ==
83 static_cast<std::size_t>(
84 std::distance(constness_pair.first,
85 constness_pair.second)) );
86}
87
88
89#include <boost/test/unit_test.hpp>
90
91boost::unit_test::test_suite* init_unit_test_suite( int argc, char* argv[] )
92{
93 boost::unit_test::test_suite* test = BOOST_TEST_SUITE( "Range Test Suite" );
94
95 test->add( BOOST_TEST_CASE( &check_iterator_pair ) );
96
97 return test;
98}
99
100
101
102
103
104
105

source code of boost/libs/range/test/iterator_pair.cpp