Home | History | Annotate | Line # | Download | only in make
lst.c revision 1.102
      1 /* $NetBSD: lst.c,v 1.102 2020/12/30 10:03:16 rillig Exp $ */
      2 
      3 /*
      4  * Copyright (c) 1988, 1989, 1990, 1993
      5  *	The Regents of the University of California.  All rights reserved.
      6  *
      7  * This code is derived from software contributed to Berkeley by
      8  * Adam de Boor.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  * 3. Neither the name of the University nor the names of its contributors
     19  *    may be used to endorse or promote products derived from this software
     20  *    without specific prior written permission.
     21  *
     22  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
     23  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
     24  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
     25  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
     26  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     27  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
     28  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
     29  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
     30  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
     31  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
     32  * SUCH DAMAGE.
     33  */
     34 
     35 #include "make.h"
     36 
     37 MAKE_RCSID("$NetBSD: lst.c,v 1.102 2020/12/30 10:03:16 rillig Exp $");
     38 
     39 static ListNode *
     40 LstNodeNew(ListNode *prev, ListNode *next, void *datum)
     41 {
     42 	ListNode *ln = bmake_malloc(sizeof *ln);
     43 
     44 	ln->prev = prev;
     45 	ln->next = next;
     46 	ln->datum = datum;
     47 
     48 	return ln;
     49 }
     50 
     51 /* Create and initialize a new, empty list. */
     52 List *
     53 Lst_New(void)
     54 {
     55 	List *list = bmake_malloc(sizeof *list);
     56 	Lst_Init(list);
     57 	return list;
     58 }
     59 
     60 void
     61 Lst_Done(List *list)
     62 {
     63 	ListNode *ln, *next;
     64 
     65 	for (ln = list->first; ln != NULL; ln = next) {
     66 		next = ln->next;
     67 		free(ln);
     68 	}
     69 }
     70 
     71 void
     72 Lst_DoneCall(List *list, LstFreeProc freeProc)
     73 {
     74 	ListNode *ln, *next;
     75 
     76 	for (ln = list->first; ln != NULL; ln = next) {
     77 		next = ln->next;
     78 		freeProc(ln->datum);
     79 		free(ln);
     80 	}
     81 }
     82 
     83 /* Free a list and all its nodes. The node data are not freed though. */
     84 void
     85 Lst_Free(List *list)
     86 {
     87 
     88 	Lst_Done(list);
     89 	free(list);
     90 }
     91 
     92 /*
     93  * Destroy a list and free all its resources. The freeProc is called with the
     94  * datum from each node in turn before the node is freed.
     95  */
     96 void
     97 Lst_Destroy(List *list, LstFreeProc freeProc)
     98 {
     99 	Lst_DoneCall(list, freeProc);
    100 	free(list);
    101 }
    102 
    103 /* Insert a new node with the datum before the given node. */
    104 void
    105 Lst_InsertBefore(List *list, ListNode *ln, void *datum)
    106 {
    107 	ListNode *newNode;
    108 
    109 	assert(datum != NULL);
    110 
    111 	newNode = LstNodeNew(ln->prev, ln, datum);
    112 
    113 	if (ln->prev != NULL)
    114 		ln->prev->next = newNode;
    115 	ln->prev = newNode;
    116 
    117 	if (ln == list->first)
    118 		list->first = newNode;
    119 }
    120 
    121 /* Add a piece of data at the start of the given list. */
    122 void
    123 Lst_Prepend(List *list, void *datum)
    124 {
    125 	ListNode *ln;
    126 
    127 	assert(datum != NULL);
    128 
    129 	ln = LstNodeNew(NULL, list->first, datum);
    130 
    131 	if (list->first == NULL) {
    132 		list->first = ln;
    133 		list->last = ln;
    134 	} else {
    135 		list->first->prev = ln;
    136 		list->first = ln;
    137 	}
    138 }
    139 
    140 /* Add a piece of data at the end of the given list. */
    141 void
    142 Lst_Append(List *list, void *datum)
    143 {
    144 	ListNode *ln;
    145 
    146 	assert(datum != NULL);
    147 
    148 	ln = LstNodeNew(list->last, NULL, datum);
    149 
    150 	if (list->last == NULL) {
    151 		list->first = ln;
    152 		list->last = ln;
    153 	} else {
    154 		list->last->next = ln;
    155 		list->last = ln;
    156 	}
    157 }
    158 
    159 /*
    160  * Remove the given node from the given list.
    161  * The datum stored in the node must be freed by the caller, if necessary.
    162  */
    163 void
    164 Lst_Remove(List *list, ListNode *ln)
    165 {
    166 	/* unlink it from its neighbors */
    167 	if (ln->next != NULL)
    168 		ln->next->prev = ln->prev;
    169 	if (ln->prev != NULL)
    170 		ln->prev->next = ln->next;
    171 
    172 	/* unlink it from the list */
    173 	if (list->first == ln)
    174 		list->first = ln->next;
    175 	if (list->last == ln)
    176 		list->last = ln->prev;
    177 }
    178 
    179 /* Replace the datum in the given node with the new datum. */
    180 void
    181 LstNode_Set(ListNode *ln, void *datum)
    182 {
    183 	assert(datum != NULL);
    184 
    185 	ln->datum = datum;
    186 }
    187 
    188 /*
    189  * Replace the datum in the given node with NULL.
    190  * Having NULL values in a list is unusual though.
    191  */
    192 void
    193 LstNode_SetNull(ListNode *ln)
    194 {
    195 	ln->datum = NULL;
    196 }
    197 
    198 /*
    199  * Return the first node that contains the given datum, or NULL.
    200  *
    201  * Time complexity: O(length(list))
    202  */
    203 ListNode *
    204 Lst_FindDatum(List *list, const void *datum)
    205 {
    206 	ListNode *ln;
    207 
    208 	assert(datum != NULL);
    209 
    210 	for (ln = list->first; ln != NULL; ln = ln->next)
    211 		if (ln->datum == datum)
    212 			return ln;
    213 
    214 	return NULL;
    215 }
    216 
    217 /*
    218  * Move all nodes from src to the end of dst.
    219  * The source list becomes empty but is not freed.
    220  */
    221 void
    222 Lst_MoveAll(List *dst, List *src)
    223 {
    224 	if (src->first != NULL) {
    225 		src->first->prev = dst->last;
    226 		if (dst->last != NULL)
    227 			dst->last->next = src->first;
    228 		else
    229 			dst->first = src->first;
    230 
    231 		dst->last = src->last;
    232 	}
    233 }
    234 
    235 /* Copy the element data from src to the start of dst. */
    236 void
    237 Lst_PrependAll(List *dst, List *src)
    238 {
    239 	ListNode *ln;
    240 
    241 	for (ln = src->last; ln != NULL; ln = ln->prev)
    242 		Lst_Prepend(dst, ln->datum);
    243 }
    244 
    245 /* Copy the element data from src to the end of dst. */
    246 void
    247 Lst_AppendAll(List *dst, List *src)
    248 {
    249 	ListNode *ln;
    250 
    251 	for (ln = src->first; ln != NULL; ln = ln->next)
    252 		Lst_Append(dst, ln->datum);
    253 }
    254 
    255 /* Remove and return the datum at the head of the given list. */
    256 void *
    257 Lst_Dequeue(List *list)
    258 {
    259 	void *datum = list->first->datum;
    260 	Lst_Remove(list, list->first);
    261 	assert(datum != NULL);	/* since NULL would mean end of the list */
    262 	return datum;
    263 }
    264 
    265 void
    266 Vector_Init(Vector *v, size_t itemSize)
    267 {
    268 	v->len = 0;
    269 	v->cap = 10;
    270 	v->itemSize = itemSize;
    271 	v->items = bmake_malloc(v->cap * v->itemSize);
    272 }
    273 
    274 /*
    275  * Add space for a new item to the vector and return a pointer to that space.
    276  * The returned data is valid until the next modifying operation.
    277  */
    278 void *
    279 Vector_Push(Vector *v)
    280 {
    281 	if (v->len >= v->cap) {
    282 		v->cap *= 2;
    283 		v->items = bmake_realloc(v->items, v->cap * v->itemSize);
    284 	}
    285 	v->len++;
    286 	return Vector_Get(v, v->len - 1);
    287 }
    288 
    289 /*
    290  * Return the pointer to the last item in the vector.
    291  * The returned data is valid until the next modifying operation.
    292  */
    293 void *
    294 Vector_Pop(Vector *v)
    295 {
    296 	assert(v->len > 0);
    297 	v->len--;
    298 	return Vector_Get(v, v->len);
    299 }
    300