comparison DEPENDENCIES/generic/include/boost/range/adaptor/replaced.hpp @ 16:2665513ce2d3

Add boost headers
author Chris Cannam
date Tue, 05 Aug 2014 11:11:38 +0100
parents
children c530137014c0
comparison
equal deleted inserted replaced
15:663ca0da4350 16:2665513ce2d3
1 // Boost.Range library
2 //
3 // Copyright Neil Groves 2007. 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 #ifndef BOOST_RANGE_ADAPTOR_REPLACED_IMPL_HPP_INCLUDED
12 #define BOOST_RANGE_ADAPTOR_REPLACED_IMPL_HPP_INCLUDED
13
14 #include <boost/config.hpp>
15 #include <boost/range/adaptor/argument_fwd.hpp>
16 #include <boost/range/iterator_range.hpp>
17 #include <boost/range/begin.hpp>
18 #include <boost/range/end.hpp>
19 #include <boost/range/value_type.hpp>
20 #include <boost/iterator/iterator_adaptor.hpp>
21 #include <boost/iterator/transform_iterator.hpp>
22
23 namespace boost
24 {
25 namespace range_detail
26 {
27 template< class Value >
28 class replace_value
29 {
30 public:
31 typedef const Value& result_type;
32 typedef const Value& first_argument_type;
33
34 replace_value(const Value& from, const Value& to)
35 : m_from(from), m_to(to)
36 {
37 }
38
39 const Value& operator()(const Value& x) const
40 {
41 return (x == m_from) ? m_to : x;
42 }
43
44 private:
45 Value m_from;
46 Value m_to;
47 };
48
49 template< class R >
50 class replaced_range :
51 public boost::iterator_range<
52 boost::transform_iterator<
53 replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type >,
54 BOOST_DEDUCED_TYPENAME range_iterator<R>::type > >
55 {
56 private:
57 typedef replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type > Fn;
58
59 typedef boost::iterator_range<
60 boost::transform_iterator<
61 replace_value< BOOST_DEDUCED_TYPENAME range_value<R>::type >,
62 BOOST_DEDUCED_TYPENAME range_iterator<R>::type > > base_t;
63
64 public:
65 typedef BOOST_DEDUCED_TYPENAME range_value<R>::type value_type;
66
67 replaced_range( R& r, value_type from, value_type to )
68 : base_t( make_transform_iterator( boost::begin(r), Fn(from, to) ),
69 make_transform_iterator( boost::end(r), Fn(from, to) ) )
70 { }
71 };
72
73 template< class T >
74 class replace_holder : public holder2<T>
75 {
76 public:
77 replace_holder( const T& from, const T& to )
78 : holder2<T>(from, to)
79 { }
80 private:
81 // not assignable
82 void operator=(const replace_holder&);
83 };
84
85 template< class InputRng >
86 inline replaced_range<InputRng>
87 operator|( InputRng& r,
88 const replace_holder<BOOST_DEDUCED_TYPENAME range_value<InputRng>::type>& f )
89 {
90 return replaced_range<InputRng>(r, f.val1, f.val2);
91 }
92
93 template< class InputRng >
94 inline replaced_range<const InputRng>
95 operator|( const InputRng& r,
96 const replace_holder<BOOST_DEDUCED_TYPENAME range_value<InputRng>::type>& f )
97 {
98 return replaced_range<const InputRng>(r, f.val1, f.val2);
99 }
100 } // 'range_detail'
101
102 using range_detail::replaced_range;
103
104 namespace adaptors
105 {
106 namespace
107 {
108 const range_detail::forwarder2<range_detail::replace_holder>
109 replaced =
110 range_detail::forwarder2<range_detail::replace_holder>();
111 }
112
113 template<class InputRange>
114 inline replaced_range<InputRange>
115 replace(InputRange& rng,
116 BOOST_DEDUCED_TYPENAME range_value<InputRange>::type from,
117 BOOST_DEDUCED_TYPENAME range_value<InputRange>::type to)
118 {
119 return replaced_range<InputRange>(rng, from, to);
120 }
121
122 template<class InputRange>
123 inline replaced_range<const InputRange>
124 replace(const InputRange& rng,
125 BOOST_DEDUCED_TYPENAME range_value<const InputRange>::type from,
126 BOOST_DEDUCED_TYPENAME range_value<const InputRange>::type to)
127 {
128 return replaced_range<const InputRange>(rng, from ,to);
129 }
130
131 } // 'adaptors'
132 } // 'boost'
133
134 #endif // include guard