lst.c revision 1.13 1 1.13 rillig /* $NetBSD: lst.c,v 1.13 2020/08/21 05:28:41 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.8 rillig #include <assert.h>
36 1.8 rillig
37 1.1 rillig #include "lst.h"
38 1.1 rillig #include "make_malloc.h"
39 1.1 rillig
40 1.1 rillig #ifndef MAKE_NATIVE
41 1.13 rillig static char rcsid[] = "$NetBSD: lst.c,v 1.13 2020/08/21 05:28:41 rillig Exp $";
42 1.1 rillig #else
43 1.1 rillig #include <sys/cdefs.h>
44 1.1 rillig #ifndef lint
45 1.13 rillig __RCSID("$NetBSD: lst.c,v 1.13 2020/08/21 05:28:41 rillig Exp $");
46 1.1 rillig #endif /* not lint */
47 1.1 rillig #endif
48 1.1 rillig
49 1.13 rillig struct ListNode {
50 1.4 rillig struct ListNode *prevPtr; /* previous element in list */
51 1.4 rillig struct ListNode *nextPtr; /* next in list */
52 1.7 rillig uint8_t useCount; /* Count of functions using the node.
53 1.4 rillig * node may not be deleted until count
54 1.4 rillig * goes to 0 */
55 1.7 rillig Boolean deleted; /* List node should be removed when done */
56 1.4 rillig void *datum; /* datum associated with this element */
57 1.13 rillig };
58 1.1 rillig
59 1.1 rillig typedef enum {
60 1.1 rillig Head, Middle, Tail, Unknown
61 1.1 rillig } Where;
62 1.1 rillig
63 1.13 rillig struct List {
64 1.13 rillig LstNode firstPtr; /* first node in list */
65 1.13 rillig LstNode lastPtr; /* last node in list */
66 1.1 rillig /*
67 1.1 rillig * fields for sequential access
68 1.1 rillig */
69 1.4 rillig Where atEnd; /* Where in the list the last access was */
70 1.4 rillig Boolean isOpen; /* true if list has been Lst_Open'ed */
71 1.13 rillig LstNode curPtr; /* current node, if open. NULL if
72 1.4 rillig * *just* opened */
73 1.13 rillig LstNode prevPtr; /* Previous node, if open. Used by
74 1.4 rillig * Lst_Remove */
75 1.13 rillig };
76 1.1 rillig
77 1.1 rillig /*
78 1.2 rillig * LstValid --
79 1.2 rillig * Return TRUE if the list is valid
80 1.1 rillig */
81 1.2 rillig static Boolean
82 1.2 rillig LstValid(Lst l)
83 1.2 rillig {
84 1.2 rillig return l != NULL;
85 1.2 rillig }
86 1.1 rillig
87 1.1 rillig /*
88 1.2 rillig * LstNodeValid --
89 1.2 rillig * Return TRUE if the list node is valid
90 1.1 rillig */
91 1.2 rillig static Boolean
92 1.2 rillig LstNodeValid(LstNode ln)
93 1.2 rillig {
94 1.2 rillig return ln != NULL;
95 1.2 rillig }
96 1.1 rillig
97 1.12 rillig static LstNode
98 1.12 rillig LstNodeNew(void *datum)
99 1.12 rillig {
100 1.13 rillig LstNode ln = bmake_malloc(sizeof *ln);
101 1.12 rillig /* prevPtr will be initialized by the calling code. */
102 1.12 rillig /* nextPtr will be initialized by the calling code. */
103 1.12 rillig ln->useCount = 0;
104 1.12 rillig ln->deleted = FALSE;
105 1.12 rillig ln->datum = datum;
106 1.12 rillig return ln;
107 1.12 rillig }
108 1.12 rillig
109 1.1 rillig /*
110 1.1 rillig * LstIsEmpty (l) --
111 1.1 rillig * TRUE if the list l is empty.
112 1.1 rillig */
113 1.2 rillig static Boolean
114 1.2 rillig LstIsEmpty(Lst l)
115 1.2 rillig {
116 1.2 rillig return l->firstPtr == NULL;
117 1.2 rillig }
118 1.1 rillig
119 1.5 rillig /* Create and initialize a new, empty list. */
120 1.1 rillig Lst
121 1.5 rillig Lst_Init(void)
122 1.1 rillig {
123 1.13 rillig Lst nList = bmake_malloc(sizeof *nList);
124 1.1 rillig
125 1.1 rillig nList->firstPtr = NULL;
126 1.1 rillig nList->lastPtr = NULL;
127 1.1 rillig nList->isOpen = FALSE;
128 1.1 rillig nList->atEnd = Unknown;
129 1.1 rillig
130 1.1 rillig return nList;
131 1.1 rillig }
132 1.1 rillig
133 1.1 rillig /*-
134 1.1 rillig *-----------------------------------------------------------------------
135 1.1 rillig * Lst_Duplicate --
136 1.1 rillig * Duplicate an entire list. If a function to copy a void *is
137 1.1 rillig * given, the individual client elements will be duplicated as well.
138 1.1 rillig *
139 1.1 rillig * Input:
140 1.1 rillig * l the list to duplicate
141 1.1 rillig * copyProc A function to duplicate each void *
142 1.1 rillig *
143 1.1 rillig * Results:
144 1.1 rillig * The new Lst structure or NULL if failure.
145 1.1 rillig *
146 1.1 rillig * Side Effects:
147 1.1 rillig * A new list is created.
148 1.1 rillig *-----------------------------------------------------------------------
149 1.1 rillig */
150 1.1 rillig Lst
151 1.1 rillig Lst_Duplicate(Lst l, DuplicateProc *copyProc)
152 1.1 rillig {
153 1.4 rillig Lst nl;
154 1.13 rillig LstNode ln;
155 1.13 rillig Lst list = l;
156 1.1 rillig
157 1.4 rillig if (!LstValid(l)) {
158 1.1 rillig return NULL;
159 1.1 rillig }
160 1.1 rillig
161 1.5 rillig nl = Lst_Init();
162 1.1 rillig if (nl == NULL) {
163 1.1 rillig return NULL;
164 1.1 rillig }
165 1.1 rillig
166 1.1 rillig ln = list->firstPtr;
167 1.1 rillig while (ln != NULL) {
168 1.1 rillig if (copyProc != NULL) {
169 1.1 rillig if (Lst_AtEnd(nl, copyProc(ln->datum)) == FAILURE) {
170 1.1 rillig return NULL;
171 1.1 rillig }
172 1.1 rillig } else if (Lst_AtEnd(nl, ln->datum) == FAILURE) {
173 1.1 rillig return NULL;
174 1.1 rillig }
175 1.1 rillig
176 1.5 rillig ln = ln->nextPtr;
177 1.1 rillig }
178 1.1 rillig
179 1.1 rillig return nl;
180 1.1 rillig }
181 1.1 rillig
182 1.1 rillig /*-
183 1.1 rillig *-----------------------------------------------------------------------
184 1.1 rillig * Lst_Destroy --
185 1.1 rillig * Destroy a list and free all its resources. If the freeProc is
186 1.1 rillig * given, it is called with the datum from each node in turn before
187 1.1 rillig * the node is freed.
188 1.1 rillig *
189 1.1 rillig * Results:
190 1.1 rillig * None.
191 1.1 rillig *
192 1.1 rillig * Side Effects:
193 1.1 rillig * The given list is freed in its entirety.
194 1.1 rillig *
195 1.1 rillig *-----------------------------------------------------------------------
196 1.1 rillig */
197 1.1 rillig void
198 1.1 rillig Lst_Destroy(Lst list, FreeProc *freeProc)
199 1.1 rillig {
200 1.13 rillig LstNode ln;
201 1.13 rillig LstNode tln = NULL;
202 1.1 rillig
203 1.1 rillig if (list == NULL)
204 1.1 rillig return;
205 1.1 rillig
206 1.1 rillig /* To ease scanning */
207 1.1 rillig if (list->lastPtr != NULL)
208 1.1 rillig list->lastPtr->nextPtr = NULL;
209 1.1 rillig else {
210 1.1 rillig free(list);
211 1.1 rillig return;
212 1.1 rillig }
213 1.1 rillig
214 1.1 rillig if (freeProc) {
215 1.1 rillig for (ln = list->firstPtr; ln != NULL; ln = tln) {
216 1.4 rillig tln = ln->nextPtr;
217 1.4 rillig freeProc(ln->datum);
218 1.4 rillig free(ln);
219 1.1 rillig }
220 1.1 rillig } else {
221 1.1 rillig for (ln = list->firstPtr; ln != NULL; ln = tln) {
222 1.4 rillig tln = ln->nextPtr;
223 1.4 rillig free(ln);
224 1.1 rillig }
225 1.1 rillig }
226 1.1 rillig
227 1.1 rillig free(list);
228 1.1 rillig }
229 1.1 rillig
230 1.1 rillig /*
231 1.1 rillig * Functions to modify a list
232 1.1 rillig */
233 1.1 rillig
234 1.1 rillig /*-
235 1.1 rillig *-----------------------------------------------------------------------
236 1.1 rillig * Lst_InsertBefore --
237 1.1 rillig * Insert a new node with the given piece of data before the given
238 1.1 rillig * node in the given list.
239 1.1 rillig *
240 1.1 rillig * Input:
241 1.1 rillig * l list to manipulate
242 1.1 rillig * ln node before which to insert d
243 1.1 rillig * d datum to be inserted
244 1.1 rillig *
245 1.1 rillig * Results:
246 1.1 rillig * SUCCESS or FAILURE.
247 1.1 rillig *
248 1.1 rillig * Side Effects:
249 1.1 rillig * the firstPtr field will be changed if ln is the first node in the
250 1.1 rillig * list.
251 1.1 rillig *
252 1.1 rillig *-----------------------------------------------------------------------
253 1.1 rillig */
254 1.1 rillig ReturnStatus
255 1.1 rillig Lst_InsertBefore(Lst l, LstNode ln, void *d)
256 1.1 rillig {
257 1.13 rillig LstNode nLNode; /* new lnode for d */
258 1.13 rillig LstNode lNode = ln;
259 1.13 rillig Lst list = l;
260 1.1 rillig
261 1.1 rillig
262 1.1 rillig /*
263 1.1 rillig * check validity of arguments
264 1.1 rillig */
265 1.4 rillig if (LstValid(l) && (LstIsEmpty(l) && ln == NULL))
266 1.1 rillig goto ok;
267 1.1 rillig
268 1.4 rillig if (!LstValid(l) || LstIsEmpty(l) || !LstNodeValid(ln)) {
269 1.1 rillig return FAILURE;
270 1.1 rillig }
271 1.1 rillig
272 1.1 rillig ok:
273 1.12 rillig nLNode = LstNodeNew(d);
274 1.1 rillig
275 1.1 rillig if (ln == NULL) {
276 1.5 rillig nLNode->prevPtr = nLNode->nextPtr = NULL;
277 1.1 rillig list->firstPtr = list->lastPtr = nLNode;
278 1.1 rillig } else {
279 1.1 rillig nLNode->prevPtr = lNode->prevPtr;
280 1.1 rillig nLNode->nextPtr = lNode;
281 1.1 rillig
282 1.1 rillig if (nLNode->prevPtr != NULL) {
283 1.1 rillig nLNode->prevPtr->nextPtr = nLNode;
284 1.1 rillig }
285 1.1 rillig lNode->prevPtr = nLNode;
286 1.1 rillig
287 1.1 rillig if (lNode == list->firstPtr) {
288 1.1 rillig list->firstPtr = nLNode;
289 1.1 rillig }
290 1.1 rillig }
291 1.1 rillig
292 1.1 rillig return SUCCESS;
293 1.1 rillig }
294 1.1 rillig
295 1.1 rillig /*-
296 1.1 rillig *-----------------------------------------------------------------------
297 1.1 rillig * Lst_InsertAfter --
298 1.1 rillig * Create a new node and add it to the given list after the given node.
299 1.1 rillig *
300 1.1 rillig * Input:
301 1.1 rillig * l affected list
302 1.1 rillig * ln node after which to append the datum
303 1.1 rillig * d said datum
304 1.1 rillig *
305 1.1 rillig * Results:
306 1.1 rillig * SUCCESS if all went well.
307 1.1 rillig *
308 1.1 rillig * Side Effects:
309 1.1 rillig * A new ListNode is created and linked in to the List. The lastPtr
310 1.1 rillig * field of the List will be altered if ln is the last node in the
311 1.1 rillig * list. lastPtr and firstPtr will alter if the list was empty and
312 1.1 rillig * ln was NULL.
313 1.1 rillig *
314 1.1 rillig *-----------------------------------------------------------------------
315 1.1 rillig */
316 1.1 rillig ReturnStatus
317 1.1 rillig Lst_InsertAfter(Lst l, LstNode ln, void *d)
318 1.1 rillig {
319 1.13 rillig Lst list;
320 1.13 rillig LstNode lNode;
321 1.13 rillig LstNode nLNode;
322 1.1 rillig
323 1.4 rillig if (LstValid(l) && (ln == NULL && LstIsEmpty(l))) {
324 1.1 rillig goto ok;
325 1.1 rillig }
326 1.1 rillig
327 1.4 rillig if (!LstValid(l) || LstIsEmpty(l) || !LstNodeValid(ln)) {
328 1.1 rillig return FAILURE;
329 1.1 rillig }
330 1.1 rillig ok:
331 1.1 rillig
332 1.1 rillig list = l;
333 1.1 rillig lNode = ln;
334 1.1 rillig
335 1.12 rillig nLNode = LstNodeNew(d);
336 1.1 rillig
337 1.1 rillig if (lNode == NULL) {
338 1.5 rillig nLNode->nextPtr = nLNode->prevPtr = NULL;
339 1.1 rillig list->firstPtr = list->lastPtr = nLNode;
340 1.1 rillig } else {
341 1.1 rillig nLNode->prevPtr = lNode;
342 1.1 rillig nLNode->nextPtr = lNode->nextPtr;
343 1.1 rillig
344 1.1 rillig lNode->nextPtr = nLNode;
345 1.1 rillig if (nLNode->nextPtr != NULL) {
346 1.1 rillig nLNode->nextPtr->prevPtr = nLNode;
347 1.1 rillig }
348 1.1 rillig
349 1.1 rillig if (lNode == list->lastPtr) {
350 1.1 rillig list->lastPtr = nLNode;
351 1.1 rillig }
352 1.1 rillig }
353 1.1 rillig
354 1.1 rillig return SUCCESS;
355 1.1 rillig }
356 1.1 rillig
357 1.1 rillig /*-
358 1.1 rillig *-----------------------------------------------------------------------
359 1.1 rillig * Lst_AtFront --
360 1.1 rillig * Place a piece of data at the front of a list
361 1.1 rillig *
362 1.1 rillig * Results:
363 1.1 rillig * SUCCESS or FAILURE
364 1.1 rillig *
365 1.1 rillig * Side Effects:
366 1.1 rillig * A new ListNode is created and stuck at the front of the list.
367 1.1 rillig * hence, firstPtr (and possible lastPtr) in the list are altered.
368 1.1 rillig *
369 1.1 rillig *-----------------------------------------------------------------------
370 1.1 rillig */
371 1.1 rillig ReturnStatus
372 1.1 rillig Lst_AtFront(Lst l, void *d)
373 1.1 rillig {
374 1.4 rillig LstNode front;
375 1.1 rillig
376 1.1 rillig front = Lst_First(l);
377 1.1 rillig return Lst_InsertBefore(l, front, d);
378 1.1 rillig }
379 1.1 rillig
380 1.1 rillig /*-
381 1.1 rillig *-----------------------------------------------------------------------
382 1.1 rillig * Lst_AtEnd --
383 1.1 rillig * Add a node to the end of the given list
384 1.1 rillig *
385 1.1 rillig * Input:
386 1.1 rillig * l List to which to add the datum
387 1.1 rillig * d Datum to add
388 1.1 rillig *
389 1.1 rillig * Results:
390 1.1 rillig * SUCCESS if life is good.
391 1.1 rillig *
392 1.1 rillig * Side Effects:
393 1.1 rillig * A new ListNode is created and added to the list.
394 1.1 rillig *
395 1.1 rillig *-----------------------------------------------------------------------
396 1.1 rillig */
397 1.1 rillig ReturnStatus
398 1.1 rillig Lst_AtEnd(Lst l, void *d)
399 1.1 rillig {
400 1.4 rillig LstNode end;
401 1.1 rillig
402 1.1 rillig end = Lst_Last(l);
403 1.1 rillig return Lst_InsertAfter(l, end, d);
404 1.1 rillig }
405 1.1 rillig
406 1.8 rillig /* Remove the given node from the given list.
407 1.8 rillig * The datum stored in the node must be freed by the caller, if necessary. */
408 1.8 rillig void
409 1.8 rillig Lst_RemoveS(Lst l, LstNode ln)
410 1.1 rillig {
411 1.13 rillig Lst list = l;
412 1.13 rillig LstNode lNode = ln;
413 1.1 rillig
414 1.8 rillig assert(LstValid(l));
415 1.8 rillig assert(LstNodeValid(ln));
416 1.1 rillig
417 1.1 rillig /*
418 1.1 rillig * unlink it from the list
419 1.1 rillig */
420 1.1 rillig if (lNode->nextPtr != NULL) {
421 1.1 rillig lNode->nextPtr->prevPtr = lNode->prevPtr;
422 1.1 rillig }
423 1.1 rillig if (lNode->prevPtr != NULL) {
424 1.1 rillig lNode->prevPtr->nextPtr = lNode->nextPtr;
425 1.1 rillig }
426 1.1 rillig
427 1.1 rillig /*
428 1.1 rillig * if either the firstPtr or lastPtr of the list point to this node,
429 1.1 rillig * adjust them accordingly
430 1.1 rillig */
431 1.1 rillig if (list->firstPtr == lNode) {
432 1.1 rillig list->firstPtr = lNode->nextPtr;
433 1.1 rillig }
434 1.1 rillig if (list->lastPtr == lNode) {
435 1.1 rillig list->lastPtr = lNode->prevPtr;
436 1.1 rillig }
437 1.1 rillig
438 1.1 rillig /*
439 1.1 rillig * Sequential access stuff. If the node we're removing is the current
440 1.1 rillig * node in the list, reset the current node to the previous one. If the
441 1.1 rillig * previous one was non-existent (prevPtr == NULL), we set the
442 1.1 rillig * end to be Unknown, since it is.
443 1.1 rillig */
444 1.1 rillig if (list->isOpen && (list->curPtr == lNode)) {
445 1.1 rillig list->curPtr = list->prevPtr;
446 1.1 rillig if (list->curPtr == NULL) {
447 1.1 rillig list->atEnd = Unknown;
448 1.1 rillig }
449 1.1 rillig }
450 1.1 rillig
451 1.1 rillig /*
452 1.1 rillig * note that the datum is unmolested. The caller must free it as
453 1.1 rillig * necessary and as expected.
454 1.1 rillig */
455 1.1 rillig if (lNode->useCount == 0) {
456 1.1 rillig free(ln);
457 1.1 rillig } else {
458 1.7 rillig lNode->deleted = TRUE;
459 1.1 rillig }
460 1.1 rillig }
461 1.1 rillig
462 1.8 rillig /* Replace the datum in the given node with the new datum. */
463 1.8 rillig void
464 1.8 rillig Lst_ReplaceS(LstNode ln, void *d)
465 1.1 rillig {
466 1.8 rillig ln->datum = d;
467 1.1 rillig }
468 1.1 rillig
469 1.1 rillig
470 1.1 rillig /*
471 1.1 rillig * Node-specific functions
472 1.1 rillig */
473 1.1 rillig
474 1.1 rillig /*-
475 1.1 rillig *-----------------------------------------------------------------------
476 1.1 rillig * Lst_First --
477 1.1 rillig * Return the first node on the given list.
478 1.1 rillig *
479 1.1 rillig * Results:
480 1.1 rillig * The first node or NULL if the list is empty.
481 1.1 rillig *
482 1.1 rillig * Side Effects:
483 1.1 rillig * None.
484 1.1 rillig *
485 1.1 rillig *-----------------------------------------------------------------------
486 1.1 rillig */
487 1.1 rillig LstNode
488 1.1 rillig Lst_First(Lst l)
489 1.1 rillig {
490 1.4 rillig if (!LstValid(l) || LstIsEmpty(l)) {
491 1.1 rillig return NULL;
492 1.1 rillig } else {
493 1.1 rillig return l->firstPtr;
494 1.1 rillig }
495 1.1 rillig }
496 1.1 rillig
497 1.1 rillig /*-
498 1.1 rillig *-----------------------------------------------------------------------
499 1.1 rillig * Lst_Last --
500 1.1 rillig * Return the last node on the list l.
501 1.1 rillig *
502 1.1 rillig * Results:
503 1.1 rillig * The requested node or NULL if the list is empty.
504 1.1 rillig *
505 1.1 rillig * Side Effects:
506 1.1 rillig * None.
507 1.1 rillig *
508 1.1 rillig *-----------------------------------------------------------------------
509 1.1 rillig */
510 1.1 rillig LstNode
511 1.1 rillig Lst_Last(Lst l)
512 1.1 rillig {
513 1.4 rillig if (!LstValid(l) || LstIsEmpty(l)) {
514 1.1 rillig return NULL;
515 1.1 rillig } else {
516 1.1 rillig return l->lastPtr;
517 1.1 rillig }
518 1.1 rillig }
519 1.1 rillig
520 1.6 rillig /* Return the successor to the given node on its list, or NULL. */
521 1.1 rillig LstNode
522 1.1 rillig Lst_Succ(LstNode ln)
523 1.1 rillig {
524 1.1 rillig if (ln == NULL) {
525 1.1 rillig return NULL;
526 1.1 rillig } else {
527 1.1 rillig return ln->nextPtr;
528 1.1 rillig }
529 1.1 rillig }
530 1.1 rillig
531 1.6 rillig /* Return the predecessor to the given node on its list, or NULL. */
532 1.1 rillig LstNode
533 1.1 rillig Lst_Prev(LstNode ln)
534 1.1 rillig {
535 1.1 rillig if (ln == NULL) {
536 1.1 rillig return NULL;
537 1.1 rillig } else {
538 1.1 rillig return ln->prevPtr;
539 1.1 rillig }
540 1.1 rillig }
541 1.1 rillig
542 1.1 rillig /*-
543 1.1 rillig *-----------------------------------------------------------------------
544 1.1 rillig * Lst_Datum --
545 1.1 rillig * Return the datum stored in the given node.
546 1.1 rillig *
547 1.1 rillig * Results:
548 1.1 rillig * The datum or NULL if the node is invalid.
549 1.1 rillig *
550 1.1 rillig * Side Effects:
551 1.1 rillig * None.
552 1.1 rillig *
553 1.1 rillig *-----------------------------------------------------------------------
554 1.1 rillig */
555 1.1 rillig void *
556 1.1 rillig Lst_Datum(LstNode ln)
557 1.1 rillig {
558 1.1 rillig if (ln != NULL) {
559 1.1 rillig return ln->datum;
560 1.1 rillig } else {
561 1.1 rillig return NULL;
562 1.1 rillig }
563 1.1 rillig }
564 1.1 rillig
565 1.1 rillig
566 1.1 rillig /*
567 1.1 rillig * Functions for entire lists
568 1.1 rillig */
569 1.1 rillig
570 1.1 rillig /*-
571 1.1 rillig *-----------------------------------------------------------------------
572 1.1 rillig * Lst_IsEmpty --
573 1.1 rillig * Return TRUE if the given list is empty.
574 1.1 rillig *
575 1.1 rillig * Results:
576 1.1 rillig * TRUE if the list is empty, FALSE otherwise.
577 1.1 rillig *
578 1.1 rillig * Side Effects:
579 1.1 rillig * None.
580 1.1 rillig *
581 1.1 rillig * A list is considered empty if its firstPtr == NULL (or if
582 1.1 rillig * the list itself is NULL).
583 1.1 rillig *-----------------------------------------------------------------------
584 1.1 rillig */
585 1.1 rillig Boolean
586 1.1 rillig Lst_IsEmpty(Lst l)
587 1.1 rillig {
588 1.1 rillig return !LstValid(l) || LstIsEmpty(l);
589 1.1 rillig }
590 1.1 rillig
591 1.1 rillig /*-
592 1.1 rillig *-----------------------------------------------------------------------
593 1.1 rillig * Lst_Find --
594 1.1 rillig * Find a node on the given list using the given comparison function
595 1.1 rillig * and the given datum.
596 1.1 rillig *
597 1.1 rillig * Results:
598 1.1 rillig * The found node or NULL if none matches.
599 1.1 rillig *
600 1.1 rillig * Side Effects:
601 1.1 rillig * None.
602 1.1 rillig *
603 1.1 rillig *-----------------------------------------------------------------------
604 1.1 rillig */
605 1.1 rillig LstNode
606 1.1 rillig Lst_Find(Lst l, const void *d, int (*cProc)(const void *, const void *))
607 1.1 rillig {
608 1.1 rillig return Lst_FindFrom(l, Lst_First(l), d, cProc);
609 1.1 rillig }
610 1.1 rillig
611 1.1 rillig /*-
612 1.1 rillig *-----------------------------------------------------------------------
613 1.1 rillig * Lst_FindFrom --
614 1.1 rillig * Search for a node starting and ending with the given one on the
615 1.1 rillig * given list using the passed datum and comparison function to
616 1.1 rillig * determine when it has been found.
617 1.1 rillig *
618 1.1 rillig * Results:
619 1.1 rillig * The found node or NULL
620 1.1 rillig *
621 1.1 rillig * Side Effects:
622 1.1 rillig * None.
623 1.1 rillig *
624 1.1 rillig *-----------------------------------------------------------------------
625 1.1 rillig */
626 1.1 rillig LstNode
627 1.1 rillig Lst_FindFrom(Lst l, LstNode ln, const void *d,
628 1.1 rillig int (*cProc)(const void *, const void *))
629 1.1 rillig {
630 1.13 rillig LstNode tln;
631 1.1 rillig
632 1.4 rillig if (!LstValid(l) || LstIsEmpty(l) || !LstNodeValid(ln)) {
633 1.1 rillig return NULL;
634 1.1 rillig }
635 1.1 rillig
636 1.1 rillig tln = ln;
637 1.1 rillig
638 1.1 rillig do {
639 1.1 rillig if ((*cProc)(tln->datum, d) == 0)
640 1.1 rillig return tln;
641 1.1 rillig tln = tln->nextPtr;
642 1.1 rillig } while (tln != ln && tln != NULL);
643 1.1 rillig
644 1.1 rillig return NULL;
645 1.1 rillig }
646 1.1 rillig
647 1.1 rillig /*-
648 1.1 rillig * See if a given datum is on a given list.
649 1.1 rillig */
650 1.1 rillig LstNode
651 1.1 rillig Lst_Member(Lst l, void *d)
652 1.1 rillig {
653 1.13 rillig Lst list = l;
654 1.13 rillig LstNode lNode;
655 1.1 rillig
656 1.1 rillig if (list == NULL) {
657 1.1 rillig return NULL;
658 1.1 rillig }
659 1.1 rillig lNode = list->firstPtr;
660 1.1 rillig if (lNode == NULL) {
661 1.1 rillig return NULL;
662 1.1 rillig }
663 1.1 rillig
664 1.1 rillig do {
665 1.1 rillig if (lNode->datum == d) {
666 1.1 rillig return lNode;
667 1.1 rillig }
668 1.1 rillig lNode = lNode->nextPtr;
669 1.1 rillig } while (lNode != NULL && lNode != list->firstPtr);
670 1.1 rillig
671 1.1 rillig return NULL;
672 1.1 rillig }
673 1.1 rillig
674 1.1 rillig /*-
675 1.1 rillig *-----------------------------------------------------------------------
676 1.1 rillig * Lst_ForEach --
677 1.1 rillig * Apply the given function to each element of the given list. The
678 1.1 rillig * function should return 0 if Lst_ForEach should continue and non-
679 1.1 rillig * zero if it should abort.
680 1.1 rillig *
681 1.1 rillig * Results:
682 1.1 rillig * None.
683 1.1 rillig *
684 1.1 rillig * Side Effects:
685 1.1 rillig * Only those created by the passed-in function.
686 1.1 rillig *
687 1.1 rillig *-----------------------------------------------------------------------
688 1.1 rillig */
689 1.1 rillig /*VARARGS2*/
690 1.1 rillig int
691 1.1 rillig Lst_ForEach(Lst l, int (*proc)(void *, void *), void *d)
692 1.1 rillig {
693 1.1 rillig return Lst_ForEachFrom(l, Lst_First(l), proc, d);
694 1.1 rillig }
695 1.1 rillig
696 1.1 rillig /*-
697 1.1 rillig *-----------------------------------------------------------------------
698 1.1 rillig * Lst_ForEachFrom --
699 1.1 rillig * Apply the given function to each element of the given list,
700 1.1 rillig * starting from a given point.
701 1.1 rillig *
702 1.1 rillig * The function should return 0 if traversal should continue, and
703 1.1 rillig * non-zero if it should abort.
704 1.1 rillig *
705 1.1 rillig * Results:
706 1.1 rillig * None.
707 1.1 rillig *
708 1.1 rillig * Side Effects:
709 1.1 rillig * Only those created by the passed-in function.
710 1.1 rillig *
711 1.1 rillig *-----------------------------------------------------------------------
712 1.1 rillig */
713 1.1 rillig /*VARARGS2*/
714 1.1 rillig int
715 1.1 rillig Lst_ForEachFrom(Lst l, LstNode ln, int (*proc)(void *, void *),
716 1.1 rillig void *d)
717 1.1 rillig {
718 1.13 rillig LstNode tln = ln;
719 1.13 rillig Lst list = l;
720 1.13 rillig LstNode next;
721 1.4 rillig Boolean done;
722 1.4 rillig int result;
723 1.1 rillig
724 1.4 rillig if (!LstValid(list) || LstIsEmpty(list)) {
725 1.1 rillig return 0;
726 1.1 rillig }
727 1.1 rillig
728 1.1 rillig do {
729 1.1 rillig /*
730 1.1 rillig * Take care of having the current element deleted out from under
731 1.1 rillig * us.
732 1.1 rillig */
733 1.1 rillig
734 1.1 rillig next = tln->nextPtr;
735 1.1 rillig
736 1.1 rillig /*
737 1.1 rillig * We're done with the traversal if
738 1.1 rillig * - the next node to examine is the first in the queue or
739 1.1 rillig * doesn't exist and
740 1.1 rillig * - nothing's been added after the current node (check this
741 1.1 rillig * after proc() has been called).
742 1.1 rillig */
743 1.1 rillig done = (next == NULL || next == list->firstPtr);
744 1.1 rillig
745 1.4 rillig (void)tln->useCount++;
746 1.4 rillig result = (*proc)(tln->datum, d);
747 1.4 rillig (void)tln->useCount--;
748 1.1 rillig
749 1.1 rillig /*
750 1.1 rillig * Now check whether a node has been added.
751 1.1 rillig * Note: this doesn't work if this node was deleted before
752 1.1 rillig * the new node was added.
753 1.1 rillig */
754 1.1 rillig if (next != tln->nextPtr) {
755 1.4 rillig next = tln->nextPtr;
756 1.4 rillig done = 0;
757 1.1 rillig }
758 1.1 rillig
759 1.7 rillig if (tln->deleted) {
760 1.1 rillig free((char *)tln);
761 1.1 rillig }
762 1.1 rillig tln = next;
763 1.1 rillig } while (!result && !LstIsEmpty(list) && !done);
764 1.1 rillig
765 1.1 rillig return result;
766 1.1 rillig }
767 1.1 rillig
768 1.1 rillig /*-
769 1.1 rillig *-----------------------------------------------------------------------
770 1.1 rillig * Lst_Concat --
771 1.1 rillig * Concatenate two lists. New elements are created to hold the data
772 1.1 rillig * elements, if specified, but the elements themselves are not copied.
773 1.1 rillig * If the elements should be duplicated to avoid confusion with another
774 1.1 rillig * list, the Lst_Duplicate function should be called first.
775 1.1 rillig * If LST_CONCLINK is specified, the second list is destroyed since
776 1.1 rillig * its pointers have been corrupted and the list is no longer useable.
777 1.1 rillig *
778 1.1 rillig * Input:
779 1.1 rillig * l1 The list to which l2 is to be appended
780 1.1 rillig * l2 The list to append to l1
781 1.1 rillig * flags LST_CONCNEW if LstNode's should be duplicated
782 1.1 rillig * LST_CONCLINK if should just be relinked
783 1.1 rillig *
784 1.1 rillig * Results:
785 1.1 rillig * SUCCESS if all went well. FAILURE otherwise.
786 1.1 rillig *
787 1.1 rillig * Side Effects:
788 1.1 rillig * New elements are created and appended the first list.
789 1.1 rillig *-----------------------------------------------------------------------
790 1.1 rillig */
791 1.1 rillig ReturnStatus
792 1.1 rillig Lst_Concat(Lst l1, Lst l2, int flags)
793 1.1 rillig {
794 1.13 rillig LstNode ln; /* original LstNode */
795 1.13 rillig LstNode nln; /* new LstNode */
796 1.13 rillig LstNode last; /* the last element in the list. Keeps
797 1.1 rillig * bookkeeping until the end */
798 1.13 rillig Lst list1 = l1;
799 1.13 rillig Lst list2 = l2;
800 1.1 rillig
801 1.4 rillig if (!LstValid(l1) || !LstValid(l2)) {
802 1.1 rillig return FAILURE;
803 1.1 rillig }
804 1.1 rillig
805 1.1 rillig if (flags == LST_CONCLINK) {
806 1.1 rillig if (list2->firstPtr != NULL) {
807 1.1 rillig /*
808 1.1 rillig * So long as the second list isn't empty, we just link the
809 1.1 rillig * first element of the second list to the last element of the
810 1.1 rillig * first list. If the first list isn't empty, we then link the
811 1.1 rillig * last element of the list to the first element of the second list
812 1.1 rillig * The last element of the second list, if it exists, then becomes
813 1.1 rillig * the last element of the first list.
814 1.1 rillig */
815 1.1 rillig list2->firstPtr->prevPtr = list1->lastPtr;
816 1.1 rillig if (list1->lastPtr != NULL) {
817 1.3 rillig list1->lastPtr->nextPtr = list2->firstPtr;
818 1.1 rillig } else {
819 1.1 rillig list1->firstPtr = list2->firstPtr;
820 1.1 rillig }
821 1.1 rillig list1->lastPtr = list2->lastPtr;
822 1.1 rillig }
823 1.1 rillig free(l2);
824 1.1 rillig } else if (list2->firstPtr != NULL) {
825 1.1 rillig /*
826 1.1 rillig * We set the nextPtr of the last element of list 2 to be nil to make
827 1.1 rillig * the loop less difficult. The loop simply goes through the entire
828 1.1 rillig * second list creating new LstNodes and filling in the nextPtr, and
829 1.1 rillig * prevPtr to fit into l1 and its datum field from the
830 1.1 rillig * datum field of the corresponding element in l2. The 'last' node
831 1.1 rillig * follows the last of the new nodes along until the entire l2 has
832 1.1 rillig * been appended. Only then does the bookkeeping catch up with the
833 1.1 rillig * changes. During the first iteration of the loop, if 'last' is nil,
834 1.1 rillig * the first list must have been empty so the newly-created node is
835 1.1 rillig * made the first node of the list.
836 1.1 rillig */
837 1.1 rillig list2->lastPtr->nextPtr = NULL;
838 1.1 rillig for (last = list1->lastPtr, ln = list2->firstPtr;
839 1.1 rillig ln != NULL;
840 1.1 rillig ln = ln->nextPtr)
841 1.1 rillig {
842 1.12 rillig nln = LstNodeNew(ln->datum);
843 1.1 rillig if (last != NULL) {
844 1.1 rillig last->nextPtr = nln;
845 1.1 rillig } else {
846 1.1 rillig list1->firstPtr = nln;
847 1.1 rillig }
848 1.1 rillig nln->prevPtr = last;
849 1.1 rillig last = nln;
850 1.1 rillig }
851 1.1 rillig
852 1.1 rillig /*
853 1.1 rillig * Finish bookkeeping. The last new element becomes the last element
854 1.1 rillig * of list one.
855 1.1 rillig */
856 1.1 rillig list1->lastPtr = last;
857 1.5 rillig last->nextPtr = NULL;
858 1.1 rillig }
859 1.1 rillig
860 1.1 rillig return SUCCESS;
861 1.1 rillig }
862 1.1 rillig
863 1.1 rillig
864 1.1 rillig /*
865 1.1 rillig * these functions are for dealing with a list as a table, of sorts.
866 1.1 rillig * An idea of the "current element" is kept and used by all the functions
867 1.1 rillig * between Lst_Open() and Lst_Close().
868 1.1 rillig *
869 1.1 rillig * The sequential functions access the list in a slightly different way.
870 1.1 rillig * CurPtr points to their idea of the current node in the list and they
871 1.1 rillig * access the list based on it.
872 1.1 rillig */
873 1.1 rillig
874 1.1 rillig /*-
875 1.1 rillig *-----------------------------------------------------------------------
876 1.1 rillig * Lst_Open --
877 1.1 rillig * Open a list for sequential access. A list can still be searched,
878 1.1 rillig * etc., without confusing these functions.
879 1.1 rillig *
880 1.1 rillig * Results:
881 1.1 rillig * SUCCESS or FAILURE.
882 1.1 rillig *
883 1.1 rillig * Side Effects:
884 1.1 rillig * isOpen is set TRUE and curPtr is set to NULL so the
885 1.1 rillig * other sequential functions know it was just opened and can choose
886 1.1 rillig * the first element accessed based on this.
887 1.1 rillig *
888 1.1 rillig *-----------------------------------------------------------------------
889 1.1 rillig */
890 1.1 rillig ReturnStatus
891 1.1 rillig Lst_Open(Lst l)
892 1.1 rillig {
893 1.4 rillig if (LstValid(l) == FALSE) {
894 1.4 rillig return FAILURE;
895 1.4 rillig }
896 1.4 rillig l->isOpen = TRUE;
897 1.4 rillig l->atEnd = LstIsEmpty(l) ? Head : Unknown;
898 1.4 rillig l->curPtr = NULL;
899 1.1 rillig
900 1.4 rillig return SUCCESS;
901 1.1 rillig }
902 1.1 rillig
903 1.10 rillig /* Open a list for sequential access. A list can still be searched, etc.,
904 1.10 rillig * without confusing these functions. */
905 1.10 rillig void
906 1.10 rillig Lst_OpenS(Lst l)
907 1.10 rillig {
908 1.10 rillig assert(LstValid(l));
909 1.10 rillig assert(!l->isOpen);
910 1.10 rillig
911 1.10 rillig l->isOpen = TRUE;
912 1.10 rillig l->atEnd = LstIsEmpty(l) ? Head : Unknown;
913 1.10 rillig l->curPtr = NULL;
914 1.10 rillig }
915 1.10 rillig
916 1.10 rillig /* Return the next node for the given list, or NULL if the end has been
917 1.10 rillig * reached. */
918 1.1 rillig LstNode
919 1.9 rillig Lst_NextS(Lst l)
920 1.1 rillig {
921 1.13 rillig LstNode tln;
922 1.13 rillig Lst list = l;
923 1.1 rillig
924 1.9 rillig assert(LstValid(l));
925 1.9 rillig assert(list->isOpen);
926 1.1 rillig
927 1.1 rillig list->prevPtr = list->curPtr;
928 1.1 rillig
929 1.1 rillig if (list->curPtr == NULL) {
930 1.1 rillig if (list->atEnd == Unknown) {
931 1.1 rillig /*
932 1.1 rillig * If we're just starting out, atEnd will be Unknown.
933 1.1 rillig * Then we want to start this thing off in the right
934 1.1 rillig * direction -- at the start with atEnd being Middle.
935 1.1 rillig */
936 1.1 rillig list->curPtr = tln = list->firstPtr;
937 1.1 rillig list->atEnd = Middle;
938 1.1 rillig } else {
939 1.1 rillig tln = NULL;
940 1.1 rillig list->atEnd = Tail;
941 1.1 rillig }
942 1.1 rillig } else {
943 1.1 rillig tln = list->curPtr->nextPtr;
944 1.1 rillig list->curPtr = tln;
945 1.1 rillig
946 1.1 rillig if (tln == list->firstPtr || tln == NULL) {
947 1.1 rillig /*
948 1.1 rillig * If back at the front, then we've hit the end...
949 1.1 rillig */
950 1.1 rillig list->atEnd = Tail;
951 1.1 rillig } else {
952 1.1 rillig /*
953 1.1 rillig * Reset to Middle if gone past first.
954 1.1 rillig */
955 1.1 rillig list->atEnd = Middle;
956 1.1 rillig }
957 1.1 rillig }
958 1.1 rillig
959 1.1 rillig return tln;
960 1.1 rillig }
961 1.1 rillig
962 1.10 rillig /* Close a list which was opened for sequential access. */
963 1.1 rillig void
964 1.10 rillig Lst_CloseS(Lst l)
965 1.1 rillig {
966 1.13 rillig Lst list = l;
967 1.1 rillig
968 1.10 rillig assert(LstValid(l));
969 1.10 rillig assert(list->isOpen);
970 1.10 rillig list->isOpen = FALSE;
971 1.10 rillig list->atEnd = Unknown;
972 1.1 rillig }
973 1.1 rillig
974 1.1 rillig
975 1.1 rillig /*
976 1.1 rillig * for using the list as a queue
977 1.1 rillig */
978 1.1 rillig
979 1.1 rillig /*-
980 1.1 rillig *-----------------------------------------------------------------------
981 1.1 rillig * Lst_EnQueue --
982 1.1 rillig * Add the datum to the tail of the given list.
983 1.1 rillig *
984 1.1 rillig * Results:
985 1.1 rillig * SUCCESS or FAILURE as returned by Lst_InsertAfter.
986 1.1 rillig *
987 1.1 rillig * Side Effects:
988 1.1 rillig * the lastPtr field is altered all the time and the firstPtr field
989 1.1 rillig * will be altered if the list used to be empty.
990 1.1 rillig *
991 1.1 rillig *-----------------------------------------------------------------------
992 1.1 rillig */
993 1.1 rillig ReturnStatus
994 1.1 rillig Lst_EnQueue(Lst l, void *d)
995 1.1 rillig {
996 1.4 rillig if (LstValid(l) == FALSE) {
997 1.1 rillig return FAILURE;
998 1.1 rillig }
999 1.1 rillig
1000 1.1 rillig return Lst_InsertAfter(l, Lst_Last(l), d);
1001 1.1 rillig }
1002 1.1 rillig
1003 1.1 rillig /*-
1004 1.1 rillig *-----------------------------------------------------------------------
1005 1.1 rillig * Lst_DeQueue --
1006 1.1 rillig * Remove and return the datum at the head of the given list.
1007 1.1 rillig *
1008 1.1 rillig * Results:
1009 1.1 rillig * The datum in the node at the head or NULL if the list
1010 1.1 rillig * is empty.
1011 1.1 rillig *
1012 1.1 rillig * Side Effects:
1013 1.1 rillig * The head node is removed from the list.
1014 1.1 rillig *
1015 1.1 rillig *-----------------------------------------------------------------------
1016 1.1 rillig */
1017 1.1 rillig void *
1018 1.1 rillig Lst_DeQueue(Lst l)
1019 1.1 rillig {
1020 1.1 rillig void *rd;
1021 1.13 rillig LstNode tln;
1022 1.1 rillig
1023 1.1 rillig tln = Lst_First(l);
1024 1.1 rillig if (tln == NULL) {
1025 1.1 rillig return NULL;
1026 1.1 rillig }
1027 1.1 rillig
1028 1.1 rillig rd = tln->datum;
1029 1.8 rillig Lst_RemoveS(l, tln);
1030 1.8 rillig return rd;
1031 1.1 rillig }
1032