lst.c revision 1.84 1 1.84 rillig /* $NetBSD: lst.c,v 1.84 2020/10/24 08:56:27 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.84 rillig MAKE_RCSID("$NetBSD: lst.c,v 1.84 2020/10/24 08:56:27 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.2 rillig static Boolean
50 1.65 rillig LstIsEmpty(List *list)
51 1.2 rillig {
52 1.16 rillig return list->first == NULL;
53 1.2 rillig }
54 1.1 rillig
55 1.5 rillig /* Create and initialize a new, empty list. */
56 1.65 rillig List *
57 1.77 rillig Lst_New(void)
58 1.1 rillig {
59 1.65 rillig List *list = bmake_malloc(sizeof *list);
60 1.1 rillig
61 1.16 rillig list->first = NULL;
62 1.16 rillig list->last = NULL;
63 1.1 rillig
64 1.16 rillig return list;
65 1.1 rillig }
66 1.1 rillig
67 1.14 rillig /* Duplicate an entire list, usually by copying the datum pointers.
68 1.14 rillig * If copyProc is given, that function is used to create the new datum from the
69 1.35 rillig * old datum, usually by creating a copy of it. */
70 1.65 rillig List *
71 1.65 rillig Lst_Copy(List *list, LstCopyProc copyProc)
72 1.1 rillig {
73 1.65 rillig List *newList;
74 1.65 rillig ListNode *node;
75 1.1 rillig
76 1.77 rillig newList = Lst_New();
77 1.1 rillig
78 1.35 rillig for (node = list->first; node != NULL; node = node->next) {
79 1.35 rillig void *datum = copyProc != NULL ? copyProc(node->datum) : node->datum;
80 1.50 rillig Lst_Append(newList, datum);
81 1.1 rillig }
82 1.1 rillig
83 1.16 rillig return newList;
84 1.1 rillig }
85 1.1 rillig
86 1.42 rillig /* Free a list and all its nodes. The list data itself are not freed though. */
87 1.42 rillig void
88 1.65 rillig Lst_Free(List *list)
89 1.42 rillig {
90 1.65 rillig ListNode *node;
91 1.65 rillig ListNode *next;
92 1.42 rillig
93 1.42 rillig for (node = list->first; node != NULL; node = next) {
94 1.42 rillig next = node->next;
95 1.42 rillig free(node);
96 1.42 rillig }
97 1.42 rillig
98 1.42 rillig free(list);
99 1.42 rillig }
100 1.42 rillig
101 1.59 rillig /* Destroy a list and free all its resources. The freeProc is called with the
102 1.59 rillig * datum from each node in turn before the node is freed. */
103 1.1 rillig void
104 1.65 rillig Lst_Destroy(List *list, LstFreeProc freeProc)
105 1.1 rillig {
106 1.65 rillig ListNode *node;
107 1.65 rillig ListNode *next;
108 1.1 rillig
109 1.42 rillig for (node = list->first; node != NULL; node = next) {
110 1.42 rillig next = node->next;
111 1.42 rillig freeProc(node->datum);
112 1.42 rillig free(node);
113 1.1 rillig }
114 1.1 rillig
115 1.1 rillig free(list);
116 1.1 rillig }
117 1.1 rillig
118 1.1 rillig /*
119 1.1 rillig * Functions to modify a list
120 1.1 rillig */
121 1.1 rillig
122 1.14 rillig /* Insert a new node with the given piece of data before the given node in the
123 1.14 rillig * given list. */
124 1.26 rillig void
125 1.65 rillig Lst_InsertBefore(List *list, ListNode *node, void *datum)
126 1.26 rillig {
127 1.65 rillig ListNode *newNode;
128 1.26 rillig
129 1.26 rillig assert(!LstIsEmpty(list));
130 1.26 rillig assert(datum != NULL);
131 1.26 rillig
132 1.84 rillig newNode = LstNodeNew(node->prev, node, datum);
133 1.26 rillig
134 1.26 rillig if (node->prev != NULL) {
135 1.26 rillig node->prev->next = newNode;
136 1.26 rillig }
137 1.26 rillig node->prev = newNode;
138 1.26 rillig
139 1.26 rillig if (node == list->first) {
140 1.26 rillig list->first = newNode;
141 1.26 rillig }
142 1.26 rillig }
143 1.26 rillig
144 1.22 rillig /* Add a piece of data at the start of the given list. */
145 1.22 rillig void
146 1.65 rillig Lst_Prepend(List *list, void *datum)
147 1.22 rillig {
148 1.65 rillig ListNode *node;
149 1.22 rillig
150 1.22 rillig assert(datum != NULL);
151 1.22 rillig
152 1.84 rillig node = LstNodeNew(NULL, list->first, datum);
153 1.22 rillig
154 1.22 rillig if (list->first == NULL) {
155 1.22 rillig list->first = node;
156 1.22 rillig list->last = node;
157 1.22 rillig } else {
158 1.22 rillig list->first->prev = node;
159 1.22 rillig list->first = node;
160 1.22 rillig }
161 1.22 rillig }
162 1.22 rillig
163 1.21 rillig /* Add a piece of data at the end of the given list. */
164 1.21 rillig void
165 1.65 rillig Lst_Append(List *list, void *datum)
166 1.21 rillig {
167 1.65 rillig ListNode *node;
168 1.21 rillig
169 1.21 rillig assert(datum != NULL);
170 1.21 rillig
171 1.84 rillig node = LstNodeNew(list->last, NULL, datum);
172 1.21 rillig
173 1.21 rillig if (list->last == NULL) {
174 1.21 rillig list->first = node;
175 1.21 rillig list->last = node;
176 1.21 rillig } else {
177 1.21 rillig list->last->next = node;
178 1.21 rillig list->last = node;
179 1.21 rillig }
180 1.21 rillig }
181 1.21 rillig
182 1.8 rillig /* Remove the given node from the given list.
183 1.8 rillig * The datum stored in the node must be freed by the caller, if necessary. */
184 1.8 rillig void
185 1.65 rillig Lst_Remove(List *list, ListNode *node)
186 1.1 rillig {
187 1.1 rillig /*
188 1.1 rillig * unlink it from the list
189 1.1 rillig */
190 1.16 rillig if (node->next != NULL) {
191 1.16 rillig node->next->prev = node->prev;
192 1.1 rillig }
193 1.16 rillig if (node->prev != NULL) {
194 1.16 rillig node->prev->next = node->next;
195 1.1 rillig }
196 1.1 rillig
197 1.1 rillig /*
198 1.15 rillig * if either the first or last of the list point to this node,
199 1.1 rillig * adjust them accordingly
200 1.1 rillig */
201 1.16 rillig if (list->first == node) {
202 1.16 rillig list->first = node->next;
203 1.1 rillig }
204 1.16 rillig if (list->last == node) {
205 1.16 rillig list->last = node->prev;
206 1.1 rillig }
207 1.1 rillig }
208 1.1 rillig
209 1.8 rillig /* Replace the datum in the given node with the new datum. */
210 1.8 rillig void
211 1.65 rillig LstNode_Set(ListNode *node, void *datum)
212 1.1 rillig {
213 1.37 rillig assert(datum != NULL);
214 1.37 rillig
215 1.16 rillig node->datum = datum;
216 1.1 rillig }
217 1.1 rillig
218 1.74 rillig /* Replace the datum in the given node to NULL.
219 1.74 rillig * Having NULL values in a list is unusual though. */
220 1.37 rillig void
221 1.65 rillig LstNode_SetNull(ListNode *node)
222 1.37 rillig {
223 1.37 rillig node->datum = NULL;
224 1.37 rillig }
225 1.37 rillig
226 1.1 rillig
227 1.1 rillig /*
228 1.1 rillig * Functions for entire lists
229 1.1 rillig */
230 1.1 rillig
231 1.53 rillig /* Return the first node from the list for which the match function returns
232 1.53 rillig * TRUE, or NULL if none of the nodes matched. */
233 1.65 rillig ListNode *
234 1.65 rillig Lst_Find(List *list, LstFindProc match, const void *matchArgs)
235 1.53 rillig {
236 1.79 rillig return Lst_FindFrom(list, list->first, match, matchArgs);
237 1.53 rillig }
238 1.53 rillig
239 1.53 rillig /* Return the first node from the list, starting at the given node, for which
240 1.53 rillig * the match function returns TRUE, or NULL if none of the nodes matches.
241 1.53 rillig *
242 1.72 rillig * The start node may be NULL, in which case nothing is found. */
243 1.65 rillig ListNode *
244 1.65 rillig Lst_FindFrom(List *list, ListNode *node, LstFindProc match, const void *matchArgs)
245 1.53 rillig {
246 1.65 rillig ListNode *tln;
247 1.53 rillig
248 1.53 rillig assert(list != NULL);
249 1.53 rillig assert(match != NULL);
250 1.53 rillig
251 1.53 rillig for (tln = node; tln != NULL; tln = tln->next) {
252 1.53 rillig if (match(tln->datum, matchArgs))
253 1.53 rillig return tln;
254 1.53 rillig }
255 1.53 rillig
256 1.53 rillig return NULL;
257 1.53 rillig }
258 1.53 rillig
259 1.14 rillig /* Return the first node that contains the given datum, or NULL. */
260 1.65 rillig ListNode *
261 1.65 rillig Lst_FindDatum(List *list, const void *datum)
262 1.1 rillig {
263 1.65 rillig ListNode *node;
264 1.1 rillig
265 1.29 rillig assert(datum != NULL);
266 1.1 rillig
267 1.29 rillig for (node = list->first; node != NULL; node = node->next) {
268 1.16 rillig if (node->datum == datum) {
269 1.16 rillig return node;
270 1.1 rillig }
271 1.29 rillig }
272 1.1 rillig
273 1.1 rillig return NULL;
274 1.1 rillig }
275 1.1 rillig
276 1.82 rillig int
277 1.82 rillig Lst_ForEachUntil(List *list, LstActionUntilProc proc, void *procData)
278 1.82 rillig {
279 1.82 rillig ListNode *node;
280 1.82 rillig int result = 0;
281 1.82 rillig
282 1.82 rillig for (node = list->first; node != NULL; node = node->next) {
283 1.82 rillig result = proc(node->datum, procData);
284 1.82 rillig if (result != 0)
285 1.82 rillig break;
286 1.82 rillig }
287 1.82 rillig return result;
288 1.82 rillig }
289 1.82 rillig
290 1.34 rillig /* Move all nodes from list2 to the end of list1.
291 1.34 rillig * List2 is destroyed and freed. */
292 1.34 rillig void
293 1.65 rillig Lst_MoveAll(List *list1, List *list2)
294 1.1 rillig {
295 1.34 rillig if (list2->first != NULL) {
296 1.34 rillig list2->first->prev = list1->last;
297 1.34 rillig if (list1->last != NULL) {
298 1.34 rillig list1->last->next = list2->first;
299 1.34 rillig } else {
300 1.34 rillig list1->first = list2->first;
301 1.1 rillig }
302 1.34 rillig list1->last = list2->last;
303 1.1 rillig }
304 1.34 rillig free(list2);
305 1.1 rillig }
306 1.1 rillig
307 1.22 rillig /* Copy the element data from src to the start of dst. */
308 1.22 rillig void
309 1.65 rillig Lst_PrependAll(List *dst, List *src)
310 1.22 rillig {
311 1.65 rillig ListNode *node;
312 1.22 rillig for (node = src->last; node != NULL; node = node->prev)
313 1.50 rillig Lst_Prepend(dst, node->datum);
314 1.22 rillig }
315 1.22 rillig
316 1.22 rillig /* Copy the element data from src to the end of dst. */
317 1.22 rillig void
318 1.65 rillig Lst_AppendAll(List *dst, List *src)
319 1.22 rillig {
320 1.65 rillig ListNode *node;
321 1.22 rillig for (node = src->first; node != NULL; node = node->next)
322 1.50 rillig Lst_Append(dst, node->datum);
323 1.22 rillig }
324 1.1 rillig
325 1.1 rillig /*
326 1.1 rillig * for using the list as a queue
327 1.1 rillig */
328 1.1 rillig
329 1.14 rillig /* Add the datum to the tail of the given list. */
330 1.25 rillig void
331 1.65 rillig Lst_Enqueue(List *list, void *datum)
332 1.1 rillig {
333 1.50 rillig Lst_Append(list, datum);
334 1.1 rillig }
335 1.1 rillig
336 1.25 rillig /* Remove and return the datum at the head of the given list. */
337 1.1 rillig void *
338 1.65 rillig Lst_Dequeue(List *list)
339 1.1 rillig {
340 1.74 rillig void *datum = list->first->datum;
341 1.50 rillig Lst_Remove(list, list->first);
342 1.74 rillig assert(datum != NULL); /* since NULL would mean end of the list */
343 1.16 rillig return datum;
344 1.1 rillig }
345 1.61 rillig
346 1.61 rillig void
347 1.76 rillig Vector_Init(Vector *v)
348 1.61 rillig {
349 1.76 rillig v->len = 0;
350 1.76 rillig v->cap = 10;
351 1.76 rillig v->items = bmake_malloc(v->cap * sizeof v->items[0]);
352 1.61 rillig }
353 1.61 rillig
354 1.76 rillig Boolean Vector_IsEmpty(Vector *v)
355 1.61 rillig {
356 1.76 rillig return v->len == 0;
357 1.61 rillig }
358 1.61 rillig
359 1.76 rillig void Vector_Push(Vector *v, void *datum)
360 1.61 rillig {
361 1.76 rillig if (v->len >= v->cap) {
362 1.76 rillig v->cap *= 2;
363 1.76 rillig v->items = bmake_realloc(v->items,
364 1.76 rillig v->cap * sizeof v->items[0]);
365 1.61 rillig }
366 1.76 rillig v->items[v->len] = datum;
367 1.76 rillig v->len++;
368 1.61 rillig }
369 1.61 rillig
370 1.76 rillig void *Vector_Pop(Vector *v)
371 1.61 rillig {
372 1.64 rillig void *datum;
373 1.64 rillig
374 1.76 rillig assert(v->len > 0);
375 1.76 rillig v->len--;
376 1.76 rillig datum = v->items[v->len];
377 1.64 rillig #ifdef CLEANUP
378 1.76 rillig v->items[v->len] = NULL;
379 1.64 rillig #endif
380 1.64 rillig return datum;
381 1.61 rillig }
382 1.61 rillig
383 1.76 rillig void Vector_Done(Vector *v)
384 1.61 rillig {
385 1.76 rillig free(v->items);
386 1.61 rillig }
387