lst.c revision 1.85 1 1.85 rillig /* $NetBSD: lst.c,v 1.85 2020/10/24 09:03:54 rillig Exp $ */
2 1.1 rillig
3 1.1 rillig /*
4 1.1 rillig * Copyright (c) 1988, 1989, 1990, 1993
5 1.1 rillig * The Regents of the University of California. All rights reserved.
6 1.1 rillig *
7 1.1 rillig * This code is derived from software contributed to Berkeley by
8 1.1 rillig * Adam de Boor.
9 1.1 rillig *
10 1.1 rillig * Redistribution and use in source and binary forms, with or without
11 1.1 rillig * modification, are permitted provided that the following conditions
12 1.1 rillig * are met:
13 1.1 rillig * 1. Redistributions of source code must retain the above copyright
14 1.1 rillig * notice, this list of conditions and the following disclaimer.
15 1.1 rillig * 2. Redistributions in binary form must reproduce the above copyright
16 1.1 rillig * notice, this list of conditions and the following disclaimer in the
17 1.1 rillig * documentation and/or other materials provided with the distribution.
18 1.1 rillig * 3. Neither the name of the University nor the names of its contributors
19 1.1 rillig * may be used to endorse or promote products derived from this software
20 1.1 rillig * without specific prior written permission.
21 1.1 rillig *
22 1.1 rillig * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
23 1.1 rillig * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
24 1.1 rillig * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
25 1.1 rillig * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
26 1.1 rillig * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
27 1.1 rillig * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
28 1.1 rillig * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
29 1.1 rillig * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
30 1.1 rillig * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
31 1.1 rillig * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
32 1.1 rillig * SUCH DAMAGE.
33 1.1 rillig */
34 1.1 rillig
35 1.19 rillig #include "make.h"
36 1.1 rillig
37 1.85 rillig MAKE_RCSID("$NetBSD: lst.c,v 1.85 2020/10/24 09:03:54 rillig Exp $");
38 1.1 rillig
39 1.65 rillig static ListNode *
40 1.84 rillig LstNodeNew(ListNode *prev, ListNode *next, void *datum)
41 1.12 rillig {
42 1.65 rillig ListNode *node = bmake_malloc(sizeof *node);
43 1.84 rillig node->prev = prev;
44 1.84 rillig node->next = next;
45 1.16 rillig node->datum = datum;
46 1.16 rillig return node;
47 1.12 rillig }
48 1.12 rillig
49 1.5 rillig /* Create and initialize a new, empty list. */
50 1.65 rillig List *
51 1.77 rillig Lst_New(void)
52 1.1 rillig {
53 1.65 rillig List *list = bmake_malloc(sizeof *list);
54 1.1 rillig
55 1.16 rillig list->first = NULL;
56 1.16 rillig list->last = NULL;
57 1.1 rillig
58 1.16 rillig return list;
59 1.1 rillig }
60 1.1 rillig
61 1.14 rillig /* Duplicate an entire list, usually by copying the datum pointers.
62 1.14 rillig * If copyProc is given, that function is used to create the new datum from the
63 1.35 rillig * old datum, usually by creating a copy of it. */
64 1.65 rillig List *
65 1.65 rillig Lst_Copy(List *list, LstCopyProc copyProc)
66 1.1 rillig {
67 1.65 rillig List *newList;
68 1.65 rillig ListNode *node;
69 1.1 rillig
70 1.77 rillig newList = Lst_New();
71 1.1 rillig
72 1.35 rillig for (node = list->first; node != NULL; node = node->next) {
73 1.35 rillig void *datum = copyProc != NULL ? copyProc(node->datum) : node->datum;
74 1.50 rillig Lst_Append(newList, datum);
75 1.1 rillig }
76 1.1 rillig
77 1.16 rillig return newList;
78 1.1 rillig }
79 1.1 rillig
80 1.42 rillig /* Free a list and all its nodes. The list data itself are not freed though. */
81 1.42 rillig void
82 1.65 rillig Lst_Free(List *list)
83 1.42 rillig {
84 1.65 rillig ListNode *node;
85 1.65 rillig ListNode *next;
86 1.42 rillig
87 1.42 rillig for (node = list->first; node != NULL; node = next) {
88 1.42 rillig next = node->next;
89 1.42 rillig free(node);
90 1.42 rillig }
91 1.42 rillig
92 1.42 rillig free(list);
93 1.42 rillig }
94 1.42 rillig
95 1.59 rillig /* Destroy a list and free all its resources. The freeProc is called with the
96 1.59 rillig * datum from each node in turn before the node is freed. */
97 1.1 rillig void
98 1.65 rillig Lst_Destroy(List *list, LstFreeProc freeProc)
99 1.1 rillig {
100 1.65 rillig ListNode *node;
101 1.65 rillig ListNode *next;
102 1.1 rillig
103 1.42 rillig for (node = list->first; node != NULL; node = next) {
104 1.42 rillig next = node->next;
105 1.42 rillig freeProc(node->datum);
106 1.42 rillig free(node);
107 1.1 rillig }
108 1.1 rillig
109 1.1 rillig free(list);
110 1.1 rillig }
111 1.1 rillig
112 1.1 rillig /*
113 1.1 rillig * Functions to modify a list
114 1.1 rillig */
115 1.1 rillig
116 1.14 rillig /* Insert a new node with the given piece of data before the given node in the
117 1.14 rillig * given list. */
118 1.26 rillig void
119 1.65 rillig Lst_InsertBefore(List *list, ListNode *node, void *datum)
120 1.26 rillig {
121 1.65 rillig ListNode *newNode;
122 1.26 rillig
123 1.26 rillig assert(datum != NULL);
124 1.26 rillig
125 1.84 rillig newNode = LstNodeNew(node->prev, node, datum);
126 1.26 rillig
127 1.85 rillig if (node->prev != NULL)
128 1.26 rillig node->prev->next = newNode;
129 1.26 rillig node->prev = newNode;
130 1.26 rillig
131 1.85 rillig if (node == list->first)
132 1.26 rillig list->first = newNode;
133 1.26 rillig }
134 1.26 rillig
135 1.22 rillig /* Add a piece of data at the start of the given list. */
136 1.22 rillig void
137 1.65 rillig Lst_Prepend(List *list, void *datum)
138 1.22 rillig {
139 1.65 rillig ListNode *node;
140 1.22 rillig
141 1.22 rillig assert(datum != NULL);
142 1.22 rillig
143 1.84 rillig node = LstNodeNew(NULL, list->first, datum);
144 1.22 rillig
145 1.22 rillig if (list->first == NULL) {
146 1.22 rillig list->first = node;
147 1.22 rillig list->last = node;
148 1.22 rillig } else {
149 1.22 rillig list->first->prev = node;
150 1.22 rillig list->first = node;
151 1.22 rillig }
152 1.22 rillig }
153 1.22 rillig
154 1.21 rillig /* Add a piece of data at the end of the given list. */
155 1.21 rillig void
156 1.65 rillig Lst_Append(List *list, void *datum)
157 1.21 rillig {
158 1.65 rillig ListNode *node;
159 1.21 rillig
160 1.21 rillig assert(datum != NULL);
161 1.21 rillig
162 1.84 rillig node = LstNodeNew(list->last, NULL, datum);
163 1.21 rillig
164 1.21 rillig if (list->last == NULL) {
165 1.21 rillig list->first = node;
166 1.21 rillig list->last = node;
167 1.21 rillig } else {
168 1.21 rillig list->last->next = node;
169 1.21 rillig list->last = node;
170 1.21 rillig }
171 1.21 rillig }
172 1.21 rillig
173 1.8 rillig /* Remove the given node from the given list.
174 1.8 rillig * The datum stored in the node must be freed by the caller, if necessary. */
175 1.8 rillig void
176 1.65 rillig Lst_Remove(List *list, ListNode *node)
177 1.1 rillig {
178 1.85 rillig /* unlink it from its neighbors */
179 1.85 rillig if (node->next != NULL)
180 1.16 rillig node->next->prev = node->prev;
181 1.85 rillig if (node->prev != NULL)
182 1.16 rillig node->prev->next = node->next;
183 1.1 rillig
184 1.85 rillig /* unlink it from the list */
185 1.85 rillig if (list->first == node)
186 1.16 rillig list->first = node->next;
187 1.85 rillig if (list->last == node)
188 1.16 rillig list->last = node->prev;
189 1.1 rillig }
190 1.1 rillig
191 1.8 rillig /* Replace the datum in the given node with the new datum. */
192 1.8 rillig void
193 1.65 rillig LstNode_Set(ListNode *node, void *datum)
194 1.1 rillig {
195 1.37 rillig assert(datum != NULL);
196 1.37 rillig
197 1.16 rillig node->datum = datum;
198 1.1 rillig }
199 1.1 rillig
200 1.74 rillig /* Replace the datum in the given node to NULL.
201 1.74 rillig * Having NULL values in a list is unusual though. */
202 1.37 rillig void
203 1.65 rillig LstNode_SetNull(ListNode *node)
204 1.37 rillig {
205 1.37 rillig node->datum = NULL;
206 1.37 rillig }
207 1.37 rillig
208 1.1 rillig
209 1.1 rillig /*
210 1.1 rillig * Functions for entire lists
211 1.1 rillig */
212 1.1 rillig
213 1.53 rillig /* Return the first node from the list for which the match function returns
214 1.53 rillig * TRUE, or NULL if none of the nodes matched. */
215 1.65 rillig ListNode *
216 1.65 rillig Lst_Find(List *list, LstFindProc match, const void *matchArgs)
217 1.53 rillig {
218 1.79 rillig return Lst_FindFrom(list, list->first, match, matchArgs);
219 1.53 rillig }
220 1.53 rillig
221 1.53 rillig /* Return the first node from the list, starting at the given node, for which
222 1.53 rillig * the match function returns TRUE, or NULL if none of the nodes matches.
223 1.53 rillig *
224 1.72 rillig * The start node may be NULL, in which case nothing is found. */
225 1.65 rillig ListNode *
226 1.85 rillig Lst_FindFrom(List *list, ListNode *node,
227 1.85 rillig LstFindProc match, const void *matchArgs)
228 1.53 rillig {
229 1.65 rillig ListNode *tln;
230 1.53 rillig
231 1.53 rillig assert(list != NULL);
232 1.53 rillig assert(match != NULL);
233 1.53 rillig
234 1.85 rillig for (tln = node; tln != NULL; tln = tln->next)
235 1.53 rillig if (match(tln->datum, matchArgs))
236 1.53 rillig return tln;
237 1.53 rillig
238 1.53 rillig return NULL;
239 1.53 rillig }
240 1.53 rillig
241 1.14 rillig /* Return the first node that contains the given datum, or NULL. */
242 1.65 rillig ListNode *
243 1.65 rillig Lst_FindDatum(List *list, const void *datum)
244 1.1 rillig {
245 1.65 rillig ListNode *node;
246 1.1 rillig
247 1.29 rillig assert(datum != NULL);
248 1.1 rillig
249 1.85 rillig for (node = list->first; node != NULL; node = node->next)
250 1.85 rillig if (node->datum == datum)
251 1.16 rillig return node;
252 1.1 rillig
253 1.1 rillig return NULL;
254 1.1 rillig }
255 1.1 rillig
256 1.82 rillig int
257 1.82 rillig Lst_ForEachUntil(List *list, LstActionUntilProc proc, void *procData)
258 1.82 rillig {
259 1.82 rillig ListNode *node;
260 1.82 rillig int result = 0;
261 1.82 rillig
262 1.82 rillig for (node = list->first; node != NULL; node = node->next) {
263 1.82 rillig result = proc(node->datum, procData);
264 1.82 rillig if (result != 0)
265 1.82 rillig break;
266 1.82 rillig }
267 1.82 rillig return result;
268 1.82 rillig }
269 1.82 rillig
270 1.34 rillig /* Move all nodes from list2 to the end of list1.
271 1.34 rillig * List2 is destroyed and freed. */
272 1.34 rillig void
273 1.65 rillig Lst_MoveAll(List *list1, List *list2)
274 1.1 rillig {
275 1.34 rillig if (list2->first != NULL) {
276 1.34 rillig list2->first->prev = list1->last;
277 1.85 rillig if (list1->last != NULL)
278 1.34 rillig list1->last->next = list2->first;
279 1.85 rillig else
280 1.34 rillig list1->first = list2->first;
281 1.85 rillig
282 1.34 rillig list1->last = list2->last;
283 1.1 rillig }
284 1.34 rillig free(list2);
285 1.1 rillig }
286 1.1 rillig
287 1.22 rillig /* Copy the element data from src to the start of dst. */
288 1.22 rillig void
289 1.65 rillig Lst_PrependAll(List *dst, List *src)
290 1.22 rillig {
291 1.65 rillig ListNode *node;
292 1.22 rillig for (node = src->last; node != NULL; node = node->prev)
293 1.50 rillig Lst_Prepend(dst, node->datum);
294 1.22 rillig }
295 1.22 rillig
296 1.22 rillig /* Copy the element data from src to the end of dst. */
297 1.22 rillig void
298 1.65 rillig Lst_AppendAll(List *dst, List *src)
299 1.22 rillig {
300 1.65 rillig ListNode *node;
301 1.22 rillig for (node = src->first; node != NULL; node = node->next)
302 1.50 rillig Lst_Append(dst, node->datum);
303 1.22 rillig }
304 1.1 rillig
305 1.1 rillig /*
306 1.1 rillig * for using the list as a queue
307 1.1 rillig */
308 1.1 rillig
309 1.14 rillig /* Add the datum to the tail of the given list. */
310 1.25 rillig void
311 1.65 rillig Lst_Enqueue(List *list, void *datum)
312 1.1 rillig {
313 1.50 rillig Lst_Append(list, datum);
314 1.1 rillig }
315 1.1 rillig
316 1.25 rillig /* Remove and return the datum at the head of the given list. */
317 1.1 rillig void *
318 1.65 rillig Lst_Dequeue(List *list)
319 1.1 rillig {
320 1.74 rillig void *datum = list->first->datum;
321 1.50 rillig Lst_Remove(list, list->first);
322 1.74 rillig assert(datum != NULL); /* since NULL would mean end of the list */
323 1.16 rillig return datum;
324 1.1 rillig }
325 1.61 rillig
326 1.61 rillig void
327 1.76 rillig Vector_Init(Vector *v)
328 1.61 rillig {
329 1.76 rillig v->len = 0;
330 1.76 rillig v->cap = 10;
331 1.76 rillig v->items = bmake_malloc(v->cap * sizeof v->items[0]);
332 1.61 rillig }
333 1.61 rillig
334 1.76 rillig Boolean Vector_IsEmpty(Vector *v)
335 1.61 rillig {
336 1.76 rillig return v->len == 0;
337 1.61 rillig }
338 1.61 rillig
339 1.76 rillig void Vector_Push(Vector *v, void *datum)
340 1.61 rillig {
341 1.76 rillig if (v->len >= v->cap) {
342 1.76 rillig v->cap *= 2;
343 1.76 rillig v->items = bmake_realloc(v->items,
344 1.76 rillig v->cap * sizeof v->items[0]);
345 1.61 rillig }
346 1.76 rillig v->items[v->len] = datum;
347 1.76 rillig v->len++;
348 1.61 rillig }
349 1.61 rillig
350 1.76 rillig void *Vector_Pop(Vector *v)
351 1.61 rillig {
352 1.64 rillig void *datum;
353 1.64 rillig
354 1.76 rillig assert(v->len > 0);
355 1.76 rillig v->len--;
356 1.76 rillig datum = v->items[v->len];
357 1.64 rillig #ifdef CLEANUP
358 1.76 rillig v->items[v->len] = NULL;
359 1.64 rillig #endif
360 1.64 rillig return datum;
361 1.61 rillig }
362 1.61 rillig
363 1.76 rillig void Vector_Done(Vector *v)
364 1.61 rillig {
365 1.76 rillig free(v->items);
366 1.61 rillig }
367