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