Home | History | Annotate | Line # | Download | only in make
lst.c revision 1.84
      1  1.84  rillig /* $NetBSD: lst.c,v 1.84 2020/10/24 08:56:27 rillig Exp $ */
      2   1.1  rillig 
      3   1.1  rillig /*
      4   1.1  rillig  * Copyright (c) 1988, 1989, 1990, 1993
      5   1.1  rillig  *	The Regents of the University of California.  All rights reserved.
      6   1.1  rillig  *
      7   1.1  rillig  * This code is derived from software contributed to Berkeley by
      8   1.1  rillig  * Adam de Boor.
      9   1.1  rillig  *
     10   1.1  rillig  * Redistribution and use in source and binary forms, with or without
     11   1.1  rillig  * modification, are permitted provided that the following conditions
     12   1.1  rillig  * are met:
     13   1.1  rillig  * 1. Redistributions of source code must retain the above copyright
     14   1.1  rillig  *    notice, this list of conditions and the following disclaimer.
     15   1.1  rillig  * 2. Redistributions in binary form must reproduce the above copyright
     16   1.1  rillig  *    notice, this list of conditions and the following disclaimer in the
     17   1.1  rillig  *    documentation and/or other materials provided with the distribution.
     18   1.1  rillig  * 3. Neither the name of the University nor the names of its contributors
     19   1.1  rillig  *    may be used to endorse or promote products derived from this software
     20   1.1  rillig  *    without specific prior written permission.
     21   1.1  rillig  *
     22   1.1  rillig  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     23   1.1  rillig  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     24   1.1  rillig  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     25   1.1  rillig  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     26   1.1  rillig  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     27   1.1  rillig  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     28   1.1  rillig  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     29   1.1  rillig  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     30   1.1  rillig  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     31   1.1  rillig  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     32   1.1  rillig  * SUCH DAMAGE.
     33   1.1  rillig  */
     34   1.1  rillig 
     35  1.19  rillig #include "make.h"
     36   1.1  rillig 
     37  1.84  rillig MAKE_RCSID("$NetBSD: lst.c,v 1.84 2020/10/24 08:56:27 rillig Exp $");
     38   1.1  rillig 
     39  1.65  rillig static ListNode *
     40  1.84  rillig LstNodeNew(ListNode *prev, ListNode *next, void *datum)
     41  1.12  rillig {
     42  1.65  rillig     ListNode *node = bmake_malloc(sizeof *node);
     43  1.84  rillig     node->prev = prev;
     44  1.84  rillig     node->next = next;
     45  1.16  rillig     node->datum = datum;
     46  1.16  rillig     return node;
     47  1.12  rillig }
     48  1.12  rillig 
     49   1.2  rillig static Boolean
     50  1.65  rillig LstIsEmpty(List *list)
     51   1.2  rillig {
     52  1.16  rillig     return list->first == NULL;
     53   1.2  rillig }
     54   1.1  rillig 
     55   1.5  rillig /* Create and initialize a new, empty list. */
     56  1.65  rillig List *
     57  1.77  rillig Lst_New(void)
     58   1.1  rillig {
     59  1.65  rillig     List *list = bmake_malloc(sizeof *list);
     60   1.1  rillig 
     61  1.16  rillig     list->first = NULL;
     62  1.16  rillig     list->last = NULL;
     63   1.1  rillig 
     64  1.16  rillig     return list;
     65   1.1  rillig }
     66   1.1  rillig 
     67  1.14  rillig /* Duplicate an entire list, usually by copying the datum pointers.
     68  1.14  rillig  * If copyProc is given, that function is used to create the new datum from the
     69  1.35  rillig  * old datum, usually by creating a copy of it. */
     70  1.65  rillig List *
     71  1.65  rillig Lst_Copy(List *list, LstCopyProc copyProc)
     72   1.1  rillig {
     73  1.65  rillig     List *newList;
     74  1.65  rillig     ListNode *node;
     75   1.1  rillig 
     76  1.77  rillig     newList = Lst_New();
     77   1.1  rillig 
     78  1.35  rillig     for (node = list->first; node != NULL; node = node->next) {
     79  1.35  rillig 	void *datum = copyProc != NULL ? copyProc(node->datum) : node->datum;
     80  1.50  rillig 	Lst_Append(newList, datum);
     81   1.1  rillig     }
     82   1.1  rillig 
     83  1.16  rillig     return newList;
     84   1.1  rillig }
     85   1.1  rillig 
     86  1.42  rillig /* Free a list and all its nodes. The list data itself are not freed though. */
     87  1.42  rillig void
     88  1.65  rillig Lst_Free(List *list)
     89  1.42  rillig {
     90  1.65  rillig     ListNode *node;
     91  1.65  rillig     ListNode *next;
     92  1.42  rillig 
     93  1.42  rillig     for (node = list->first; node != NULL; node = next) {
     94  1.42  rillig 	next = node->next;
     95  1.42  rillig 	free(node);
     96  1.42  rillig     }
     97  1.42  rillig 
     98  1.42  rillig     free(list);
     99  1.42  rillig }
    100  1.42  rillig 
    101  1.59  rillig /* Destroy a list and free all its resources. The freeProc is called with the
    102  1.59  rillig  * datum from each node in turn before the node is freed. */
    103   1.1  rillig void
    104  1.65  rillig Lst_Destroy(List *list, LstFreeProc freeProc)
    105   1.1  rillig {
    106  1.65  rillig     ListNode *node;
    107  1.65  rillig     ListNode *next;
    108   1.1  rillig 
    109  1.42  rillig     for (node = list->first; node != NULL; node = next) {
    110  1.42  rillig 	next = node->next;
    111  1.42  rillig 	freeProc(node->datum);
    112  1.42  rillig 	free(node);
    113   1.1  rillig     }
    114   1.1  rillig 
    115   1.1  rillig     free(list);
    116   1.1  rillig }
    117   1.1  rillig 
    118   1.1  rillig /*
    119   1.1  rillig  * Functions to modify a list
    120   1.1  rillig  */
    121   1.1  rillig 
    122  1.14  rillig /* Insert a new node with the given piece of data before the given node in the
    123  1.14  rillig  * given list. */
    124  1.26  rillig void
    125  1.65  rillig Lst_InsertBefore(List *list, ListNode *node, void *datum)
    126  1.26  rillig {
    127  1.65  rillig     ListNode *newNode;
    128  1.26  rillig 
    129  1.26  rillig     assert(!LstIsEmpty(list));
    130  1.26  rillig     assert(datum != NULL);
    131  1.26  rillig 
    132  1.84  rillig     newNode = LstNodeNew(node->prev, node, datum);
    133  1.26  rillig 
    134  1.26  rillig     if (node->prev != NULL) {
    135  1.26  rillig 	node->prev->next = newNode;
    136  1.26  rillig     }
    137  1.26  rillig     node->prev = newNode;
    138  1.26  rillig 
    139  1.26  rillig     if (node == list->first) {
    140  1.26  rillig 	list->first = newNode;
    141  1.26  rillig     }
    142  1.26  rillig }
    143  1.26  rillig 
    144  1.22  rillig /* Add a piece of data at the start of the given list. */
    145  1.22  rillig void
    146  1.65  rillig Lst_Prepend(List *list, void *datum)
    147  1.22  rillig {
    148  1.65  rillig     ListNode *node;
    149  1.22  rillig 
    150  1.22  rillig     assert(datum != NULL);
    151  1.22  rillig 
    152  1.84  rillig     node = LstNodeNew(NULL, list->first, datum);
    153  1.22  rillig 
    154  1.22  rillig     if (list->first == NULL) {
    155  1.22  rillig 	list->first = node;
    156  1.22  rillig 	list->last = node;
    157  1.22  rillig     } else {
    158  1.22  rillig 	list->first->prev = node;
    159  1.22  rillig 	list->first = node;
    160  1.22  rillig     }
    161  1.22  rillig }
    162  1.22  rillig 
    163  1.21  rillig /* Add a piece of data at the end of the given list. */
    164  1.21  rillig void
    165  1.65  rillig Lst_Append(List *list, void *datum)
    166  1.21  rillig {
    167  1.65  rillig     ListNode *node;
    168  1.21  rillig 
    169  1.21  rillig     assert(datum != NULL);
    170  1.21  rillig 
    171  1.84  rillig     node = LstNodeNew(list->last, NULL, datum);
    172  1.21  rillig 
    173  1.21  rillig     if (list->last == NULL) {
    174  1.21  rillig 	list->first = node;
    175  1.21  rillig 	list->last = node;
    176  1.21  rillig     } else {
    177  1.21  rillig 	list->last->next = node;
    178  1.21  rillig 	list->last = node;
    179  1.21  rillig     }
    180  1.21  rillig }
    181  1.21  rillig 
    182   1.8  rillig /* Remove the given node from the given list.
    183   1.8  rillig  * The datum stored in the node must be freed by the caller, if necessary. */
    184   1.8  rillig void
    185  1.65  rillig Lst_Remove(List *list, ListNode *node)
    186   1.1  rillig {
    187   1.1  rillig     /*
    188   1.1  rillig      * unlink it from the list
    189   1.1  rillig      */
    190  1.16  rillig     if (node->next != NULL) {
    191  1.16  rillig 	node->next->prev = node->prev;
    192   1.1  rillig     }
    193  1.16  rillig     if (node->prev != NULL) {
    194  1.16  rillig 	node->prev->next = node->next;
    195   1.1  rillig     }
    196   1.1  rillig 
    197   1.1  rillig     /*
    198  1.15  rillig      * if either the first or last of the list point to this node,
    199   1.1  rillig      * adjust them accordingly
    200   1.1  rillig      */
    201  1.16  rillig     if (list->first == node) {
    202  1.16  rillig 	list->first = node->next;
    203   1.1  rillig     }
    204  1.16  rillig     if (list->last == node) {
    205  1.16  rillig 	list->last = node->prev;
    206   1.1  rillig     }
    207   1.1  rillig }
    208   1.1  rillig 
    209   1.8  rillig /* Replace the datum in the given node with the new datum. */
    210   1.8  rillig void
    211  1.65  rillig LstNode_Set(ListNode *node, void *datum)
    212   1.1  rillig {
    213  1.37  rillig     assert(datum != NULL);
    214  1.37  rillig 
    215  1.16  rillig     node->datum = datum;
    216   1.1  rillig }
    217   1.1  rillig 
    218  1.74  rillig /* Replace the datum in the given node to NULL.
    219  1.74  rillig  * Having NULL values in a list is unusual though. */
    220  1.37  rillig void
    221  1.65  rillig LstNode_SetNull(ListNode *node)
    222  1.37  rillig {
    223  1.37  rillig     node->datum = NULL;
    224  1.37  rillig }
    225  1.37  rillig 
    226   1.1  rillig 
    227   1.1  rillig /*
    228   1.1  rillig  * Functions for entire lists
    229   1.1  rillig  */
    230   1.1  rillig 
    231  1.53  rillig /* Return the first node from the list for which the match function returns
    232  1.53  rillig  * TRUE, or NULL if none of the nodes matched. */
    233  1.65  rillig ListNode *
    234  1.65  rillig Lst_Find(List *list, LstFindProc match, const void *matchArgs)
    235  1.53  rillig {
    236  1.79  rillig     return Lst_FindFrom(list, list->first, match, matchArgs);
    237  1.53  rillig }
    238  1.53  rillig 
    239  1.53  rillig /* Return the first node from the list, starting at the given node, for which
    240  1.53  rillig  * the match function returns TRUE, or NULL if none of the nodes matches.
    241  1.53  rillig  *
    242  1.72  rillig  * The start node may be NULL, in which case nothing is found. */
    243  1.65  rillig ListNode *
    244  1.65  rillig Lst_FindFrom(List *list, ListNode *node, LstFindProc match, const void *matchArgs)
    245  1.53  rillig {
    246  1.65  rillig     ListNode *tln;
    247  1.53  rillig 
    248  1.53  rillig     assert(list != NULL);
    249  1.53  rillig     assert(match != NULL);
    250  1.53  rillig 
    251  1.53  rillig     for (tln = node; tln != NULL; tln = tln->next) {
    252  1.53  rillig 	if (match(tln->datum, matchArgs))
    253  1.53  rillig 	    return tln;
    254  1.53  rillig     }
    255  1.53  rillig 
    256  1.53  rillig     return NULL;
    257  1.53  rillig }
    258  1.53  rillig 
    259  1.14  rillig /* Return the first node that contains the given datum, or NULL. */
    260  1.65  rillig ListNode *
    261  1.65  rillig Lst_FindDatum(List *list, const void *datum)
    262   1.1  rillig {
    263  1.65  rillig     ListNode *node;
    264   1.1  rillig 
    265  1.29  rillig     assert(datum != NULL);
    266   1.1  rillig 
    267  1.29  rillig     for (node = list->first; node != NULL; node = node->next) {
    268  1.16  rillig 	if (node->datum == datum) {
    269  1.16  rillig 	    return node;
    270   1.1  rillig 	}
    271  1.29  rillig     }
    272   1.1  rillig 
    273   1.1  rillig     return NULL;
    274   1.1  rillig }
    275   1.1  rillig 
    276  1.82  rillig int
    277  1.82  rillig Lst_ForEachUntil(List *list, LstActionUntilProc proc, void *procData)
    278  1.82  rillig {
    279  1.82  rillig     ListNode *node;
    280  1.82  rillig     int result = 0;
    281  1.82  rillig 
    282  1.82  rillig     for (node = list->first; node != NULL; node = node->next) {
    283  1.82  rillig 	result = proc(node->datum, procData);
    284  1.82  rillig 	if (result != 0)
    285  1.82  rillig 	    break;
    286  1.82  rillig     }
    287  1.82  rillig     return result;
    288  1.82  rillig }
    289  1.82  rillig 
    290  1.34  rillig /* Move all nodes from list2 to the end of list1.
    291  1.34  rillig  * List2 is destroyed and freed. */
    292  1.34  rillig void
    293  1.65  rillig Lst_MoveAll(List *list1, List *list2)
    294   1.1  rillig {
    295  1.34  rillig     if (list2->first != NULL) {
    296  1.34  rillig 	list2->first->prev = list1->last;
    297  1.34  rillig 	if (list1->last != NULL) {
    298  1.34  rillig 	    list1->last->next = list2->first;
    299  1.34  rillig 	} else {
    300  1.34  rillig 	    list1->first = list2->first;
    301   1.1  rillig 	}
    302  1.34  rillig 	list1->last = list2->last;
    303   1.1  rillig     }
    304  1.34  rillig     free(list2);
    305   1.1  rillig }
    306   1.1  rillig 
    307  1.22  rillig /* Copy the element data from src to the start of dst. */
    308  1.22  rillig void
    309  1.65  rillig Lst_PrependAll(List *dst, List *src)
    310  1.22  rillig {
    311  1.65  rillig     ListNode *node;
    312  1.22  rillig     for (node = src->last; node != NULL; node = node->prev)
    313  1.50  rillig 	Lst_Prepend(dst, node->datum);
    314  1.22  rillig }
    315  1.22  rillig 
    316  1.22  rillig /* Copy the element data from src to the end of dst. */
    317  1.22  rillig void
    318  1.65  rillig Lst_AppendAll(List *dst, List *src)
    319  1.22  rillig {
    320  1.65  rillig     ListNode *node;
    321  1.22  rillig     for (node = src->first; node != NULL; node = node->next)
    322  1.50  rillig 	Lst_Append(dst, node->datum);
    323  1.22  rillig }
    324   1.1  rillig 
    325   1.1  rillig /*
    326   1.1  rillig  * for using the list as a queue
    327   1.1  rillig  */
    328   1.1  rillig 
    329  1.14  rillig /* Add the datum to the tail of the given list. */
    330  1.25  rillig void
    331  1.65  rillig Lst_Enqueue(List *list, void *datum)
    332   1.1  rillig {
    333  1.50  rillig     Lst_Append(list, datum);
    334   1.1  rillig }
    335   1.1  rillig 
    336  1.25  rillig /* Remove and return the datum at the head of the given list. */
    337   1.1  rillig void *
    338  1.65  rillig Lst_Dequeue(List *list)
    339   1.1  rillig {
    340  1.74  rillig     void *datum = list->first->datum;
    341  1.50  rillig     Lst_Remove(list, list->first);
    342  1.74  rillig     assert(datum != NULL);	/* since NULL would mean end of the list */
    343  1.16  rillig     return datum;
    344   1.1  rillig }
    345  1.61  rillig 
    346  1.61  rillig void
    347  1.76  rillig Vector_Init(Vector *v)
    348  1.61  rillig {
    349  1.76  rillig     v->len = 0;
    350  1.76  rillig     v->cap = 10;
    351  1.76  rillig     v->items = bmake_malloc(v->cap * sizeof v->items[0]);
    352  1.61  rillig }
    353  1.61  rillig 
    354  1.76  rillig Boolean Vector_IsEmpty(Vector *v)
    355  1.61  rillig {
    356  1.76  rillig     return v->len == 0;
    357  1.61  rillig }
    358  1.61  rillig 
    359  1.76  rillig void Vector_Push(Vector *v, void *datum)
    360  1.61  rillig {
    361  1.76  rillig     if (v->len >= v->cap) {
    362  1.76  rillig 	v->cap *= 2;
    363  1.76  rillig 	v->items = bmake_realloc(v->items,
    364  1.76  rillig 				 v->cap * sizeof v->items[0]);
    365  1.61  rillig     }
    366  1.76  rillig     v->items[v->len] = datum;
    367  1.76  rillig     v->len++;
    368  1.61  rillig }
    369  1.61  rillig 
    370  1.76  rillig void *Vector_Pop(Vector *v)
    371  1.61  rillig {
    372  1.64  rillig     void *datum;
    373  1.64  rillig 
    374  1.76  rillig     assert(v->len > 0);
    375  1.76  rillig     v->len--;
    376  1.76  rillig     datum = v->items[v->len];
    377  1.64  rillig #ifdef CLEANUP
    378  1.76  rillig     v->items[v->len] = NULL;
    379  1.64  rillig #endif
    380  1.64  rillig     return datum;
    381  1.61  rillig }
    382  1.61  rillig 
    383  1.76  rillig void Vector_Done(Vector *v)
    384  1.61  rillig {
    385  1.76  rillig     free(v->items);
    386  1.61  rillig }
    387