1 // Default predicates for internal use -*- C++ -*- 2 3 // Copyright (C) 2013-2014 Free Software Foundation, Inc. 4 // 5 // This file is part of the GNU ISO C++ Library. This library is free 6 // software; you can redistribute it and/or modify it under the 7 // terms of the GNU General Public License as published by the 8 // Free Software Foundation; either version 3, or (at your option) 9 // any later version. 10 11 // This library is distributed in the hope that it will be useful, 12 // but WITHOUT ANY WARRANTY; without even the implied warranty of 13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 // GNU General Public License for more details. 15 16 // Under Section 7 of GPL version 3, you are granted additional 17 // permissions described in the GCC Runtime Library Exception, version 18 // 3.1, as published by the Free Software Foundation. 19 20 // You should have received a copy of the GNU General Public License and 21 // a copy of the GCC Runtime Library Exception along with this program; 22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see 23 // <http://www.gnu.org/licenses/>. 24 25 /** @file predefined_ops.h 26 * This is an internal header file, included by other library headers. 27 * You should not attempt to use it directly. 28 */ 29 30 #ifndef _GLIBCXX_PREDEFINED_OPS_H 31 #define _GLIBCXX_PREDEFINED_OPS_H 1 32 33 namespace __gnu_cxx 34 { 35 namespace __ops 36 { 37 struct _Iter_less_iter 38 { 39 template<typename _Iterator1, typename _Iterator2> 40 bool 41 operator()(_Iterator1 __it1, _Iterator2 __it2) const 42 { return *__it1 < *__it2; } 43 }; 44 45 inline _Iter_less_iter 46 __iter_less_iter() 47 { return _Iter_less_iter(); } 48 49 struct _Iter_less_val 50 { 51 template<typename _Iterator, typename _Value> 52 bool 53 operator()(_Iterator __it, _Value& __val) const 54 { return *__it < __val; } 55 }; 56 57 inline _Iter_less_val 58 __iter_less_val() 59 { return _Iter_less_val(); } 60 61 inline _Iter_less_val 62 __iter_comp_val(_Iter_less_iter) 63 { return _Iter_less_val(); } 64 65 struct _Val_less_iter 66 { 67 template<typename _Value, typename _Iterator> 68 bool 69 operator()(_Value& __val, _Iterator __it) const 70 { return __val < *__it; } 71 }; 72 73 inline _Val_less_iter 74 __val_less_iter() 75 { return _Val_less_iter(); } 76 77 inline _Val_less_iter 78 __val_comp_iter(_Iter_less_iter) 79 { return _Val_less_iter(); } 80 81 struct _Iter_equal_to_iter 82 { 83 template<typename _Iterator1, typename _Iterator2> 84 bool 85 operator()(_Iterator1 __it1, _Iterator2 __it2) const 86 { return *__it1 == *__it2; } 87 }; 88 89 inline _Iter_equal_to_iter 90 __iter_equal_to_iter() 91 { return _Iter_equal_to_iter(); } 92 93 struct _Iter_equal_to_val 94 { 95 template<typename _Iterator, typename _Value> 96 bool 97 operator()(_Iterator __it, _Value& __val) const 98 { return *__it == __val; } 99 }; 100 101 inline _Iter_equal_to_val 102 __iter_equal_to_val() 103 { return _Iter_equal_to_val(); } 104 105 inline _Iter_equal_to_val 106 __iter_comp_val(_Iter_equal_to_iter) 107 { return _Iter_equal_to_val(); } 108 109 template<typename _Compare> 110 struct _Iter_comp_iter 111 { 112 _Compare _M_comp; 113 114 _Iter_comp_iter(_Compare __comp) 115 : _M_comp(__comp) 116 { } 117 118 template<typename _Iterator1, typename _Iterator2> 119 bool 120 operator()(_Iterator1 __it1, _Iterator2 __it2) 121 { return bool(_M_comp(*__it1, *__it2)); } 122 }; 123 124 template<typename _Compare> 125 inline _Iter_comp_iter<_Compare> 126 __iter_comp_iter(_Compare __comp) 127 { return _Iter_comp_iter<_Compare>(__comp); } 128 129 template<typename _Compare> 130 struct _Iter_comp_val 131 { 132 _Compare _M_comp; 133 134 _Iter_comp_val(_Compare __comp) 135 : _M_comp(__comp) 136 { } 137 138 template<typename _Iterator, typename _Value> 139 bool 140 operator()(_Iterator __it, _Value& __val) 141 { return bool(_M_comp(*__it, __val)); } 142 }; 143 144 template<typename _Compare> 145 inline _Iter_comp_val<_Compare> 146 __iter_comp_val(_Compare __comp) 147 { return _Iter_comp_val<_Compare>(__comp); } 148 149 template<typename _Compare> 150 inline _Iter_comp_val<_Compare> 151 __iter_comp_val(_Iter_comp_iter<_Compare> __comp) 152 { return _Iter_comp_val<_Compare>(__comp._M_comp); } 153 154 template<typename _Compare> 155 struct _Val_comp_iter 156 { 157 _Compare _M_comp; 158 159 _Val_comp_iter(_Compare __comp) 160 : _M_comp(__comp) 161 { } 162 163 template<typename _Value, typename _Iterator> 164 bool 165 operator()(_Value& __val, _Iterator __it) 166 { return bool(_M_comp(__val, *__it)); } 167 }; 168 169 template<typename _Compare> 170 inline _Val_comp_iter<_Compare> 171 __val_comp_iter(_Compare __comp) 172 { return _Val_comp_iter<_Compare>(__comp); } 173 174 template<typename _Compare> 175 inline _Val_comp_iter<_Compare> 176 __val_comp_iter(_Iter_comp_iter<_Compare> __comp) 177 { return _Val_comp_iter<_Compare>(__comp._M_comp); } 178 179 template<typename _Value> 180 struct _Iter_equals_val 181 { 182 _Value& _M_value; 183 184 _Iter_equals_val(_Value& __value) 185 : _M_value(__value) 186 { } 187 188 template<typename _Iterator> 189 bool 190 operator()(_Iterator __it) 191 { return *__it == _M_value; } 192 }; 193 194 template<typename _Value> 195 inline _Iter_equals_val<_Value> 196 __iter_equals_val(_Value& __val) 197 { return _Iter_equals_val<_Value>(__val); } 198 199 template<typename _Iterator1> 200 struct _Iter_equals_iter 201 { 202 typename std::iterator_traits<_Iterator1>::reference _M_ref; 203 204 _Iter_equals_iter(_Iterator1 __it1) 205 : _M_ref(*__it1) 206 { } 207 208 template<typename _Iterator2> 209 bool 210 operator()(_Iterator2 __it2) 211 { return *__it2 == _M_ref; } 212 }; 213 214 template<typename _Iterator> 215 inline _Iter_equals_iter<_Iterator> 216 __iter_comp_iter(_Iter_equal_to_iter, _Iterator __it) 217 { return _Iter_equals_iter<_Iterator>(__it); } 218 219 template<typename _Predicate> 220 struct _Iter_pred 221 { 222 _Predicate _M_pred; 223 224 _Iter_pred(_Predicate __pred) 225 : _M_pred(__pred) 226 { } 227 228 template<typename _Iterator> 229 bool 230 operator()(_Iterator __it) 231 { return bool(_M_pred(*__it)); } 232 }; 233 234 template<typename _Predicate> 235 inline _Iter_pred<_Predicate> 236 __pred_iter(_Predicate __pred) 237 { return _Iter_pred<_Predicate>(__pred); } 238 239 template<typename _Compare, typename _Value> 240 struct _Iter_comp_to_val 241 { 242 _Compare _M_comp; 243 _Value& _M_value; 244 245 _Iter_comp_to_val(_Compare __comp, _Value& __value) 246 : _M_comp(__comp), _M_value(__value) 247 { } 248 249 template<typename _Iterator> 250 bool 251 operator()(_Iterator __it) 252 { return bool(_M_comp(*__it, _M_value)); } 253 }; 254 255 template<typename _Compare, typename _Value> 256 _Iter_comp_to_val<_Compare, _Value> 257 __iter_comp_val(_Compare __comp, _Value &__val) 258 { return _Iter_comp_to_val<_Compare, _Value>(__comp, __val); } 259 260 template<typename _Compare, typename _Iterator1> 261 struct _Iter_comp_to_iter 262 { 263 _Compare _M_comp; 264 typename std::iterator_traits<_Iterator1>::reference _M_ref; 265 266 _Iter_comp_to_iter(_Compare __comp, _Iterator1 __it1) 267 : _M_comp(__comp), _M_ref(*__it1) 268 { } 269 270 template<typename _Iterator2> 271 bool 272 operator()(_Iterator2 __it2) 273 { return bool(_M_comp(*__it2, _M_ref)); } 274 }; 275 276 template<typename _Compare, typename _Iterator> 277 inline _Iter_comp_to_iter<_Compare, _Iterator> 278 __iter_comp_iter(_Iter_comp_iter<_Compare> __comp, _Iterator __it) 279 { return _Iter_comp_to_iter<_Compare, _Iterator>(__comp._M_comp, __it); } 280 281 template<typename _Predicate> 282 struct _Iter_negate 283 { 284 _Predicate _M_pred; 285 286 _Iter_negate(_Predicate __pred) 287 : _M_pred(__pred) 288 { } 289 290 template<typename _Iterator> 291 bool 292 operator()(_Iterator __it) 293 { return !bool(_M_pred(*__it)); } 294 }; 295 296 template<typename _Predicate> 297 inline _Iter_negate<_Predicate> 298 __negate(_Iter_pred<_Predicate> __pred) 299 { return _Iter_negate<_Predicate>(__pred._M_pred); } 300 301 } // namespace __ops 302 } // namespace __gnu_cxx 303 304 #endif 305
