]> git.ipfire.org Git - thirdparty/gcc.git/blame - libstdc++-v3/include/ext/pb_ds/detail/bin_search_tree_/point_iterators.hpp
Update copyright years.
[thirdparty/gcc.git] / libstdc++-v3 / include / ext / pb_ds / detail / bin_search_tree_ / point_iterators.hpp
CommitLineData
4569a895
AT
1// -*- C++ -*-
2
7adcbafe 3// Copyright (C) 2005-2022 Free Software Foundation, Inc.
4569a895
AT
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 terms
7// of the GNU General Public License as published by the Free Software
748086b7 8// Foundation; either version 3, or (at your option) any later
4569a895
AT
9// version.
10
11// This library is distributed in the hope that it will be useful, but
12// WITHOUT ANY WARRANTY; without even the implied warranty of
13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14// General Public License for more details.
15
748086b7
JJ
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/>.
4569a895
AT
24
25// Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.
26
27// Permission to use, copy, modify, sell, and distribute this software
28// is hereby granted without fee, provided that the above copyright
29// notice appears in all copies, and that both that copyright notice
30// and this permission notice appear in supporting documentation. None
31// of the above authors, nor IBM Haifa Research Laboratories, make any
32// representation about the suitability of this software for any
33// purpose. It is provided "as is" without express or implied
34// warranty.
35
36/**
a345e45d 37 * @file bin_search_tree_/point_iterators.hpp
4569a895
AT
38 * Contains an implementation class for bin_search_tree_.
39 */
40
41#ifndef PB_DS_BIN_SEARCH_TREE_FIND_ITERATORS_HPP
42#define PB_DS_BIN_SEARCH_TREE_FIND_ITERATORS_HPP
43
4569a895 44#include <ext/pb_ds/tag_and_trait.hpp>
47bea7b8 45#include <debug/debug.h>
4569a895 46
5e11f978 47namespace __gnu_pbds
4569a895
AT
48{
49 namespace detail
50 {
51
52#define PB_DS_TREE_CONST_IT_C_DEC \
53 bin_search_tree_const_it_< \
54 Node_Pointer, \
55 Value_Type, \
56 Pointer, \
57 Const_Pointer, \
58 Reference, \
59 Const_Reference, \
60 Is_Forward_Iterator, \
a345e45d 61 _Alloc>
4569a895
AT
62
63#define PB_DS_TREE_CONST_ODIR_IT_C_DEC \
64 bin_search_tree_const_it_< \
65 Node_Pointer, \
66 Value_Type, \
67 Pointer, \
68 Const_Pointer, \
69 Reference, \
70 Const_Reference, \
71 !Is_Forward_Iterator, \
a345e45d 72 _Alloc>
4569a895
AT
73
74#define PB_DS_TREE_IT_C_DEC \
75 bin_search_tree_it_< \
76 Node_Pointer, \
77 Value_Type, \
78 Pointer, \
79 Const_Pointer, \
80 Reference, \
81 Const_Reference, \
82 Is_Forward_Iterator, \
a345e45d 83 _Alloc>
4569a895
AT
84
85#define PB_DS_TREE_ODIR_IT_C_DEC \
86 bin_search_tree_it_< \
87 Node_Pointer, \
88 Value_Type, \
89 Pointer, \
90 Const_Pointer, \
91 Reference, \
92 Const_Reference, \
93 !Is_Forward_Iterator, \
a345e45d 94 _Alloc>
4569a895 95
a345e45d 96 /// Const iterator.
4569a895
AT
97 template<typename Node_Pointer,
98 typename Value_Type,
99 typename Pointer,
100 typename Const_Pointer,
101 typename Reference,
102 typename Const_Reference,
103 bool Is_Forward_Iterator,
a345e45d 104 typename _Alloc>
4569a895
AT
105 class bin_search_tree_const_it_
106 {
4569a895 107 public:
a345e45d
BK
108 typedef std::bidirectional_iterator_tag iterator_category;
109 typedef typename _Alloc::difference_type difference_type;
110 typedef Value_Type value_type;
111 typedef Pointer pointer;
112 typedef Const_Pointer const_pointer;
113 typedef Reference reference;
114 typedef Const_Reference const_reference;
4569a895
AT
115
116 inline
8fc81078 117 bin_search_tree_const_it_(const Node_Pointer p_nd = 0)
47bea7b8 118 : m_p_nd(const_cast<Node_Pointer>(p_nd))
4569a895
AT
119 { }
120
121 inline
47bea7b8
BK
122 bin_search_tree_const_it_(const PB_DS_TREE_CONST_ODIR_IT_C_DEC& other)
123 : m_p_nd(other.m_p_nd)
4569a895
AT
124 { }
125
126 inline
127 PB_DS_TREE_CONST_IT_C_DEC&
47bea7b8 128 operator=(const PB_DS_TREE_CONST_IT_C_DEC& other)
4569a895
AT
129 {
130 m_p_nd = other.m_p_nd;
47bea7b8 131 return *this;
4569a895
AT
132 }
133
134 inline
135 PB_DS_TREE_CONST_IT_C_DEC&
47bea7b8 136 operator=(const PB_DS_TREE_CONST_ODIR_IT_C_DEC& other)
4569a895
AT
137 {
138 m_p_nd = other.m_p_nd;
47bea7b8 139 return *this;
4569a895
AT
140 }
141
142 inline const_pointer
143 operator->() const
144 {
8fc81078 145 _GLIBCXX_DEBUG_ASSERT(m_p_nd != 0);
47bea7b8 146 return &m_p_nd->m_value;
4569a895
AT
147 }
148
149 inline const_reference
150 operator*() const
151 {
8fc81078 152 _GLIBCXX_DEBUG_ASSERT(m_p_nd != 0);
47bea7b8 153 return m_p_nd->m_value;
4569a895
AT
154 }
155
156 inline bool
47bea7b8
BK
157 operator==(const PB_DS_TREE_CONST_IT_C_DEC & other) const
158 { return m_p_nd == other.m_p_nd; }
4569a895
AT
159
160 inline bool
47bea7b8
BK
161 operator==(const PB_DS_TREE_CONST_ODIR_IT_C_DEC & other) const
162 { return m_p_nd == other.m_p_nd; }
4569a895
AT
163
164 inline bool
47bea7b8
BK
165 operator!=(const PB_DS_TREE_CONST_IT_C_DEC& other) const
166 { return m_p_nd != other.m_p_nd; }
4569a895
AT
167
168 inline bool
47bea7b8
BK
169 operator!=(const PB_DS_TREE_CONST_ODIR_IT_C_DEC& other) const
170 { return m_p_nd != other.m_p_nd; }
4569a895
AT
171
172 inline PB_DS_TREE_CONST_IT_C_DEC&
173 operator++()
174 {
8fc81078 175 _GLIBCXX_DEBUG_ASSERT(m_p_nd != 0);
4569a895 176 inc(integral_constant<int,Is_Forward_Iterator>());
47bea7b8 177 return *this;
4569a895
AT
178 }
179
180 inline PB_DS_TREE_CONST_IT_C_DEC
181 operator++(int)
182 {
47bea7b8 183 PB_DS_TREE_CONST_IT_C_DEC ret_it(m_p_nd);
4569a895 184 operator++();
47bea7b8 185 return ret_it;
4569a895
AT
186 }
187
188 inline PB_DS_TREE_CONST_IT_C_DEC&
189 operator--()
190 {
191 dec(integral_constant<int,Is_Forward_Iterator>());
47bea7b8 192 return *this;
4569a895
AT
193 }
194
195 inline PB_DS_TREE_CONST_IT_C_DEC
196 operator--(int)
197 {
47bea7b8 198 PB_DS_TREE_CONST_IT_C_DEC ret_it(m_p_nd);
4569a895 199 operator--();
47bea7b8 200 return ret_it;
4569a895
AT
201 }
202
203 protected:
204 inline void
205 inc(false_type)
47bea7b8 206 { dec(true_type()); }
4569a895
AT
207
208 void
209 inc(true_type)
210 {
211 if (m_p_nd->special()&&
212 m_p_nd->m_p_parent->m_p_parent == m_p_nd)
213 {
214 m_p_nd = m_p_nd->m_p_left;
4569a895
AT
215 return;
216 }
217
8fc81078 218 if (m_p_nd->m_p_right != 0)
4569a895
AT
219 {
220 m_p_nd = m_p_nd->m_p_right;
8fc81078 221 while (m_p_nd->m_p_left != 0)
4569a895 222 m_p_nd = m_p_nd->m_p_left;
4569a895
AT
223 return;
224 }
225
226 Node_Pointer p_y = m_p_nd->m_p_parent;
4569a895
AT
227 while (m_p_nd == p_y->m_p_right)
228 {
229 m_p_nd = p_y;
4569a895
AT
230 p_y = p_y->m_p_parent;
231 }
232
233 if (m_p_nd->m_p_right != p_y)
234 m_p_nd = p_y;
235 }
236
237 inline void
238 dec(false_type)
47bea7b8 239 { inc(true_type()); }
4569a895
AT
240
241 void
242 dec(true_type)
243 {
47bea7b8 244 if (m_p_nd->special() && m_p_nd->m_p_parent->m_p_parent == m_p_nd)
4569a895
AT
245 {
246 m_p_nd = m_p_nd->m_p_right;
4569a895
AT
247 return;
248 }
249
8fc81078 250 if (m_p_nd->m_p_left != 0)
4569a895
AT
251 {
252 Node_Pointer p_y = m_p_nd->m_p_left;
8fc81078 253 while (p_y->m_p_right != 0)
4569a895 254 p_y = p_y->m_p_right;
4569a895 255 m_p_nd = p_y;
4569a895
AT
256 return;
257 }
258
259 Node_Pointer p_y = m_p_nd->m_p_parent;
4569a895
AT
260 while (m_p_nd == p_y->m_p_left)
261 {
262 m_p_nd = p_y;
4569a895
AT
263 p_y = p_y->m_p_parent;
264 }
4569a895
AT
265 if (m_p_nd->m_p_left != p_y)
266 m_p_nd = p_y;
267 }
268
269 public:
270 Node_Pointer m_p_nd;
271 };
272
a345e45d 273 /// Iterator.
4569a895
AT
274 template<typename Node_Pointer,
275 typename Value_Type,
276 typename Pointer,
277 typename Const_Pointer,
278 typename Reference,
279 typename Const_Reference,
280 bool Is_Forward_Iterator,
a345e45d
BK
281 typename _Alloc>
282 class bin_search_tree_it_ : public PB_DS_TREE_CONST_IT_C_DEC
4569a895 283 {
4569a895 284 public:
4569a895 285 inline
8fc81078 286 bin_search_tree_it_(const Node_Pointer p_nd = 0)
47bea7b8 287 : PB_DS_TREE_CONST_IT_C_DEC((Node_Pointer)p_nd)
4569a895
AT
288 { }
289
290 inline
47bea7b8
BK
291 bin_search_tree_it_(const PB_DS_TREE_ODIR_IT_C_DEC& other)
292 : PB_DS_TREE_CONST_IT_C_DEC(other.m_p_nd)
4569a895
AT
293 { }
294
295 inline
296 PB_DS_TREE_IT_C_DEC&
297 operator=(const PB_DS_TREE_IT_C_DEC& other)
298 {
299 base_it_type::m_p_nd = other.m_p_nd;
47bea7b8 300 return *this;
4569a895
AT
301 }
302
303 inline
304 PB_DS_TREE_IT_C_DEC&
305 operator=(const PB_DS_TREE_ODIR_IT_C_DEC& other)
306 {
307 base_it_type::m_p_nd = other.m_p_nd;
47bea7b8 308 return *this;
4569a895
AT
309 }
310
311 inline typename PB_DS_TREE_CONST_IT_C_DEC::pointer
312 operator->() const
313 {
8fc81078 314 _GLIBCXX_DEBUG_ASSERT(base_it_type::m_p_nd != 0);
47bea7b8 315 return &base_it_type::m_p_nd->m_value;
4569a895
AT
316 }
317
318 inline typename PB_DS_TREE_CONST_IT_C_DEC::reference
319 operator*() const
320 {
8fc81078 321 _GLIBCXX_DEBUG_ASSERT(base_it_type::m_p_nd != 0);
47bea7b8 322 return base_it_type::m_p_nd->m_value;
4569a895
AT
323 }
324
325 inline PB_DS_TREE_IT_C_DEC&
326 operator++()
327 {
47bea7b8
BK
328 PB_DS_TREE_CONST_IT_C_DEC:: operator++();
329 return *this;
4569a895
AT
330 }
331
332 inline PB_DS_TREE_IT_C_DEC
333 operator++(int)
334 {
47bea7b8 335 PB_DS_TREE_IT_C_DEC ret_it(base_it_type::m_p_nd);
4569a895 336 operator++();
47bea7b8 337 return ret_it;
4569a895
AT
338 }
339
340 inline PB_DS_TREE_IT_C_DEC&
341 operator--()
342 {
47bea7b8
BK
343 PB_DS_TREE_CONST_IT_C_DEC:: operator--();
344 return *this;
4569a895
AT
345 }
346
347 inline PB_DS_TREE_IT_C_DEC
348 operator--(int)
349 {
47bea7b8 350 PB_DS_TREE_IT_C_DEC ret_it(base_it_type::m_p_nd);
4569a895 351 operator--();
47bea7b8 352 return ret_it;
4569a895
AT
353 }
354
355 protected:
356 typedef PB_DS_TREE_CONST_IT_C_DEC base_it_type;
357 };
358
359#undef PB_DS_TREE_CONST_IT_C_DEC
4569a895 360#undef PB_DS_TREE_CONST_ODIR_IT_C_DEC
4569a895 361#undef PB_DS_TREE_IT_C_DEC
4569a895
AT
362#undef PB_DS_TREE_ODIR_IT_C_DEC
363
4569a895 364 } // namespace detail
5e11f978 365} // namespace __gnu_pbds
4569a895 366
47bea7b8 367#endif