src/ucx/cx/tree.h

Mon, 10 Nov 2025 21:06:55 +0100

author
Olaf Wintermann <olaf.wintermann@gmail.com>
date
Mon, 10 Nov 2025 21:06:55 +0100
changeset 622
6e44c7ce0834
parent 621
956c03c25edd
child 645
0c85c4cd0dd8
permissions
-rw-r--r--

add ucx kv_list

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

mercurial