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