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