Line |
Branch |
Exec |
Source |
1 |
|
|
/* |
2 |
|
|
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER. |
3 |
|
|
* |
4 |
|
|
* Copyright 2024 Mike Becker, Olaf Wintermann All rights reserved. |
5 |
|
|
* |
6 |
|
|
* Redistribution and use in source and binary forms, with or without |
7 |
|
|
* modification, are permitted provided that the following conditions are met: |
8 |
|
|
* |
9 |
|
|
* 1. Redistributions of source code must retain the above copyright |
10 |
|
|
* notice, this list of conditions and the following disclaimer. |
11 |
|
|
* |
12 |
|
|
* 2. Redistributions in binary form must reproduce the above copyright |
13 |
|
|
* notice, this list of conditions and the following disclaimer in the |
14 |
|
|
* documentation and/or other materials provided with the distribution. |
15 |
|
|
* |
16 |
|
|
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" |
17 |
|
|
* AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE |
18 |
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE |
19 |
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE |
20 |
|
|
* LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR |
21 |
|
|
* CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF |
22 |
|
|
* SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS |
23 |
|
|
* INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN |
24 |
|
|
* CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) |
25 |
|
|
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE |
26 |
|
|
* POSSIBILITY OF SUCH DAMAGE. |
27 |
|
|
*/ |
28 |
|
|
/** |
29 |
|
|
* @file tree.h |
30 |
|
|
* @brief Interface for tree implementations. |
31 |
|
|
* @author Mike Becker |
32 |
|
|
* @author Olaf Wintermann |
33 |
|
|
* @copyright 2-Clause BSD License |
34 |
|
|
*/ |
35 |
|
|
|
36 |
|
|
#ifndef UCX_TREE_H |
37 |
|
|
#define UCX_TREE_H |
38 |
|
|
|
39 |
|
|
#include "common.h" |
40 |
|
|
|
41 |
|
|
#include "collection.h" |
42 |
|
|
|
43 |
|
|
#ifdef __cplusplus |
44 |
|
|
extern "C" { |
45 |
|
|
#endif |
46 |
|
|
|
47 |
|
|
/** |
48 |
|
|
* A depth-first tree iterator. |
49 |
|
|
* |
50 |
|
|
* This iterator is not position-aware in a strict sense, as it does not assume |
51 |
|
|
* a particular order of elements in the tree. However, the iterator keeps track |
52 |
|
|
* of the number of nodes it has passed in a counter variable. |
53 |
|
|
* Each node, regardless of the number of passes, is counted only once. |
54 |
|
|
* |
55 |
|
|
* @note Objects that are pointed to by an iterator are mutable through that |
56 |
|
|
* iterator. However, if the |
57 |
|
|
* underlying data structure is mutated by other means than this iterator (e.g. |
58 |
|
|
* elements added or removed), the iterator becomes invalid (regardless of what |
59 |
|
|
* cxIteratorValid() returns). |
60 |
|
|
* |
61 |
|
|
* @see CxIterator |
62 |
|
|
*/ |
63 |
|
|
typedef struct cx_tree_iterator_s { |
64 |
|
|
/** |
65 |
|
|
* Base members. |
66 |
|
|
*/ |
67 |
|
|
CX_ITERATOR_BASE; |
68 |
|
|
/** |
69 |
|
|
* Indicates whether the subtree below the current node shall be skipped. |
70 |
|
|
*/ |
71 |
|
|
bool skip; |
72 |
|
|
/** |
73 |
|
|
* Set to true, when the iterator shall visit a node again |
74 |
|
|
* when all it's children have been processed. |
75 |
|
|
*/ |
76 |
|
|
bool visit_on_exit; |
77 |
|
|
/** |
78 |
|
|
* True, if this iterator is currently leaving the node. |
79 |
|
|
*/ |
80 |
|
|
bool exiting; |
81 |
|
|
/** |
82 |
|
|
* Offset in the node struct for the children linked list. |
83 |
|
|
*/ |
84 |
|
|
ptrdiff_t loc_children; |
85 |
|
|
/** |
86 |
|
|
* Offset in the node struct for the next pointer. |
87 |
|
|
*/ |
88 |
|
|
ptrdiff_t loc_next; |
89 |
|
|
/** |
90 |
|
|
* The total number of distinct nodes that have been passed so far. |
91 |
|
|
*/ |
92 |
|
|
size_t counter; |
93 |
|
|
/** |
94 |
|
|
* The currently observed node. |
95 |
|
|
* |
96 |
|
|
* This is the same what cxIteratorCurrent() would return. |
97 |
|
|
*/ |
98 |
|
|
void *node; |
99 |
|
|
/** |
100 |
|
|
* Stores a copy of the next pointer of the visited node. |
101 |
|
|
* Allows freeing a node on exit without corrupting the iteration. |
102 |
|
|
*/ |
103 |
|
|
void *node_next; |
104 |
|
|
/** |
105 |
|
|
* Internal stack. |
106 |
|
|
* Will be automatically freed once the iterator becomes invalid. |
107 |
|
|
* |
108 |
|
|
* If you want to discard the iterator before, you need to manually |
109 |
|
|
* call cxTreeIteratorDispose(). |
110 |
|
|
*/ |
111 |
|
|
void **stack; |
112 |
|
|
/** |
113 |
|
|
* Internal capacity of the stack. |
114 |
|
|
*/ |
115 |
|
|
size_t stack_capacity; |
116 |
|
|
union { |
117 |
|
|
/** |
118 |
|
|
* Internal stack size. |
119 |
|
|
*/ |
120 |
|
|
size_t stack_size; |
121 |
|
|
/** |
122 |
|
|
* The current depth in the tree. |
123 |
|
|
*/ |
124 |
|
|
size_t depth; |
125 |
|
|
}; |
126 |
|
|
} CxTreeIterator; |
127 |
|
|
|
128 |
|
|
/** |
129 |
|
|
* An element in a visitor queue. |
130 |
|
|
*/ |
131 |
|
|
struct cx_tree_visitor_queue_s { |
132 |
|
|
/** |
133 |
|
|
* The tree node to visit. |
134 |
|
|
*/ |
135 |
|
|
void *node; |
136 |
|
|
/** |
137 |
|
|
* The depth of the node. |
138 |
|
|
*/ |
139 |
|
|
size_t depth; |
140 |
|
|
/** |
141 |
|
|
* The next element in the queue or @c NULL. |
142 |
|
|
*/ |
143 |
|
|
struct cx_tree_visitor_queue_s *next; |
144 |
|
|
}; |
145 |
|
|
|
146 |
|
|
/** |
147 |
|
|
* A breadth-first tree iterator. |
148 |
|
|
* |
149 |
|
|
* This iterator needs to maintain a visitor queue that will be automatically |
150 |
|
|
* freed once the iterator becomes invalid. |
151 |
|
|
* If you want to discard the iterator before, you MUST manually call |
152 |
|
|
* cxTreeVisitorDispose(). |
153 |
|
|
* |
154 |
|
|
* This iterator is not position-aware in a strict sense, as it does not assume |
155 |
|
|
* a particular order of elements in the tree. However, the iterator keeps track |
156 |
|
|
* of the number of nodes it has passed in a counter variable. |
157 |
|
|
* Each node, regardless of the number of passes, is counted only once. |
158 |
|
|
* |
159 |
|
|
* @note Objects that are pointed to by an iterator are mutable through that |
160 |
|
|
* iterator. However, if the |
161 |
|
|
* underlying data structure is mutated by other means than this iterator (e.g. |
162 |
|
|
* elements added or removed), the iterator becomes invalid (regardless of what |
163 |
|
|
* cxIteratorValid() returns). |
164 |
|
|
* |
165 |
|
|
* @see CxIterator |
166 |
|
|
*/ |
167 |
|
|
typedef struct cx_tree_visitor_s { |
168 |
|
|
/** |
169 |
|
|
* Base members. |
170 |
|
|
*/ |
171 |
|
|
CX_ITERATOR_BASE; |
172 |
|
|
/** |
173 |
|
|
* Indicates whether the subtree below the current node shall be skipped. |
174 |
|
|
*/ |
175 |
|
|
bool skip; |
176 |
|
|
/** |
177 |
|
|
* Offset in the node struct for the children linked list. |
178 |
|
|
*/ |
179 |
|
|
ptrdiff_t loc_children; |
180 |
|
|
/** |
181 |
|
|
* Offset in the node struct for the next pointer. |
182 |
|
|
*/ |
183 |
|
|
ptrdiff_t loc_next; |
184 |
|
|
/** |
185 |
|
|
* The total number of distinct nodes that have been passed so far. |
186 |
|
|
*/ |
187 |
|
|
size_t counter; |
188 |
|
|
/** |
189 |
|
|
* The currently observed node. |
190 |
|
|
* |
191 |
|
|
* This is the same what cxIteratorCurrent() would return. |
192 |
|
|
*/ |
193 |
|
|
void *node; |
194 |
|
|
/** |
195 |
|
|
* The current depth in the tree. |
196 |
|
|
*/ |
197 |
|
|
size_t depth; |
198 |
|
|
/** |
199 |
|
|
* The next element in the visitor queue. |
200 |
|
|
*/ |
201 |
|
|
struct cx_tree_visitor_queue_s *queue_next; |
202 |
|
|
/** |
203 |
|
|
* The last element in the visitor queue. |
204 |
|
|
*/ |
205 |
|
|
struct cx_tree_visitor_queue_s *queue_last; |
206 |
|
|
} CxTreeVisitor; |
207 |
|
|
|
208 |
|
|
/** |
209 |
|
|
* Releases internal memory of the given tree iterator. |
210 |
|
|
* @param iter the iterator |
211 |
|
|
*/ |
212 |
|
|
cx_attr_nonnull |
213 |
|
109 |
static inline void cxTreeIteratorDispose(CxTreeIterator *iter) { |
214 |
|
109 |
free(iter->stack); |
215 |
|
109 |
iter->stack = NULL; |
216 |
|
109 |
} |
217 |
|
|
|
218 |
|
|
/** |
219 |
|
|
* Releases internal memory of the given tree visitor. |
220 |
|
|
* @param visitor the visitor |
221 |
|
|
*/ |
222 |
|
|
cx_attr_nonnull |
223 |
|
|
static inline void cxTreeVisitorDispose(CxTreeVisitor *visitor) { |
224 |
|
|
struct cx_tree_visitor_queue_s *q = visitor->queue_next; |
225 |
|
|
while (q != NULL) { |
226 |
|
|
struct cx_tree_visitor_queue_s *next = q->next; |
227 |
|
|
free(q); |
228 |
|
|
q = next; |
229 |
|
|
} |
230 |
|
|
} |
231 |
|
|
|
232 |
|
|
/** |
233 |
|
|
* Advises the iterator to skip the subtree below the current node and |
234 |
|
|
* also continues the current loop. |
235 |
|
|
* |
236 |
|
|
* @param iterator (@c CxTreeIterator) the iterator |
237 |
|
|
*/ |
238 |
|
|
#define cxTreeIteratorContinue(iterator) (iterator).skip = true; continue |
239 |
|
|
|
240 |
|
|
/** |
241 |
|
|
* Advises the visitor to skip the subtree below the current node and |
242 |
|
|
* also continues the current loop. |
243 |
|
|
* |
244 |
|
|
* @param visitor (@c CxTreeVisitor) the visitor |
245 |
|
|
*/ |
246 |
|
|
#define cxTreeVisitorContinue(visitor) cxTreeIteratorContinue(visitor) |
247 |
|
|
|
248 |
|
|
/** |
249 |
|
|
* Links a node to a (new) parent. |
250 |
|
|
* |
251 |
|
|
* If the node has already a parent, it is unlinked, first. |
252 |
|
|
* If the parent has children already, the node is @em appended to the list |
253 |
|
|
* of all currently existing children. |
254 |
|
|
* |
255 |
|
|
* @param parent the parent node |
256 |
|
|
* @param node the node that shall be linked |
257 |
|
|
* @param loc_parent offset in the node struct for the parent pointer |
258 |
|
|
* @param loc_children offset in the node struct for the children linked list |
259 |
|
|
* @param loc_last_child optional offset in the node struct for the pointer to |
260 |
|
|
* the last child in the linked list (negative if there is no such pointer) |
261 |
|
|
* @param loc_prev optional offset in the node struct for the prev pointer |
262 |
|
|
* @param loc_next offset in the node struct for the next pointer |
263 |
|
|
* @see cx_tree_unlink() |
264 |
|
|
*/ |
265 |
|
|
cx_attr_nonnull |
266 |
|
|
cx_attr_export |
267 |
|
|
void cx_tree_link( |
268 |
|
|
void *parent, |
269 |
|
|
void *node, |
270 |
|
|
ptrdiff_t loc_parent, |
271 |
|
|
ptrdiff_t loc_children, |
272 |
|
|
ptrdiff_t loc_last_child, |
273 |
|
|
ptrdiff_t loc_prev, |
274 |
|
|
ptrdiff_t loc_next |
275 |
|
|
); |
276 |
|
|
|
277 |
|
|
/** |
278 |
|
|
* Unlinks a node from its parent. |
279 |
|
|
* |
280 |
|
|
* If the node has no parent, this function does nothing. |
281 |
|
|
* |
282 |
|
|
* @param node the node that shall be unlinked from its parent |
283 |
|
|
* @param loc_parent offset in the node struct for the parent pointer |
284 |
|
|
* @param loc_children offset in the node struct for the children linked list |
285 |
|
|
* @param loc_last_child optional offset in the node struct for the pointer to |
286 |
|
|
* the last child in the linked list (negative if there is no such pointer) |
287 |
|
|
* @param loc_prev optional offset in the node struct for the prev pointer |
288 |
|
|
* @param loc_next offset in the node struct for the next pointer |
289 |
|
|
* @see cx_tree_link() |
290 |
|
|
*/ |
291 |
|
|
cx_attr_nonnull |
292 |
|
|
cx_attr_export |
293 |
|
|
void cx_tree_unlink( |
294 |
|
|
void *node, |
295 |
|
|
ptrdiff_t loc_parent, |
296 |
|
|
ptrdiff_t loc_children, |
297 |
|
|
ptrdiff_t loc_last_child, |
298 |
|
|
ptrdiff_t loc_prev, |
299 |
|
|
ptrdiff_t loc_next |
300 |
|
|
); |
301 |
|
|
|
302 |
|
|
/** |
303 |
|
|
* Macro that can be used instead of the magic value for infinite search depth. |
304 |
|
|
*/ |
305 |
|
|
#define CX_TREE_SEARCH_INFINITE_DEPTH 0 |
306 |
|
|
|
307 |
|
|
/** |
308 |
|
|
* Function pointer for a search function. |
309 |
|
|
* |
310 |
|
|
* A function of this kind shall check if the specified @p node |
311 |
|
|
* contains the given @p data or if one of the children might contain |
312 |
|
|
* the data. |
313 |
|
|
* |
314 |
|
|
* The function should use the returned integer to indicate how close the |
315 |
|
|
* match is, where a negative number means that it does not match at all. |
316 |
|
|
* Zero means exact match and a positive number is an implementation defined |
317 |
|
|
* measure for the distance to an exact match. |
318 |
|
|
* |
319 |
|
|
* For example if a tree stores file path information, a node that is |
320 |
|
|
* describing a parent directory of a filename that is searched, shall |
321 |
|
|
* return a positive number to indicate that a child node might contain the |
322 |
|
|
* searched item. On the other hand, if the node denotes a path that is not a |
323 |
|
|
* prefix of the searched filename, the function would return -1 to indicate |
324 |
|
|
* that the search does not need to be continued in that branch. |
325 |
|
|
* |
326 |
|
|
* @param node the node that is currently investigated |
327 |
|
|
* @param data the data that is searched for |
328 |
|
|
* |
329 |
|
|
* @return 0 if the node contains the data, |
330 |
|
|
* positive if one of the children might contain the data, |
331 |
|
|
* negative if neither the node, nor the children contains the data |
332 |
|
|
*/ |
333 |
|
|
cx_attr_nonnull |
334 |
|
|
typedef int (*cx_tree_search_data_func)(const void *node, const void *data); |
335 |
|
|
|
336 |
|
|
|
337 |
|
|
/** |
338 |
|
|
* Function pointer for a search function. |
339 |
|
|
* |
340 |
|
|
* A function of this kind shall check if the specified @p node |
341 |
|
|
* contains the same @p data as @p new_node or if one of the children might |
342 |
|
|
* contain the data. |
343 |
|
|
* |
344 |
|
|
* The function should use the returned integer to indicate how close the |
345 |
|
|
* match is, where a negative number means that it does not match at all. |
346 |
|
|
* Zero means exact match and a positive number is an implementation defined |
347 |
|
|
* measure for the distance to an exact match. |
348 |
|
|
* |
349 |
|
|
* For example if a tree stores file path information, a node that is |
350 |
|
|
* describing a parent directory of a filename that is searched, shall |
351 |
|
|
* return a positive number to indicate that a child node might contain the |
352 |
|
|
* searched item. On the other hand, if the node denotes a path that is not a |
353 |
|
|
* prefix of the searched filename, the function would return -1 to indicate |
354 |
|
|
* that the search does not need to be continued in that branch. |
355 |
|
|
* |
356 |
|
|
* @param node the node that is currently investigated |
357 |
|
|
* @param new_node a new node with the information which is searched |
358 |
|
|
* |
359 |
|
|
* @return 0 if @p node contains the same data as @p new_node, |
360 |
|
|
* positive if one of the children might contain the data, |
361 |
|
|
* negative if neither the node, nor the children contains the data |
362 |
|
|
*/ |
363 |
|
|
cx_attr_nonnull |
364 |
|
|
typedef int (*cx_tree_search_func)(const void *node, const void *new_node); |
365 |
|
|
|
366 |
|
|
/** |
367 |
|
|
* Searches for data in a tree. |
368 |
|
|
* |
369 |
|
|
* When the data cannot be found exactly, the search function might return a |
370 |
|
|
* closest result which might be a good starting point for adding a new node |
371 |
|
|
* to the tree (see also #cx_tree_add()). |
372 |
|
|
* |
373 |
|
|
* Depending on the tree structure it is not necessarily guaranteed that the |
374 |
|
|
* "closest" match is uniquely defined. This function will search for a node |
375 |
|
|
* with the best match according to the @p sfunc (meaning: the return value of |
376 |
|
|
* @p sfunc which is closest to zero). If that is also ambiguous, an arbitrary |
377 |
|
|
* node matching the criteria is returned. |
378 |
|
|
* |
379 |
|
|
* @param root the root node |
380 |
|
|
* @param depth the maximum depth (zero=indefinite, one=just root) |
381 |
|
|
* @param data the data to search for |
382 |
|
|
* @param sfunc the search function |
383 |
|
|
* @param result where the result shall be stored |
384 |
|
|
* @param loc_children offset in the node struct for the children linked list |
385 |
|
|
* @param loc_next offset in the node struct for the next pointer |
386 |
|
|
* @return zero if the node was found exactly, positive if a node was found that |
387 |
|
|
* could contain the node (but doesn't right now), negative if the tree does not |
388 |
|
|
* contain any node that might be related to the searched data |
389 |
|
|
*/ |
390 |
|
|
cx_attr_nonnull |
391 |
|
|
cx_attr_access_w(5) |
392 |
|
|
cx_attr_export |
393 |
|
|
int cx_tree_search_data( |
394 |
|
|
const void *root, |
395 |
|
|
size_t depth, |
396 |
|
|
const void *data, |
397 |
|
|
cx_tree_search_data_func sfunc, |
398 |
|
|
void **result, |
399 |
|
|
ptrdiff_t loc_children, |
400 |
|
|
ptrdiff_t loc_next |
401 |
|
|
); |
402 |
|
|
|
403 |
|
|
/** |
404 |
|
|
* Searches for a node in a tree. |
405 |
|
|
* |
406 |
|
|
* When no node with the same data can be found, the search function might |
407 |
|
|
* return a closest result which might be a good starting point for adding the |
408 |
|
|
* new node to the tree (see also #cx_tree_add()). |
409 |
|
|
* |
410 |
|
|
* Depending on the tree structure it is not necessarily guaranteed that the |
411 |
|
|
* "closest" match is uniquely defined. This function will search for a node |
412 |
|
|
* with the best match according to the @p sfunc (meaning: the return value of |
413 |
|
|
* @p sfunc which is closest to zero). If that is also ambiguous, an arbitrary |
414 |
|
|
* node matching the criteria is returned. |
415 |
|
|
* |
416 |
|
|
* @param root the root node |
417 |
|
|
* @param depth the maximum depth (zero=indefinite, one=just root) |
418 |
|
|
* @param node the node to search for |
419 |
|
|
* @param sfunc the search function |
420 |
|
|
* @param result where the result shall be stored |
421 |
|
|
* @param loc_children offset in the node struct for the children linked list |
422 |
|
|
* @param loc_next offset in the node struct for the next pointer |
423 |
|
|
* @return zero if the node was found exactly, positive if a node was found that |
424 |
|
|
* could contain the node (but doesn't right now), negative if the tree does not |
425 |
|
|
* contain any node that might be related to the searched data |
426 |
|
|
*/ |
427 |
|
|
cx_attr_nonnull |
428 |
|
|
cx_attr_access_w(5) |
429 |
|
|
cx_attr_export |
430 |
|
|
int cx_tree_search( |
431 |
|
|
const void *root, |
432 |
|
|
size_t depth, |
433 |
|
|
const void *node, |
434 |
|
|
cx_tree_search_func sfunc, |
435 |
|
|
void **result, |
436 |
|
|
ptrdiff_t loc_children, |
437 |
|
|
ptrdiff_t loc_next |
438 |
|
|
); |
439 |
|
|
|
440 |
|
|
/** |
441 |
|
|
* Creates a depth-first iterator for a tree with the specified root node. |
442 |
|
|
* |
443 |
|
|
* @note A tree iterator needs to maintain a stack of visited nodes, which is |
444 |
|
|
* allocated using stdlib malloc(). |
445 |
|
|
* When the iterator becomes invalid, this memory is automatically released. |
446 |
|
|
* However, if you wish to cancel the iteration before the iterator becomes |
447 |
|
|
* invalid by itself, you MUST call cxTreeIteratorDispose() manually to release |
448 |
|
|
* the memory. |
449 |
|
|
* |
450 |
|
|
* @remark The returned iterator does not support cxIteratorFlagRemoval(). |
451 |
|
|
* |
452 |
|
|
* @param root the root node |
453 |
|
|
* @param visit_on_exit set to true, when the iterator shall visit a node again |
454 |
|
|
* after processing all children |
455 |
|
|
* @param loc_children offset in the node struct for the children linked list |
456 |
|
|
* @param loc_next offset in the node struct for the next pointer |
457 |
|
|
* @return the new tree iterator |
458 |
|
|
* @see cxTreeIteratorDispose() |
459 |
|
|
*/ |
460 |
|
|
cx_attr_nodiscard |
461 |
|
|
cx_attr_export |
462 |
|
|
CxTreeIterator cx_tree_iterator( |
463 |
|
|
void *root, |
464 |
|
|
bool visit_on_exit, |
465 |
|
|
ptrdiff_t loc_children, |
466 |
|
|
ptrdiff_t loc_next |
467 |
|
|
); |
468 |
|
|
|
469 |
|
|
/** |
470 |
|
|
* Creates a breadth-first iterator for a tree with the specified root node. |
471 |
|
|
* |
472 |
|
|
* @note A tree visitor needs to maintain a queue of to be visited nodes, which |
473 |
|
|
* is allocated using stdlib malloc(). |
474 |
|
|
* When the visitor becomes invalid, this memory is automatically released. |
475 |
|
|
* However, if you wish to cancel the iteration before the visitor becomes |
476 |
|
|
* invalid by itself, you MUST call cxTreeVisitorDispose() manually to release |
477 |
|
|
* the memory. |
478 |
|
|
* |
479 |
|
|
* @remark The returned iterator does not support cxIteratorFlagRemoval(). |
480 |
|
|
* |
481 |
|
|
* @param root the root node |
482 |
|
|
* @param loc_children offset in the node struct for the children linked list |
483 |
|
|
* @param loc_next offset in the node struct for the next pointer |
484 |
|
|
* @return the new tree visitor |
485 |
|
|
* @see cxTreeVisitorDispose() |
486 |
|
|
*/ |
487 |
|
|
cx_attr_nodiscard |
488 |
|
|
cx_attr_export |
489 |
|
|
CxTreeVisitor cx_tree_visitor( |
490 |
|
|
void *root, |
491 |
|
|
ptrdiff_t loc_children, |
492 |
|
|
ptrdiff_t loc_next |
493 |
|
|
); |
494 |
|
|
|
495 |
|
|
/** |
496 |
|
|
* Describes a function that creates a tree node from the specified data. |
497 |
|
|
* The first argument points to the data the node shall contain and |
498 |
|
|
* the second argument may be used for additional data (e.g. an allocator). |
499 |
|
|
* Functions of this type shall either return a new pointer to a newly |
500 |
|
|
* created node or @c NULL when allocation fails. |
501 |
|
|
* |
502 |
|
|
* @note the function may leave the node pointers in the struct uninitialized. |
503 |
|
|
* The caller is responsible to set them according to the intended use case. |
504 |
|
|
*/ |
505 |
|
|
cx_attr_nonnull_arg(1) |
506 |
|
|
typedef void *(*cx_tree_node_create_func)(const void *, void *); |
507 |
|
|
|
508 |
|
|
/** |
509 |
|
|
* The local search depth for a new subtree when adding multiple elements. |
510 |
|
|
* The default value is 3. |
511 |
|
|
* This variable is used by #cx_tree_add_array() and #cx_tree_add_iter() to |
512 |
|
|
* implement optimized insertion of multiple elements into a tree. |
513 |
|
|
*/ |
514 |
|
|
cx_attr_export |
515 |
|
|
extern unsigned int cx_tree_add_look_around_depth; |
516 |
|
|
|
517 |
|
|
/** |
518 |
|
|
* Adds multiple elements efficiently to a tree. |
519 |
|
|
* |
520 |
|
|
* Once an element cannot be added to the tree, this function returns, leaving |
521 |
|
|
* the iterator in a valid state pointing to the element that could not be |
522 |
|
|
* added. |
523 |
|
|
* Also, the pointer of the created node will be stored to @p failed. |
524 |
|
|
* The integer returned by this function denotes the number of elements obtained |
525 |
|
|
* from the @p iter that have been successfully processed. |
526 |
|
|
* When all elements could be processed, a @c NULL pointer will be written to |
527 |
|
|
* @p failed. |
528 |
|
|
* |
529 |
|
|
* The advantage of this function compared to multiple invocations of |
530 |
|
|
* #cx_tree_add() is that the search for the insert locations is not always |
531 |
|
|
* started from the root node. |
532 |
|
|
* Instead, the function checks #cx_tree_add_look_around_depth many parent nodes |
533 |
|
|
* of the current insert location before starting from the root node again. |
534 |
|
|
* When the variable is set to zero, only the last found location is checked |
535 |
|
|
* again. |
536 |
|
|
* |
537 |
|
|
* Refer to the documentation of #cx_tree_add() for more details. |
538 |
|
|
* |
539 |
|
|
* @param iter a pointer to an arbitrary iterator |
540 |
|
|
* @param num the maximum number of elements to obtain from the iterator |
541 |
|
|
* @param sfunc a search function |
542 |
|
|
* @param cfunc a node creation function |
543 |
|
|
* @param cdata optional additional data |
544 |
|
|
* @param root the root node of the tree |
545 |
|
|
* @param failed location where the pointer to a failed node shall be stored |
546 |
|
|
* @param loc_parent offset in the node struct for the parent pointer |
547 |
|
|
* @param loc_children offset in the node struct for the children linked list |
548 |
|
|
* @param loc_last_child optional offset in the node struct for the pointer to |
549 |
|
|
* the last child in the linked list (negative if there is no such pointer) |
550 |
|
|
* @param loc_prev optional offset in the node struct for the prev pointer |
551 |
|
|
* @param loc_next offset in the node struct for the next pointer |
552 |
|
|
* @return the number of nodes created and added |
553 |
|
|
* @see cx_tree_add() |
554 |
|
|
*/ |
555 |
|
|
cx_attr_nonnull_arg(1, 3, 4, 6, 7) |
556 |
|
|
cx_attr_access_w(6) |
557 |
|
|
cx_attr_export |
558 |
|
|
size_t cx_tree_add_iter( |
559 |
|
|
struct cx_iterator_base_s *iter, |
560 |
|
|
size_t num, |
561 |
|
|
cx_tree_search_func sfunc, |
562 |
|
|
cx_tree_node_create_func cfunc, |
563 |
|
|
void *cdata, |
564 |
|
|
void **failed, |
565 |
|
|
void *root, |
566 |
|
|
ptrdiff_t loc_parent, |
567 |
|
|
ptrdiff_t loc_children, |
568 |
|
|
ptrdiff_t loc_last_child, |
569 |
|
|
ptrdiff_t loc_prev, |
570 |
|
|
ptrdiff_t loc_next |
571 |
|
|
); |
572 |
|
|
|
573 |
|
|
/** |
574 |
|
|
* Adds multiple elements efficiently to a tree. |
575 |
|
|
* |
576 |
|
|
* Once an element cannot be added to the tree, this function returns, storing |
577 |
|
|
* the pointer of the created node to @p failed. |
578 |
|
|
* The integer returned by this function denotes the number of elements from |
579 |
|
|
* the @p src array that have been successfully processed. |
580 |
|
|
* When all elements could be processed, a @c NULL pointer will be written to |
581 |
|
|
* @p failed. |
582 |
|
|
* |
583 |
|
|
* The advantage of this function compared to multiple invocations of |
584 |
|
|
* #cx_tree_add() is that the search for the insert locations is not always |
585 |
|
|
* started from the root node. |
586 |
|
|
* Instead, the function checks #cx_tree_add_look_around_depth many parent nodes |
587 |
|
|
* of the current insert location before starting from the root node again. |
588 |
|
|
* When the variable is set to zero, only the last found location is checked |
589 |
|
|
* again. |
590 |
|
|
* |
591 |
|
|
* Refer to the documentation of #cx_tree_add() for more details. |
592 |
|
|
* |
593 |
|
|
* @param src a pointer to the source data array |
594 |
|
|
* @param num the number of elements in the @p src array |
595 |
|
|
* @param elem_size the size of each element in the @p src array |
596 |
|
|
* @param sfunc a search function |
597 |
|
|
* @param cfunc a node creation function |
598 |
|
|
* @param cdata optional additional data |
599 |
|
|
* @param failed location where the pointer to a failed node shall be stored |
600 |
|
|
* @param root the root node of the tree |
601 |
|
|
* @param loc_parent offset in the node struct for the parent pointer |
602 |
|
|
* @param loc_children offset in the node struct for the children linked list |
603 |
|
|
* @param loc_last_child optional offset in the node struct for the pointer to |
604 |
|
|
* the last child in the linked list (negative if there is no such pointer) |
605 |
|
|
* @param loc_prev optional offset in the node struct for the prev pointer |
606 |
|
|
* @param loc_next offset in the node struct for the next pointer |
607 |
|
|
* @return the number of array elements successfully processed |
608 |
|
|
* @see cx_tree_add() |
609 |
|
|
*/ |
610 |
|
|
cx_attr_nonnull_arg(1, 4, 5, 7, 8) |
611 |
|
|
cx_attr_access_w(7) |
612 |
|
|
cx_attr_export |
613 |
|
|
size_t cx_tree_add_array( |
614 |
|
|
const void *src, |
615 |
|
|
size_t num, |
616 |
|
|
size_t elem_size, |
617 |
|
|
cx_tree_search_func sfunc, |
618 |
|
|
cx_tree_node_create_func cfunc, |
619 |
|
|
void *cdata, |
620 |
|
|
void **failed, |
621 |
|
|
void *root, |
622 |
|
|
ptrdiff_t loc_parent, |
623 |
|
|
ptrdiff_t loc_children, |
624 |
|
|
ptrdiff_t loc_last_child, |
625 |
|
|
ptrdiff_t loc_prev, |
626 |
|
|
ptrdiff_t loc_next |
627 |
|
|
); |
628 |
|
|
|
629 |
|
|
/** |
630 |
|
|
* Adds data to a tree. |
631 |
|
|
* |
632 |
|
|
* An adequate location where to add the new tree node is searched with the |
633 |
|
|
* specified @p sfunc. |
634 |
|
|
* |
635 |
|
|
* When a location is found, the @p cfunc will be invoked with @p cdata. |
636 |
|
|
* |
637 |
|
|
* The node returned by @p cfunc will be linked into the tree. |
638 |
|
|
* When @p sfunc returned a positive integer, the new node will be linked as a |
639 |
|
|
* child. The other children (now siblings of the new node) are then checked |
640 |
|
|
* with @p sfunc, whether they could be children of the new node and re-linked |
641 |
|
|
* accordingly. |
642 |
|
|
* |
643 |
|
|
* When @p sfunc returned zero and the found node has a parent, the new |
644 |
|
|
* node will be added as sibling - otherwise, the new node will be added |
645 |
|
|
* as a child. |
646 |
|
|
* |
647 |
|
|
* When @p sfunc returned a negative value, the new node will not be added to |
648 |
|
|
* the tree and this function returns a non-zero value. |
649 |
|
|
* The caller should check if @p cnode contains a node pointer and deal with the |
650 |
|
|
* node that could not be added. |
651 |
|
|
* |
652 |
|
|
* This function also returns a non-zero value when @p cfunc tries to allocate |
653 |
|
|
* a new node but fails to do so. In that case, the pointer stored to @p cnode |
654 |
|
|
* will be @c NULL. |
655 |
|
|
* |
656 |
|
|
* Multiple elements can be added more efficiently with |
657 |
|
|
* #cx_tree_add_array() or #cx_tree_add_iter(). |
658 |
|
|
* |
659 |
|
|
* @param src a pointer to the data |
660 |
|
|
* @param sfunc a search function |
661 |
|
|
* @param cfunc a node creation function |
662 |
|
|
* @param cdata optional additional data |
663 |
|
|
* @param cnode the location where a pointer to the new node is stored |
664 |
|
|
* @param root the root node of the tree |
665 |
|
|
* @param loc_parent offset in the node struct for the parent pointer |
666 |
|
|
* @param loc_children offset in the node struct for the children linked list |
667 |
|
|
* @param loc_last_child optional offset in the node struct for the pointer to |
668 |
|
|
* the last child in the linked list (negative if there is no such pointer) |
669 |
|
|
* @param loc_prev optional offset in the node struct for the prev pointer |
670 |
|
|
* @param loc_next offset in the node struct for the next pointer |
671 |
|
|
* @return zero when a new node was created and added to the tree, |
672 |
|
|
* non-zero otherwise |
673 |
|
|
*/ |
674 |
|
|
cx_attr_nonnull_arg(1, 2, 3, 5, 6) |
675 |
|
|
cx_attr_access_w(5) |
676 |
|
|
cx_attr_export |
677 |
|
|
int cx_tree_add( |
678 |
|
|
const void *src, |
679 |
|
|
cx_tree_search_func sfunc, |
680 |
|
|
cx_tree_node_create_func cfunc, |
681 |
|
|
void *cdata, |
682 |
|
|
void **cnode, |
683 |
|
|
void *root, |
684 |
|
|
ptrdiff_t loc_parent, |
685 |
|
|
ptrdiff_t loc_children, |
686 |
|
|
ptrdiff_t loc_last_child, |
687 |
|
|
ptrdiff_t loc_prev, |
688 |
|
|
ptrdiff_t loc_next |
689 |
|
|
); |
690 |
|
|
|
691 |
|
|
|
692 |
|
|
/** |
693 |
|
|
* Tree class type. |
694 |
|
|
*/ |
695 |
|
|
typedef struct cx_tree_class_s cx_tree_class; |
696 |
|
|
|
697 |
|
|
/** |
698 |
|
|
* Base structure that can be used for tree nodes in a #CxTree. |
699 |
|
|
*/ |
700 |
|
|
struct cx_tree_node_base_s { |
701 |
|
|
/** |
702 |
|
|
* Pointer to the parent. |
703 |
|
|
*/ |
704 |
|
|
struct cx_tree_node_base_s *parent; |
705 |
|
|
/** |
706 |
|
|
* Pointer to the first child. |
707 |
|
|
*/ |
708 |
|
|
struct cx_tree_node_base_s *children; |
709 |
|
|
/** |
710 |
|
|
* Pointer to the last child. |
711 |
|
|
*/ |
712 |
|
|
struct cx_tree_node_base_s *last_child; |
713 |
|
|
/** |
714 |
|
|
* Pointer to the previous sibling. |
715 |
|
|
*/ |
716 |
|
|
struct cx_tree_node_base_s *prev; |
717 |
|
|
/** |
718 |
|
|
* Pointer to the next sibling. |
719 |
|
|
*/ |
720 |
|
|
struct cx_tree_node_base_s *next; |
721 |
|
|
}; |
722 |
|
|
|
723 |
|
|
/** |
724 |
|
|
* Structure for holding the base data of a tree. |
725 |
|
|
*/ |
726 |
|
|
struct cx_tree_s { |
727 |
|
|
/** |
728 |
|
|
* The tree class definition. |
729 |
|
|
*/ |
730 |
|
|
const cx_tree_class *cl; |
731 |
|
|
|
732 |
|
|
/** |
733 |
|
|
* Allocator to allocate new nodes. |
734 |
|
|
*/ |
735 |
|
|
const CxAllocator *allocator; |
736 |
|
|
|
737 |
|
|
/** |
738 |
|
|
* A pointer to the root node. |
739 |
|
|
* |
740 |
|
|
* Will be @c NULL when @c size is 0. |
741 |
|
|
*/ |
742 |
|
|
void *root; |
743 |
|
|
|
744 |
|
|
/** |
745 |
|
|
* A function to create new nodes. |
746 |
|
|
* |
747 |
|
|
* Invocations to this function will receive a pointer to this tree |
748 |
|
|
* structure as second argument. |
749 |
|
|
* |
750 |
|
|
* Nodes MAY use #cx_tree_node_base_s as base layout, but do not need to. |
751 |
|
|
*/ |
752 |
|
|
cx_tree_node_create_func node_create; |
753 |
|
|
|
754 |
|
|
/** |
755 |
|
|
* An optional simple destructor for the tree nodes. |
756 |
|
|
*/ |
757 |
|
|
cx_destructor_func simple_destructor; |
758 |
|
|
|
759 |
|
|
/** |
760 |
|
|
* An optional advanced destructor for the tree nodes. |
761 |
|
|
*/ |
762 |
|
|
cx_destructor_func2 advanced_destructor; |
763 |
|
|
|
764 |
|
|
/** |
765 |
|
|
* The pointer to additional data that is passed to the advanced destructor. |
766 |
|
|
*/ |
767 |
|
|
void *destructor_data; |
768 |
|
|
|
769 |
|
|
/** |
770 |
|
|
* A function to compare two nodes. |
771 |
|
|
*/ |
772 |
|
|
cx_tree_search_func search; |
773 |
|
|
|
774 |
|
|
/** |
775 |
|
|
* A function to compare a node with data. |
776 |
|
|
*/ |
777 |
|
|
cx_tree_search_data_func search_data; |
778 |
|
|
|
779 |
|
|
/** |
780 |
|
|
* The number of currently stored elements. |
781 |
|
|
*/ |
782 |
|
|
size_t size; |
783 |
|
|
|
784 |
|
|
/** |
785 |
|
|
* Offset in the node struct for the parent pointer. |
786 |
|
|
*/ |
787 |
|
|
ptrdiff_t loc_parent; |
788 |
|
|
|
789 |
|
|
/** |
790 |
|
|
* Offset in the node struct for the children linked list. |
791 |
|
|
*/ |
792 |
|
|
ptrdiff_t loc_children; |
793 |
|
|
|
794 |
|
|
/** |
795 |
|
|
* Optional offset in the node struct for the pointer to the last child |
796 |
|
|
* in the linked list (negative if there is no such pointer). |
797 |
|
|
*/ |
798 |
|
|
ptrdiff_t loc_last_child; |
799 |
|
|
|
800 |
|
|
/** |
801 |
|
|
* Offset in the node struct for the previous sibling pointer. |
802 |
|
|
*/ |
803 |
|
|
ptrdiff_t loc_prev; |
804 |
|
|
|
805 |
|
|
/** |
806 |
|
|
* Offset in the node struct for the next sibling pointer. |
807 |
|
|
*/ |
808 |
|
|
ptrdiff_t loc_next; |
809 |
|
|
}; |
810 |
|
|
|
811 |
|
|
/** |
812 |
|
|
* Macro to roll out the #cx_tree_node_base_s structure with a custom |
813 |
|
|
* node type. |
814 |
|
|
* |
815 |
|
|
* Must be used as first member in your custom tree struct. |
816 |
|
|
* |
817 |
|
|
* @param type the data type for the nodes |
818 |
|
|
*/ |
819 |
|
|
#define CX_TREE_NODE_BASE(type) \ |
820 |
|
|
type *parent; \ |
821 |
|
|
type *children;\ |
822 |
|
|
type *last_child;\ |
823 |
|
|
type *prev;\ |
824 |
|
|
type *next |
825 |
|
|
|
826 |
|
|
/** |
827 |
|
|
* Macro for specifying the layout of a base node tree. |
828 |
|
|
* |
829 |
|
|
* When your tree uses #CX_TREE_NODE_BASE, you can use this |
830 |
|
|
* macro in all tree functions that expect the layout parameters |
831 |
|
|
* @c loc_parent, @c loc_children, @c loc_last_child, @c loc_prev, |
832 |
|
|
* and @c loc_next. |
833 |
|
|
*/ |
834 |
|
|
#define cx_tree_node_base_layout \ |
835 |
|
|
offsetof(struct cx_tree_node_base_s, parent),\ |
836 |
|
|
offsetof(struct cx_tree_node_base_s, children),\ |
837 |
|
|
offsetof(struct cx_tree_node_base_s, last_child),\ |
838 |
|
|
offsetof(struct cx_tree_node_base_s, prev), \ |
839 |
|
|
offsetof(struct cx_tree_node_base_s, next) |
840 |
|
|
|
841 |
|
|
/** |
842 |
|
|
* The class definition for arbitrary trees. |
843 |
|
|
*/ |
844 |
|
|
struct cx_tree_class_s { |
845 |
|
|
/** |
846 |
|
|
* Member function for inserting a single element. |
847 |
|
|
* |
848 |
|
|
* Implementations SHALL NOT simply invoke @p insert_many as this comes |
849 |
|
|
* with too much overhead. |
850 |
|
|
*/ |
851 |
|
|
int (*insert_element)( |
852 |
|
|
struct cx_tree_s *tree, |
853 |
|
|
const void *data |
854 |
|
|
); |
855 |
|
|
|
856 |
|
|
/** |
857 |
|
|
* Member function for inserting multiple elements. |
858 |
|
|
* |
859 |
|
|
* Implementations SHALL avoid to perform a full search in the tree for |
860 |
|
|
* every element even though the source data MAY be unsorted. |
861 |
|
|
*/ |
862 |
|
|
size_t (*insert_many)( |
863 |
|
|
struct cx_tree_s *tree, |
864 |
|
|
struct cx_iterator_base_s *iter, |
865 |
|
|
size_t n |
866 |
|
|
); |
867 |
|
|
|
868 |
|
|
/** |
869 |
|
|
* Member function for finding a node. |
870 |
|
|
*/ |
871 |
|
|
void *(*find)( |
872 |
|
|
struct cx_tree_s *tree, |
873 |
|
|
const void *subtree, |
874 |
|
|
const void *data, |
875 |
|
|
size_t depth |
876 |
|
|
); |
877 |
|
|
}; |
878 |
|
|
|
879 |
|
|
/** |
880 |
|
|
* Common type for all tree implementations. |
881 |
|
|
*/ |
882 |
|
|
typedef struct cx_tree_s CxTree; |
883 |
|
|
|
884 |
|
|
|
885 |
|
|
/** |
886 |
|
|
* Destroys a node and it's subtree. |
887 |
|
|
* |
888 |
|
|
* It is guaranteed that the simple destructor is invoked before |
889 |
|
|
* the advanced destructor, starting with the leaf nodes of the subtree. |
890 |
|
|
* |
891 |
|
|
* When this function is invoked on the root node of the tree, it destroys the |
892 |
|
|
* tree contents, but - in contrast to #cxTreeFree() - not the tree |
893 |
|
|
* structure, leaving an empty tree behind. |
894 |
|
|
* |
895 |
|
|
* @note The destructor function, if any, will @em not be invoked. That means |
896 |
|
|
* you will need to free the removed subtree by yourself, eventually. |
897 |
|
|
* |
898 |
|
|
* @attention This function will not free the memory of the nodes with the |
899 |
|
|
* tree's allocator, because that is usually done by the advanced destructor |
900 |
|
|
* and would therefore result in a double-free. |
901 |
|
|
* |
902 |
|
|
* @param tree the tree |
903 |
|
|
* @param node the node to remove |
904 |
|
|
* @see cxTreeFree() |
905 |
|
|
*/ |
906 |
|
|
cx_attr_nonnull |
907 |
|
|
cx_attr_export |
908 |
|
|
void cxTreeDestroySubtree(CxTree *tree, void *node); |
909 |
|
|
|
910 |
|
|
|
911 |
|
|
/** |
912 |
|
|
* Destroys the tree contents. |
913 |
|
|
* |
914 |
|
|
* It is guaranteed that the simple destructor is invoked before |
915 |
|
|
* the advanced destructor, starting with the leaf nodes of the subtree. |
916 |
|
|
* |
917 |
|
|
* This is a convenience macro for invoking #cxTreeDestroySubtree() on the |
918 |
|
|
* root node of the tree. |
919 |
|
|
* |
920 |
|
|
* @attention Be careful when calling this function when no destructor function |
921 |
|
|
* is registered that actually frees the memory of nodes. In that case you will |
922 |
|
|
* need a reference to the (former) root node of the tree somewhere or |
923 |
|
|
* otherwise you will be leaking memory. |
924 |
|
|
* |
925 |
|
|
* @param tree the tree |
926 |
|
|
* @see cxTreeDestroySubtree() |
927 |
|
|
*/ |
928 |
|
|
#define cxTreeClear(tree) cxTreeDestroySubtree(tree, tree->root) |
929 |
|
|
|
930 |
|
|
/** |
931 |
|
|
* Deallocates the tree structure. |
932 |
|
|
* |
933 |
|
|
* The destructor functions are invoked for each node, starting with the leaf |
934 |
|
|
* nodes. |
935 |
|
|
* It is guaranteed that for each node the simple destructor is invoked before |
936 |
|
|
* the advanced destructor. |
937 |
|
|
* |
938 |
|
|
* @attention This function will only invoke the destructor functions |
939 |
|
|
* on the nodes. |
940 |
|
|
* It will NOT additionally free the nodes with the tree's allocator, because |
941 |
|
|
* that would cause a double-free in most scenarios where the advanced |
942 |
|
|
* destructor is already freeing the memory. |
943 |
|
|
* |
944 |
|
|
* @param tree the tree to free |
945 |
|
|
*/ |
946 |
|
|
cx_attr_export |
947 |
|
|
void cxTreeFree(CxTree *tree); |
948 |
|
|
|
949 |
|
|
/** |
950 |
|
|
* Creates a new tree structure based on the specified layout. |
951 |
|
|
* |
952 |
|
|
* The specified @p allocator will be used for creating the tree struct |
953 |
|
|
* and SHALL be used by @p create_func to allocate memory for the nodes. |
954 |
|
|
* |
955 |
|
|
* @note This function will also register an advanced destructor which |
956 |
|
|
* will free the nodes with the allocator's free() method. |
957 |
|
|
* |
958 |
|
|
* @param allocator the allocator that shall be used |
959 |
|
|
* (if @c NULL, a default stdlib allocator will be used) |
960 |
|
|
* @param create_func a function that creates new nodes |
961 |
|
|
* @param search_func a function that compares two nodes |
962 |
|
|
* @param search_data_func a function that compares a node with data |
963 |
|
|
* @param loc_parent offset in the node struct for the parent pointer |
964 |
|
|
* @param loc_children offset in the node struct for the children linked list |
965 |
|
|
* @param loc_last_child optional offset in the node struct for the pointer to |
966 |
|
|
* the last child in the linked list (negative if there is no such pointer) |
967 |
|
|
* @param loc_prev optional offset in the node struct for the prev pointer |
968 |
|
|
* @param loc_next offset in the node struct for the next pointer |
969 |
|
|
* @return the new tree |
970 |
|
|
* @see cxTreeCreateSimple() |
971 |
|
|
* @see cxTreeCreateWrapped() |
972 |
|
|
*/ |
973 |
|
|
cx_attr_nonnull_arg(2, 3, 4) |
974 |
|
|
cx_attr_nodiscard |
975 |
|
|
cx_attr_malloc |
976 |
|
|
cx_attr_dealloc(cxTreeFree, 1) |
977 |
|
|
cx_attr_export |
978 |
|
|
CxTree *cxTreeCreate( |
979 |
|
|
const CxAllocator *allocator, |
980 |
|
|
cx_tree_node_create_func create_func, |
981 |
|
|
cx_tree_search_func search_func, |
982 |
|
|
cx_tree_search_data_func search_data_func, |
983 |
|
|
ptrdiff_t loc_parent, |
984 |
|
|
ptrdiff_t loc_children, |
985 |
|
|
ptrdiff_t loc_last_child, |
986 |
|
|
ptrdiff_t loc_prev, |
987 |
|
|
ptrdiff_t loc_next |
988 |
|
|
); |
989 |
|
|
|
990 |
|
|
/** |
991 |
|
|
* Creates a new tree structure based on a default layout. |
992 |
|
|
* |
993 |
|
|
* Nodes created by @p create_func MUST contain #cx_tree_node_base_s as first |
994 |
|
|
* member (or at least respect the default offsets specified in the tree |
995 |
|
|
* struct) and they MUST be allocated with the specified allocator. |
996 |
|
|
* |
997 |
|
|
* @note This function will also register an advanced destructor which |
998 |
|
|
* will free the nodes with the allocator's free() method. |
999 |
|
|
* |
1000 |
|
|
* @param allocator (@c CxAllocator*) the allocator that shall be used |
1001 |
|
|
* @param create_func (@c cx_tree_node_create_func) a function that creates new nodes |
1002 |
|
|
* @param search_func (@c cx_tree_search_func) a function that compares two nodes |
1003 |
|
|
* @param search_data_func (@c cx_tree_search_data_func) a function that compares a node with data |
1004 |
|
|
* @return (@c CxTree*) the new tree |
1005 |
|
|
* @see cxTreeCreate() |
1006 |
|
|
*/ |
1007 |
|
|
#define cxTreeCreateSimple(\ |
1008 |
|
|
allocator, create_func, search_func, search_data_func \ |
1009 |
|
|
) cxTreeCreate(allocator, create_func, search_func, search_data_func, \ |
1010 |
|
|
cx_tree_node_base_layout) |
1011 |
|
|
|
1012 |
|
|
/** |
1013 |
|
|
* Creates a new tree structure based on an existing tree. |
1014 |
|
|
* |
1015 |
|
|
* The specified @p allocator will be used for creating the tree struct. |
1016 |
|
|
* |
1017 |
|
|
* @attention This function will create an incompletely defined tree structure |
1018 |
|
|
* where neither the create function, the search function, nor a destructor |
1019 |
|
|
* will be set. If you wish to use any of this functionality for the wrapped |
1020 |
|
|
* tree, you need to specify those functions afterwards. |
1021 |
|
|
* |
1022 |
|
|
* @param allocator the allocator that was used for nodes of the wrapped tree |
1023 |
|
|
* (if @c NULL, a default stdlib allocator is assumed) |
1024 |
|
|
* @param root the root node of the tree that shall be wrapped |
1025 |
|
|
* @param loc_parent offset in the node struct for the parent pointer |
1026 |
|
|
* @param loc_children offset in the node struct for the children linked list |
1027 |
|
|
* @param loc_last_child optional offset in the node struct for the pointer to |
1028 |
|
|
* the last child in the linked list (negative if there is no such pointer) |
1029 |
|
|
* @param loc_prev optional offset in the node struct for the prev pointer |
1030 |
|
|
* @param loc_next offset in the node struct for the next pointer |
1031 |
|
|
* @return the new tree |
1032 |
|
|
* @see cxTreeCreate() |
1033 |
|
|
*/ |
1034 |
|
|
cx_attr_nonnull_arg(2) |
1035 |
|
|
cx_attr_nodiscard |
1036 |
|
|
cx_attr_malloc |
1037 |
|
|
cx_attr_dealloc(cxTreeFree, 1) |
1038 |
|
|
cx_attr_export |
1039 |
|
|
CxTree *cxTreeCreateWrapped( |
1040 |
|
|
const CxAllocator *allocator, |
1041 |
|
|
void *root, |
1042 |
|
|
ptrdiff_t loc_parent, |
1043 |
|
|
ptrdiff_t loc_children, |
1044 |
|
|
ptrdiff_t loc_last_child, |
1045 |
|
|
ptrdiff_t loc_prev, |
1046 |
|
|
ptrdiff_t loc_next |
1047 |
|
|
); |
1048 |
|
|
|
1049 |
|
|
/** |
1050 |
|
|
* Inserts data into the tree. |
1051 |
|
|
* |
1052 |
|
|
* @remark For this function to work, the tree needs specified search and |
1053 |
|
|
* create functions, which might not be available for wrapped trees |
1054 |
|
|
* (see #cxTreeCreateWrapped()). |
1055 |
|
|
* |
1056 |
|
|
* @param tree the tree |
1057 |
|
|
* @param data the data to insert |
1058 |
|
|
* @retval zero success |
1059 |
|
|
* @retval non-zero failure |
1060 |
|
|
*/ |
1061 |
|
|
cx_attr_nonnull |
1062 |
|
|
static inline int cxTreeInsert( |
1063 |
|
|
CxTree *tree, |
1064 |
|
|
const void *data |
1065 |
|
|
) { |
1066 |
|
|
return tree->cl->insert_element(tree, data); |
1067 |
|
|
} |
1068 |
|
|
|
1069 |
|
|
/** |
1070 |
|
|
* Inserts elements provided by an iterator efficiently into the tree. |
1071 |
|
|
* |
1072 |
|
|
* @remark For this function to work, the tree needs specified search and |
1073 |
|
|
* create functions, which might not be available for wrapped trees |
1074 |
|
|
* (see #cxTreeCreateWrapped()). |
1075 |
|
|
* |
1076 |
|
|
* @param tree the tree |
1077 |
|
|
* @param iter the iterator providing the elements |
1078 |
|
|
* @param n the maximum number of elements to insert |
1079 |
|
|
* @return the number of elements that could be successfully inserted |
1080 |
|
|
*/ |
1081 |
|
|
cx_attr_nonnull |
1082 |
|
|
static inline size_t cxTreeInsertIter( |
1083 |
|
|
CxTree *tree, |
1084 |
|
|
CxIteratorBase *iter, |
1085 |
|
|
size_t n |
1086 |
|
|
) { |
1087 |
|
|
return tree->cl->insert_many(tree, iter, n); |
1088 |
|
|
} |
1089 |
|
|
|
1090 |
|
|
/** |
1091 |
|
|
* Inserts an array of data efficiently into the tree. |
1092 |
|
|
* |
1093 |
|
|
* @remark For this function to work, the tree needs specified search and |
1094 |
|
|
* create functions, which might not be available for wrapped trees |
1095 |
|
|
* (see #cxTreeCreateWrapped()). |
1096 |
|
|
* |
1097 |
|
|
* @param tree the tree |
1098 |
|
|
* @param data the array of data to insert |
1099 |
|
|
* @param elem_size the size of each element in the array |
1100 |
|
|
* @param n the number of elements in the array |
1101 |
|
|
* @return the number of elements that could be successfully inserted |
1102 |
|
|
*/ |
1103 |
|
|
cx_attr_nonnull |
1104 |
|
|
static inline size_t cxTreeInsertArray( |
1105 |
|
|
CxTree *tree, |
1106 |
|
|
const void *data, |
1107 |
|
|
size_t elem_size, |
1108 |
|
|
size_t n |
1109 |
|
|
) { |
1110 |
|
|
if (n == 0) return 0; |
1111 |
|
|
if (n == 1) return 0 == cxTreeInsert(tree, data) ? 1 : 0; |
1112 |
|
|
CxIterator iter = cxIterator(data, elem_size, n); |
1113 |
|
|
return cxTreeInsertIter(tree, cxIteratorRef(iter), n); |
1114 |
|
|
} |
1115 |
|
|
|
1116 |
|
|
/** |
1117 |
|
|
* Searches the data in the specified tree. |
1118 |
|
|
* |
1119 |
|
|
* @remark For this function to work, the tree needs a specified @c search_data |
1120 |
|
|
* function, which might not be available wrapped trees |
1121 |
|
|
* (see #cxTreeCreateWrapped()). |
1122 |
|
|
* |
1123 |
|
|
* @param tree the tree |
1124 |
|
|
* @param data the data to search for |
1125 |
|
|
* @return the first matching node, or @c NULL when the data cannot be found |
1126 |
|
|
*/ |
1127 |
|
|
cx_attr_nonnull |
1128 |
|
|
cx_attr_nodiscard |
1129 |
|
|
static inline void *cxTreeFind( |
1130 |
|
|
CxTree *tree, |
1131 |
|
|
const void *data |
1132 |
|
|
) { |
1133 |
|
|
return tree->cl->find(tree, tree->root, data, 0); |
1134 |
|
|
} |
1135 |
|
|
|
1136 |
|
|
/** |
1137 |
|
|
* Searches the data in the specified subtree. |
1138 |
|
|
* |
1139 |
|
|
* When @p max_depth is zero, the depth is not limited. |
1140 |
|
|
* The @p subtree_root itself is on depth 1 and its children have depth 2. |
1141 |
|
|
* |
1142 |
|
|
* @note When @p subtree_root is not part of the @p tree, the behavior is |
1143 |
|
|
* undefined. |
1144 |
|
|
* |
1145 |
|
|
* @remark For this function to work, the tree needs a specified @c search_data |
1146 |
|
|
* function, which might not be the case for wrapped trees |
1147 |
|
|
* (see #cxTreeCreateWrapped()). |
1148 |
|
|
* |
1149 |
|
|
* @param tree the tree |
1150 |
|
|
* @param data the data to search for |
1151 |
|
|
* @param subtree_root the node where to start |
1152 |
|
|
* @param max_depth the maximum search depth |
1153 |
|
|
* @return the first matching node, or @c NULL when the data cannot be found |
1154 |
|
|
*/ |
1155 |
|
|
cx_attr_nonnull |
1156 |
|
|
cx_attr_nodiscard |
1157 |
|
|
static inline void *cxTreeFindInSubtree( |
1158 |
|
|
CxTree *tree, |
1159 |
|
|
const void *data, |
1160 |
|
|
void *subtree_root, |
1161 |
|
|
size_t max_depth |
1162 |
|
|
) { |
1163 |
|
|
return tree->cl->find(tree, subtree_root, data, max_depth); |
1164 |
|
|
} |
1165 |
|
|
|
1166 |
|
|
/** |
1167 |
|
|
* Determines the size of the specified subtree. |
1168 |
|
|
* |
1169 |
|
|
* @param tree the tree |
1170 |
|
|
* @param subtree_root the root node of the subtree |
1171 |
|
|
* @return the number of nodes in the specified subtree |
1172 |
|
|
*/ |
1173 |
|
|
cx_attr_nonnull |
1174 |
|
|
cx_attr_nodiscard |
1175 |
|
|
cx_attr_export |
1176 |
|
|
size_t cxTreeSubtreeSize(CxTree *tree, void *subtree_root); |
1177 |
|
|
|
1178 |
|
|
/** |
1179 |
|
|
* Determines the depth of the specified subtree. |
1180 |
|
|
* |
1181 |
|
|
* @param tree the tree |
1182 |
|
|
* @param subtree_root the root node of the subtree |
1183 |
|
|
* @return the tree depth including the @p subtree_root |
1184 |
|
|
*/ |
1185 |
|
|
cx_attr_nonnull |
1186 |
|
|
cx_attr_nodiscard |
1187 |
|
|
cx_attr_export |
1188 |
|
|
size_t cxTreeSubtreeDepth(CxTree *tree, void *subtree_root); |
1189 |
|
|
|
1190 |
|
|
/** |
1191 |
|
|
* Determines the depth of the entire tree. |
1192 |
|
|
* |
1193 |
|
|
* @param tree the tree |
1194 |
|
|
* @return the tree depth, counting the root as one |
1195 |
|
|
*/ |
1196 |
|
|
cx_attr_nonnull |
1197 |
|
|
cx_attr_nodiscard |
1198 |
|
|
cx_attr_export |
1199 |
|
|
size_t cxTreeDepth(CxTree *tree); |
1200 |
|
|
|
1201 |
|
|
/** |
1202 |
|
|
* Creates a depth-first iterator for the specified tree starting in @p node. |
1203 |
|
|
* |
1204 |
|
|
* If the node is not part of the tree, the behavior is undefined. |
1205 |
|
|
* |
1206 |
|
|
* @param tree the tree to iterate |
1207 |
|
|
* @param node the node where to start |
1208 |
|
|
* @param visit_on_exit true, if the iterator shall visit a node again when |
1209 |
|
|
* leaving the subtree |
1210 |
|
|
* @return a tree iterator (depth-first) |
1211 |
|
|
* @see cxTreeVisit() |
1212 |
|
|
*/ |
1213 |
|
|
cx_attr_nonnull |
1214 |
|
|
cx_attr_nodiscard |
1215 |
|
|
static inline CxTreeIterator cxTreeIterateSubtree( |
1216 |
|
|
CxTree *tree, |
1217 |
|
|
void *node, |
1218 |
|
|
bool visit_on_exit |
1219 |
|
|
) { |
1220 |
|
|
return cx_tree_iterator( |
1221 |
|
|
node, visit_on_exit, |
1222 |
|
|
tree->loc_children, tree->loc_next |
1223 |
|
|
); |
1224 |
|
|
} |
1225 |
|
|
|
1226 |
|
|
/** |
1227 |
|
|
* Creates a breadth-first iterator for the specified tree starting in @p node. |
1228 |
|
|
* |
1229 |
|
|
* If the node is not part of the tree, the behavior is undefined. |
1230 |
|
|
* |
1231 |
|
|
* @param tree the tree to iterate |
1232 |
|
|
* @param node the node where to start |
1233 |
|
|
* @return a tree visitor (a.k.a. breadth-first iterator) |
1234 |
|
|
* @see cxTreeIterate() |
1235 |
|
|
*/ |
1236 |
|
|
cx_attr_nonnull |
1237 |
|
|
cx_attr_nodiscard |
1238 |
|
|
static inline CxTreeVisitor cxTreeVisitSubtree(CxTree *tree, void *node) { |
1239 |
|
|
return cx_tree_visitor( |
1240 |
|
|
node, tree->loc_children, tree->loc_next |
1241 |
|
|
); |
1242 |
|
|
} |
1243 |
|
|
|
1244 |
|
|
/** |
1245 |
|
|
* Creates a depth-first iterator for the specified tree. |
1246 |
|
|
* |
1247 |
|
|
* @param tree the tree to iterate |
1248 |
|
|
* @param visit_on_exit true, if the iterator shall visit a node again when |
1249 |
|
|
* leaving the subtree |
1250 |
|
|
* @return a tree iterator (depth-first) |
1251 |
|
|
* @see cxTreeVisit() |
1252 |
|
|
*/ |
1253 |
|
|
cx_attr_nonnull |
1254 |
|
|
cx_attr_nodiscard |
1255 |
|
|
static inline CxTreeIterator cxTreeIterate( |
1256 |
|
|
CxTree *tree, |
1257 |
|
|
bool visit_on_exit |
1258 |
|
|
) { |
1259 |
|
|
return cxTreeIterateSubtree(tree, tree->root, visit_on_exit); |
1260 |
|
|
} |
1261 |
|
|
|
1262 |
|
|
/** |
1263 |
|
|
* Creates a breadth-first iterator for the specified tree. |
1264 |
|
|
* |
1265 |
|
|
* @param tree the tree to iterate |
1266 |
|
|
* @return a tree visitor (a.k.a. breadth-first iterator) |
1267 |
|
|
* @see cxTreeIterate() |
1268 |
|
|
*/ |
1269 |
|
|
cx_attr_nonnull |
1270 |
|
|
cx_attr_nodiscard |
1271 |
|
|
static inline CxTreeVisitor cxTreeVisit(CxTree *tree) { |
1272 |
|
|
return cxTreeVisitSubtree(tree, tree->root); |
1273 |
|
|
} |
1274 |
|
|
|
1275 |
|
|
/** |
1276 |
|
|
* Sets the (new) parent of the specified child. |
1277 |
|
|
* |
1278 |
|
|
* If the @p child is not already member of the tree, this function behaves |
1279 |
|
|
* as #cxTreeAddChildNode(). |
1280 |
|
|
* |
1281 |
|
|
* @param tree the tree |
1282 |
|
|
* @param parent the (new) parent of the child |
1283 |
|
|
* @param child the node to add |
1284 |
|
|
* @see cxTreeAddChildNode() |
1285 |
|
|
*/ |
1286 |
|
|
cx_attr_nonnull |
1287 |
|
|
cx_attr_export |
1288 |
|
|
void cxTreeSetParent( |
1289 |
|
|
CxTree *tree, |
1290 |
|
|
void *parent, |
1291 |
|
|
void *child |
1292 |
|
|
); |
1293 |
|
|
|
1294 |
|
|
/** |
1295 |
|
|
* Adds a new node to the tree. |
1296 |
|
|
* |
1297 |
|
|
* If the @p child is already member of the tree, the behavior is undefined. |
1298 |
|
|
* Use #cxTreeSetParent() if you want to move a subtree to another location. |
1299 |
|
|
* |
1300 |
|
|
* @attention The node may be externally created, but MUST obey the same rules |
1301 |
|
|
* as if it was created by the tree itself with #cxTreeAddChild() (e.g. use |
1302 |
|
|
* the same allocator). |
1303 |
|
|
* |
1304 |
|
|
* @param tree the tree |
1305 |
|
|
* @param parent the parent of the node to add |
1306 |
|
|
* @param child the node to add |
1307 |
|
|
* @see cxTreeSetParent() |
1308 |
|
|
*/ |
1309 |
|
|
cx_attr_nonnull |
1310 |
|
|
cx_attr_export |
1311 |
|
|
void cxTreeAddChildNode( |
1312 |
|
|
CxTree *tree, |
1313 |
|
|
void *parent, |
1314 |
|
|
void *child |
1315 |
|
|
); |
1316 |
|
|
|
1317 |
|
|
/** |
1318 |
|
|
* Creates a new node and adds it to the tree. |
1319 |
|
|
* |
1320 |
|
|
* With this function you can decide where exactly the new node shall be added. |
1321 |
|
|
* If you specified an appropriate search function, you may want to consider |
1322 |
|
|
* leaving this task to the tree by using #cxTreeInsert(). |
1323 |
|
|
* |
1324 |
|
|
* Be aware that adding nodes at arbitrary locations in the tree might cause |
1325 |
|
|
* wrong or undesired results when subsequently invoking #cxTreeInsert() and |
1326 |
|
|
* the invariant imposed by the search function does not hold any longer. |
1327 |
|
|
* |
1328 |
|
|
* @param tree the tree |
1329 |
|
|
* @param parent the parent node of the new node |
1330 |
|
|
* @param data the data that will be submitted to the create function |
1331 |
|
|
* @return zero when the new node was created, non-zero on allocation failure |
1332 |
|
|
* @see cxTreeInsert() |
1333 |
|
|
*/ |
1334 |
|
|
cx_attr_nonnull |
1335 |
|
|
cx_attr_export |
1336 |
|
|
int cxTreeAddChild( |
1337 |
|
|
CxTree *tree, |
1338 |
|
|
void *parent, |
1339 |
|
|
const void *data |
1340 |
|
|
); |
1341 |
|
|
|
1342 |
|
|
/** |
1343 |
|
|
* A function that is invoked when a node needs to be re-linked to a new parent. |
1344 |
|
|
* |
1345 |
|
|
* When a node is re-linked, sometimes the contents need to be updated. |
1346 |
|
|
* This callback is invoked by #cxTreeRemoveNode() and #cxTreeDestroyNode() |
1347 |
|
|
* so that those updates can be applied when re-linking the children of the |
1348 |
|
|
* removed node. |
1349 |
|
|
* |
1350 |
|
|
* @param node the affected node |
1351 |
|
|
* @param old_parent the old parent of the node |
1352 |
|
|
* @param new_parent the new parent of the node |
1353 |
|
|
*/ |
1354 |
|
|
cx_attr_nonnull |
1355 |
|
|
typedef void (*cx_tree_relink_func)( |
1356 |
|
|
void *node, |
1357 |
|
|
const void *old_parent, |
1358 |
|
|
const void *new_parent |
1359 |
|
|
); |
1360 |
|
|
|
1361 |
|
|
/** |
1362 |
|
|
* Removes a node and re-links its children to its former parent. |
1363 |
|
|
* |
1364 |
|
|
* If the node is not part of the tree, the behavior is undefined. |
1365 |
|
|
* |
1366 |
|
|
* @note The destructor function, if any, will @em not be invoked. That means |
1367 |
|
|
* you will need to free the removed node by yourself, eventually. |
1368 |
|
|
* |
1369 |
|
|
* @param tree the tree |
1370 |
|
|
* @param node the node to remove (must not be the root node) |
1371 |
|
|
* @param relink_func optional callback to update the content of each re-linked |
1372 |
|
|
* node |
1373 |
|
|
* @return zero on success, non-zero if @p node is the root node of the tree |
1374 |
|
|
*/ |
1375 |
|
|
cx_attr_nonnull_arg(1, 2) |
1376 |
|
|
cx_attr_export |
1377 |
|
|
int cxTreeRemoveNode( |
1378 |
|
|
CxTree *tree, |
1379 |
|
|
void *node, |
1380 |
|
|
cx_tree_relink_func relink_func |
1381 |
|
|
); |
1382 |
|
|
|
1383 |
|
|
/** |
1384 |
|
|
* Removes a node and it's subtree from the tree. |
1385 |
|
|
* |
1386 |
|
|
* If the node is not part of the tree, the behavior is undefined. |
1387 |
|
|
* |
1388 |
|
|
* @note The destructor function, if any, will @em not be invoked. That means |
1389 |
|
|
* you will need to free the removed subtree by yourself, eventually. |
1390 |
|
|
* |
1391 |
|
|
* @param tree the tree |
1392 |
|
|
* @param node the node to remove |
1393 |
|
|
*/ |
1394 |
|
|
cx_attr_nonnull |
1395 |
|
|
cx_attr_export |
1396 |
|
|
void cxTreeRemoveSubtree(CxTree *tree, void *node); |
1397 |
|
|
|
1398 |
|
|
/** |
1399 |
|
|
* Destroys a node and re-links its children to its former parent. |
1400 |
|
|
* |
1401 |
|
|
* If the node is not part of the tree, the behavior is undefined. |
1402 |
|
|
* |
1403 |
|
|
* It is guaranteed that the simple destructor is invoked before |
1404 |
|
|
* the advanced destructor. |
1405 |
|
|
* |
1406 |
|
|
* @attention This function will not free the memory of the node with the |
1407 |
|
|
* tree's allocator, because that is usually done by the advanced destructor |
1408 |
|
|
* and would therefore result in a double-free. |
1409 |
|
|
* |
1410 |
|
|
* @param tree the tree |
1411 |
|
|
* @param node the node to destroy (must not be the root node) |
1412 |
|
|
* @param relink_func optional callback to update the content of each re-linked |
1413 |
|
|
* node |
1414 |
|
|
* @return zero on success, non-zero if @p node is the root node of the tree |
1415 |
|
|
*/ |
1416 |
|
|
cx_attr_nonnull_arg(1, 2) |
1417 |
|
|
cx_attr_export |
1418 |
|
|
int cxTreeDestroyNode( |
1419 |
|
|
CxTree *tree, |
1420 |
|
|
void *node, |
1421 |
|
|
cx_tree_relink_func relink_func |
1422 |
|
|
); |
1423 |
|
|
|
1424 |
|
|
#ifdef __cplusplus |
1425 |
|
|
} // extern "C" |
1426 |
|
|
#endif |
1427 |
|
|
|
1428 |
|
|
#endif //UCX_TREE_H |
1429 |
|
|
|