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