lst.c revision 1.96 1 1.96 rillig /* $NetBSD: lst.c,v 1.96 2020/11/28 19:26:10 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.96 rillig MAKE_RCSID("$NetBSD: lst.c,v 1.96 2020/11/28 19:26:10 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.93 rillig ListNode *ln = bmake_malloc(sizeof *ln);
43 1.93 rillig
44 1.93 rillig ln->prev = prev;
45 1.93 rillig ln->next = next;
46 1.93 rillig ln->datum = datum;
47 1.93 rillig
48 1.93 rillig return ln;
49 1.12 rillig }
50 1.12 rillig
51 1.5 rillig /* Create and initialize a new, empty list. */
52 1.65 rillig List *
53 1.77 rillig Lst_New(void)
54 1.1 rillig {
55 1.93 rillig List *list = bmake_malloc(sizeof *list);
56 1.95 rillig Lst_Init(list);
57 1.93 rillig return list;
58 1.1 rillig }
59 1.1 rillig
60 1.42 rillig void
61 1.95 rillig Lst_Done(List *list)
62 1.42 rillig {
63 1.93 rillig ListNode *ln, *next;
64 1.42 rillig
65 1.93 rillig for (ln = list->first; ln != NULL; ln = next) {
66 1.93 rillig next = ln->next;
67 1.93 rillig free(ln);
68 1.93 rillig }
69 1.95 rillig }
70 1.95 rillig
71 1.96 rillig void
72 1.96 rillig Lst_DoneCall(List *list, LstFreeProc freeProc)
73 1.96 rillig {
74 1.96 rillig ListNode *ln, *next;
75 1.96 rillig
76 1.96 rillig for (ln = list->first; ln != NULL; ln = next) {
77 1.96 rillig next = ln->next;
78 1.96 rillig freeProc(ln->datum);
79 1.96 rillig free(ln);
80 1.96 rillig }
81 1.96 rillig }
82 1.96 rillig
83 1.95 rillig /* Free a list and all its nodes. The node data are not freed though. */
84 1.95 rillig void
85 1.95 rillig Lst_Free(List *list)
86 1.95 rillig {
87 1.42 rillig
88 1.95 rillig Lst_Done(list);
89 1.93 rillig free(list);
90 1.42 rillig }
91 1.42 rillig
92 1.59 rillig /* Destroy a list and free all its resources. The freeProc is called with the
93 1.59 rillig * datum from each node in turn before the node is freed. */
94 1.1 rillig void
95 1.65 rillig Lst_Destroy(List *list, LstFreeProc freeProc)
96 1.1 rillig {
97 1.96 rillig Lst_DoneCall(list, freeProc);
98 1.93 rillig free(list);
99 1.1 rillig }
100 1.1 rillig
101 1.86 rillig /* Insert a new node with the datum before the given node. */
102 1.26 rillig void
103 1.92 rillig Lst_InsertBefore(List *list, ListNode *ln, void *datum)
104 1.26 rillig {
105 1.93 rillig ListNode *newNode;
106 1.26 rillig
107 1.93 rillig assert(datum != NULL);
108 1.26 rillig
109 1.93 rillig newNode = LstNodeNew(ln->prev, ln, datum);
110 1.26 rillig
111 1.93 rillig if (ln->prev != NULL)
112 1.93 rillig ln->prev->next = newNode;
113 1.93 rillig ln->prev = newNode;
114 1.26 rillig
115 1.93 rillig if (ln == list->first)
116 1.93 rillig list->first = newNode;
117 1.26 rillig }
118 1.26 rillig
119 1.22 rillig /* Add a piece of data at the start of the given list. */
120 1.22 rillig void
121 1.65 rillig Lst_Prepend(List *list, void *datum)
122 1.22 rillig {
123 1.93 rillig ListNode *ln;
124 1.22 rillig
125 1.93 rillig assert(datum != NULL);
126 1.22 rillig
127 1.93 rillig ln = LstNodeNew(NULL, list->first, datum);
128 1.22 rillig
129 1.93 rillig if (list->first == NULL) {
130 1.93 rillig list->first = ln;
131 1.93 rillig list->last = ln;
132 1.93 rillig } else {
133 1.93 rillig list->first->prev = ln;
134 1.93 rillig list->first = ln;
135 1.93 rillig }
136 1.22 rillig }
137 1.22 rillig
138 1.21 rillig /* Add a piece of data at the end of the given list. */
139 1.21 rillig void
140 1.65 rillig Lst_Append(List *list, void *datum)
141 1.21 rillig {
142 1.93 rillig ListNode *ln;
143 1.21 rillig
144 1.93 rillig assert(datum != NULL);
145 1.21 rillig
146 1.93 rillig ln = LstNodeNew(list->last, NULL, datum);
147 1.21 rillig
148 1.93 rillig if (list->last == NULL) {
149 1.93 rillig list->first = ln;
150 1.93 rillig list->last = ln;
151 1.93 rillig } else {
152 1.93 rillig list->last->next = ln;
153 1.93 rillig list->last = ln;
154 1.93 rillig }
155 1.21 rillig }
156 1.21 rillig
157 1.8 rillig /* Remove the given node from the given list.
158 1.8 rillig * The datum stored in the node must be freed by the caller, if necessary. */
159 1.8 rillig void
160 1.92 rillig Lst_Remove(List *list, ListNode *ln)
161 1.1 rillig {
162 1.93 rillig /* unlink it from its neighbors */
163 1.93 rillig if (ln->next != NULL)
164 1.93 rillig ln->next->prev = ln->prev;
165 1.93 rillig if (ln->prev != NULL)
166 1.93 rillig ln->prev->next = ln->next;
167 1.93 rillig
168 1.93 rillig /* unlink it from the list */
169 1.93 rillig if (list->first == ln)
170 1.93 rillig list->first = ln->next;
171 1.93 rillig if (list->last == ln)
172 1.93 rillig list->last = ln->prev;
173 1.1 rillig }
174 1.1 rillig
175 1.8 rillig /* Replace the datum in the given node with the new datum. */
176 1.8 rillig void
177 1.92 rillig LstNode_Set(ListNode *ln, void *datum)
178 1.1 rillig {
179 1.93 rillig assert(datum != NULL);
180 1.37 rillig
181 1.93 rillig ln->datum = datum;
182 1.1 rillig }
183 1.1 rillig
184 1.92 rillig /* Replace the datum in the given node with NULL.
185 1.74 rillig * Having NULL values in a list is unusual though. */
186 1.37 rillig void
187 1.92 rillig LstNode_SetNull(ListNode *ln)
188 1.37 rillig {
189 1.93 rillig ln->datum = NULL;
190 1.37 rillig }
191 1.37 rillig
192 1.92 rillig /* Return the first node that contains the given datum, or NULL.
193 1.92 rillig *
194 1.92 rillig * Time complexity: O(length(list)) */
195 1.65 rillig ListNode *
196 1.65 rillig Lst_FindDatum(List *list, const void *datum)
197 1.1 rillig {
198 1.93 rillig ListNode *ln;
199 1.1 rillig
200 1.93 rillig assert(datum != NULL);
201 1.1 rillig
202 1.93 rillig for (ln = list->first; ln != NULL; ln = ln->next)
203 1.93 rillig if (ln->datum == datum)
204 1.93 rillig return ln;
205 1.1 rillig
206 1.93 rillig return NULL;
207 1.1 rillig }
208 1.1 rillig
209 1.92 rillig /* Move all nodes from src to the end of dst.
210 1.92 rillig * The source list is destroyed and freed. */
211 1.34 rillig void
212 1.92 rillig Lst_MoveAll(List *dst, List *src)
213 1.1 rillig {
214 1.93 rillig if (src->first != NULL) {
215 1.93 rillig src->first->prev = dst->last;
216 1.93 rillig if (dst->last != NULL)
217 1.93 rillig dst->last->next = src->first;
218 1.93 rillig else
219 1.93 rillig dst->first = src->first;
220 1.93 rillig
221 1.93 rillig dst->last = src->last;
222 1.93 rillig }
223 1.93 rillig free(src);
224 1.1 rillig }
225 1.1 rillig
226 1.22 rillig /* Copy the element data from src to the start of dst. */
227 1.22 rillig void
228 1.65 rillig Lst_PrependAll(List *dst, List *src)
229 1.22 rillig {
230 1.93 rillig ListNode *node;
231 1.93 rillig
232 1.93 rillig for (node = src->last; node != NULL; node = node->prev)
233 1.93 rillig Lst_Prepend(dst, node->datum);
234 1.22 rillig }
235 1.22 rillig
236 1.22 rillig /* Copy the element data from src to the end of dst. */
237 1.22 rillig void
238 1.65 rillig Lst_AppendAll(List *dst, List *src)
239 1.22 rillig {
240 1.93 rillig ListNode *node;
241 1.93 rillig
242 1.93 rillig for (node = src->first; node != NULL; node = node->next)
243 1.93 rillig Lst_Append(dst, node->datum);
244 1.22 rillig }
245 1.1 rillig
246 1.1 rillig /*
247 1.1 rillig * for using the list as a queue
248 1.1 rillig */
249 1.1 rillig
250 1.14 rillig /* Add the datum to the tail of the given list. */
251 1.25 rillig void
252 1.65 rillig Lst_Enqueue(List *list, void *datum)
253 1.1 rillig {
254 1.93 rillig Lst_Append(list, datum);
255 1.1 rillig }
256 1.1 rillig
257 1.25 rillig /* Remove and return the datum at the head of the given list. */
258 1.1 rillig void *
259 1.65 rillig Lst_Dequeue(List *list)
260 1.1 rillig {
261 1.93 rillig void *datum = list->first->datum;
262 1.93 rillig Lst_Remove(list, list->first);
263 1.93 rillig assert(datum != NULL); /* since NULL would mean end of the list */
264 1.93 rillig return datum;
265 1.1 rillig }
266 1.61 rillig
267 1.61 rillig void
268 1.90 rillig Vector_Init(Vector *v, size_t itemSize)
269 1.61 rillig {
270 1.93 rillig v->len = 0;
271 1.93 rillig v->priv_cap = 10;
272 1.93 rillig v->itemSize = itemSize;
273 1.93 rillig v->items = bmake_malloc(v->priv_cap * v->itemSize);
274 1.61 rillig }
275 1.61 rillig
276 1.90 rillig /* Add space for a new item to the vector and return a pointer to that space.
277 1.90 rillig * The returned data is valid until the next modifying operation. */
278 1.90 rillig void *
279 1.90 rillig Vector_Push(Vector *v)
280 1.61 rillig {
281 1.93 rillig if (v->len >= v->priv_cap) {
282 1.93 rillig v->priv_cap *= 2;
283 1.93 rillig v->items = bmake_realloc(v->items, v->priv_cap * v->itemSize);
284 1.93 rillig }
285 1.93 rillig v->len++;
286 1.93 rillig return Vector_Get(v, v->len - 1);
287 1.61 rillig }
288 1.61 rillig
289 1.90 rillig /* Return the pointer to the last item in the vector.
290 1.90 rillig * The returned data is valid until the next modifying operation. */
291 1.90 rillig void *
292 1.90 rillig Vector_Pop(Vector *v)
293 1.61 rillig {
294 1.93 rillig assert(v->len > 0);
295 1.93 rillig v->len--;
296 1.93 rillig return Vector_Get(v, v->len);
297 1.61 rillig }
298 1.61 rillig
299 1.90 rillig void
300 1.90 rillig Vector_Done(Vector *v)
301 1.61 rillig {
302 1.93 rillig free(v->items);
303 1.61 rillig }
304