src/ucx/list.h

Sun, 24 Nov 2019 17:57:25 +0100

author
Mike Becker <universe@uap-core.de>
date
Sun, 24 Nov 2019 17:57:25 +0100
changeset 371
365b24f20f98
parent 323
b8c49e7a1dba
permissions
-rw-r--r--

adds set operations to UcxList

universe@103 1 /*
universe@103 2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
universe@103 3 *
universe@259 4 * Copyright 2017 Mike Becker, Olaf Wintermann All rights reserved.
universe@103 5 *
universe@103 6 * Redistribution and use in source and binary forms, with or without
universe@103 7 * modification, are permitted provided that the following conditions are met:
universe@103 8 *
universe@103 9 * 1. Redistributions of source code must retain the above copyright
universe@103 10 * notice, this list of conditions and the following disclaimer.
universe@103 11 *
universe@103 12 * 2. Redistributions in binary form must reproduce the above copyright
universe@103 13 * notice, this list of conditions and the following disclaimer in the
universe@103 14 * documentation and/or other materials provided with the distribution.
universe@103 15 *
universe@103 16 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
universe@103 17 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
universe@103 18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
universe@103 19 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
universe@103 20 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
universe@103 21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
universe@103 22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
universe@103 23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
universe@103 24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
universe@103 25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
universe@103 26 * POSSIBILITY OF SUCH DAMAGE.
universe@4 27 */
universe@123 28 /**
universe@128 29 * Doubly linked list implementation.
universe@123 30 *
universe@123 31 * @file list.h
universe@123 32 * @author Mike Becker
universe@123 33 * @author Olaf Wintermann
universe@123 34 */
universe@4 35
universe@122 36 #ifndef UCX_LIST_H
universe@122 37 #define UCX_LIST_H
universe@4 38
universe@259 39 #include "ucx.h"
universe@259 40 #include "allocator.h"
universe@7 41
universe@4 42 #ifdef __cplusplus
universe@4 43 extern "C" {
universe@4 44 #endif
universe@4 45
universe@121 46 /**
universe@121 47 * Loop statement for UCX lists.
universe@121 48 *
universe@220 49 * The first argument is the name of the iteration variable. The scope of
universe@220 50 * this variable is limited to the <code>UCX_FOREACH</code> statement.
universe@220 51 *
universe@220 52 * The second argument is a pointer to the list. In most cases this will be the
universe@121 53 * pointer to the first element of the list, but it may also be an arbitrary
universe@121 54 * element of the list. The iteration will then start with that element.
universe@121 55 *
universe@121 56 * @param list The first element of the list
universe@121 57 * @param elem The variable name of the element
universe@121 58 */
universe@122 59 #define UCX_FOREACH(elem,list) \
universe@371 60 for (UcxList* elem = (UcxList*) list ; elem != NULL ; elem = elem->next)
universe@121 61
universe@123 62 /**
universe@129 63 * UCX list type.
universe@123 64 * @see UcxList
universe@123 65 */
universe@122 66 typedef struct UcxList UcxList;
universe@146 67
universe@129 68 /**
universe@129 69 * UCX list structure.
universe@129 70 */
universe@122 71 struct UcxList {
universe@123 72 /**
universe@123 73 * List element payload.
universe@123 74 */
universe@122 75 void *data;
universe@123 76 /**
universe@123 77 * Pointer to the next list element or <code>NULL</code>, if this is the
universe@123 78 * last element.
universe@123 79 */
universe@122 80 UcxList *next;
universe@123 81 /**
universe@123 82 * Pointer to the previous list element or <code>NULL</code>, if this is
universe@123 83 * the first element.
universe@123 84 */
universe@122 85 UcxList *prev;
universe@4 86 };
universe@4 87
universe@128 88 /**
universe@128 89 * Creates an element-wise copy of a list.
universe@128 90 *
universe@128 91 * This function clones the specified list by creating new list elements and
universe@128 92 * copying the data with the specified copy_func(). If no copy_func() is
universe@128 93 * specified, a shallow copy is created and the new list will reference the
universe@128 94 * same data as the source list.
universe@128 95 *
universe@128 96 * @param list the list to copy
universe@128 97 * @param cpyfnc a pointer to the function that shall copy an element (may be
universe@128 98 * <code>NULL</code>)
universe@128 99 * @param data additional data for the copy_func()
universe@128 100 * @return a pointer to the copy
universe@128 101 */
universe@371 102 UcxList *ucx_list_clone(const UcxList *list, copy_func cpyfnc, void* data);
universe@146 103
universe@128 104 /**
universe@225 105 * Creates an element-wise copy of a list using a UcxAllocator.
universe@128 106 *
universe@128 107 * See ucx_list_clone() for details.
universe@128 108 *
universe@225 109 * You might want to pass the allocator via the <code>data</code> parameter,
universe@225 110 * to access it within the copy function for making deep copies.
universe@128 111 *
universe@129 112 * @param allocator the allocator to use
universe@128 113 * @param list the list to copy
universe@128 114 * @param cpyfnc a pointer to the function that shall copy an element (may be
universe@128 115 * <code>NULL</code>)
universe@128 116 * @param data additional data for the copy_func()
universe@128 117 * @return a pointer to the copy
universe@128 118 * @see ucx_list_clone()
universe@128 119 */
universe@371 120 UcxList *ucx_list_clone_a(UcxAllocator *allocator, const UcxList *list,
universe@125 121 copy_func cpyfnc, void* data);
universe@18 122
universe@123 123 /**
universe@123 124 * Compares two UCX lists element-wise by using a compare function.
universe@123 125 *
universe@123 126 * Each element of the two specified lists are compared by using the specified
universe@123 127 * compare function and the additional data. The type and content of this
universe@123 128 * additional data depends on the cmp_func() used.
universe@123 129 *
universe@123 130 * If the list pointers denote elements within a list, the lists are compared
universe@123 131 * starting with the denoted elements. Thus any previous elements are not taken
universe@123 132 * into account. This might be useful to check, if certain list tails match
universe@123 133 * each other.
universe@123 134 *
universe@123 135 * @param list1 the first list
universe@123 136 * @param list2 the second list
universe@123 137 * @param cmpfnc the compare function
universe@123 138 * @param data additional data for the compare function
universe@123 139 * @return 1, if and only if the two lists equal element-wise, 0 otherwise
universe@123 140 */
universe@123 141 int ucx_list_equals(const UcxList *list1, const UcxList *list2,
universe@123 142 cmp_func cmpfnc, void* data);
universe@4 143
universe@123 144 /**
universe@123 145 * Destroys the entire list.
universe@123 146 *
universe@123 147 * The members of the list are not automatically freed, so ensure they are
universe@211 148 * otherwise referenced or destroyed by ucx_list_free_contents().
universe@211 149 * Otherwise, a memory leak is likely to occur.
universe@123 150 *
universe@123 151 * <b>Caution:</b> the argument <b>MUST</b> denote an entire list (i.e. a call
universe@123 152 * to ucx_list_first() on the argument must return the argument itself)
universe@123 153 *
universe@128 154 * @param list the list to free
universe@211 155 * @see ucx_list_free_contents()
universe@123 156 */
universe@123 157 void ucx_list_free(UcxList *list);
universe@146 158
universe@128 159 /**
universe@225 160 * Destroys the entire list using a UcxAllocator.
universe@128 161 *
universe@128 162 * See ucx_list_free() for details.
universe@128 163 *
universe@128 164 * @param allocator the allocator to use
universe@128 165 * @param list the list to free
universe@128 166 * @see ucx_list_free()
universe@128 167 */
universe@125 168 void ucx_list_free_a(UcxAllocator *allocator, UcxList *list);
universe@146 169
universe@128 170 /**
universe@211 171 * Destroys the contents of the specified list by calling the specified
universe@211 172 * destructor on each of them.
universe@211 173 *
universe@211 174 * Note, that the contents are not usable afterwards and the list should be
universe@211 175 * destroyed with ucx_list_free().
universe@277 176 *
universe@277 177 * If no destructor is specified (<code>NULL</code>), stdlib's free() is used.
universe@211 178 *
universe@211 179 * @param list the list for which the contents shall be freed
universe@277 180 * @param destr optional destructor function
universe@211 181 * @see ucx_list_free()
universe@211 182 */
universe@212 183 void ucx_list_free_content(UcxList* list, ucx_destructor destr);
universe@211 184
universe@211 185
universe@211 186 /**
universe@128 187 * Inserts an element at the end of the list.
universe@128 188 *
universe@172 189 * This is generally an O(n) operation, as the end of the list is retrieved with
universe@128 190 * ucx_list_last().
universe@128 191 *
universe@128 192 * @param list the list where to append the data, or <code>NULL</code> to
universe@128 193 * create a new list
universe@128 194 * @param data the data to insert
universe@128 195 * @return <code>list</code>, if it is not <code>NULL</code> or a pointer to
universe@128 196 * the newly created list otherwise
universe@128 197 */
universe@123 198 UcxList *ucx_list_append(UcxList *list, void *data);
universe@146 199
universe@128 200 /**
universe@225 201 * Inserts an element at the end of the list using a UcxAllocator.
universe@128 202 *
universe@128 203 * See ucx_list_append() for details.
universe@128 204 *
universe@128 205 * @param allocator the allocator to use
universe@128 206 * @param list the list where to append the data, or <code>NULL</code> to
universe@128 207 * create a new list
universe@128 208 * @param data the data to insert
universe@128 209 * @return <code>list</code>, if it is not <code>NULL</code> or a pointer to
universe@128 210 * the newly created list otherwise
universe@128 211 * @see ucx_list_append()
universe@128 212 */
universe@125 213 UcxList *ucx_list_append_a(UcxAllocator *allocator, UcxList *list, void *data);
universe@146 214
universe@291 215
universe@291 216 /**
universe@128 217 * Inserts an element at the beginning of the list.
universe@128 218 *
universe@128 219 * You <i>should</i> overwrite the old list pointer by calling
universe@128 220 * <code>mylist = ucx_list_prepend(mylist, mydata);</code>. However, you may
universe@128 221 * also perform successive calls of ucx_list_prepend() on the same list pointer,
universe@128 222 * as this function always searchs for the head of the list with
universe@128 223 * ucx_list_first().
universe@128 224 *
universe@128 225 * @param list the list where to insert the data or <code>NULL</code> to create
universe@128 226 * a new list
universe@128 227 * @param data the data to insert
universe@128 228 * @return a pointer to the new list head
universe@128 229 */
universe@123 230 UcxList *ucx_list_prepend(UcxList *list, void *data);
universe@146 231
universe@128 232 /**
universe@225 233 * Inserts an element at the beginning of the list using a UcxAllocator.
universe@128 234 *
universe@128 235 * See ucx_list_prepend() for details.
universe@128 236 *
universe@128 237 * @param allocator the allocator to use
universe@128 238 * @param list the list where to insert the data or <code>NULL</code> to create
universe@128 239 * a new list
universe@128 240 * @param data the data to insert
universe@128 241 * @return a pointer to the new list head
universe@128 242 * @see ucx_list_prepend()
universe@128 243 */
universe@125 244 UcxList *ucx_list_prepend_a(UcxAllocator *allocator, UcxList *list, void *data);
universe@146 245
universe@128 246 /**
universe@128 247 * Concatenates two lists.
universe@128 248 *
universe@128 249 * Either of the two arguments may be <code>NULL</code>.
universe@128 250 *
universe@128 251 * This function modifies the references to the next/previous element of
universe@128 252 * the last/first element of <code>list1</code>/<code>
universe@128 253 * list2</code>.
universe@128 254 *
universe@128 255 * @param list1 first list
universe@128 256 * @param list2 second list
universe@128 257 * @return if <code>list1</code> is <code>NULL</code>, <code>list2</code> is
universe@128 258 * returned, otherwise <code>list1</code> is returned
universe@128 259 */
universe@123 260 UcxList *ucx_list_concat(UcxList *list1, UcxList *list2);
universe@146 261
universe@124 262 /**
universe@124 263 * Returns the first element of a list.
universe@124 264 *
universe@124 265 * If the argument is the list pointer, it is directly returned. Otherwise
universe@124 266 * this function traverses to the first element of the list and returns the
universe@124 267 * list pointer.
universe@124 268 *
universe@124 269 * @param elem one element of the list
universe@124 270 * @return the first element of the list, the specified element is a member of
universe@124 271 */
universe@124 272 UcxList *ucx_list_first(const UcxList *elem);
universe@146 273
universe@124 274 /**
universe@124 275 * Returns the last element of a list.
universe@124 276 *
universe@124 277 * If the argument has no successor, it is the last element and therefore
universe@124 278 * directly returned. Otherwise this function traverses to the last element of
universe@124 279 * the list and returns it.
universe@124 280 *
universe@124 281 * @param elem one element of the list
universe@124 282 * @return the last element of the list, the specified element is a member of
universe@124 283 */
universe@124 284 UcxList *ucx_list_last(const UcxList *elem);
universe@146 285
universe@128 286 /**
universe@128 287 * Returns the list element at the specified index.
universe@128 288 *
universe@128 289 * @param list the list to retrieve the element from
universe@128 290 * @param index index of the element to return
universe@128 291 * @return the element at the specified index or <code>NULL</code>, if the
universe@128 292 * index is greater than the list size
universe@128 293 */
universe@172 294 UcxList *ucx_list_get(const UcxList *list, size_t index);
universe@146 295
universe@128 296 /**
universe@128 297 * Returns the index of an element.
universe@128 298 *
universe@128 299 * @param list the list where to search for the element
universe@128 300 * @param elem the element to find
universe@128 301 * @return the index of the element or -1 if the list does not contain the
universe@128 302 * element
universe@128 303 */
universe@123 304 ssize_t ucx_list_indexof(const UcxList *list, const UcxList *elem);
universe@146 305
universe@128 306 /**
universe@128 307 * Returns the element count of the list.
universe@128 308 *
universe@128 309 * @param list the list whose elements are counted
universe@128 310 * @return the element count
universe@128 311 */
universe@123 312 size_t ucx_list_size(const UcxList *list);
universe@146 313
universe@128 314 /**
universe@128 315 * Returns the index of an element containing the specified data.
universe@128 316 *
universe@128 317 * This function uses a cmp_func() to compare the data of each list element
universe@128 318 * with the specified data. If no cmp_func is provided, the pointers are
universe@128 319 * compared.
universe@128 320 *
universe@128 321 * If the list contains the data more than once, the index of the first
universe@128 322 * occurrence is returned.
universe@128 323 *
universe@128 324 * @param list the list where to search for the data
universe@128 325 * @param elem the element data
universe@128 326 * @param cmpfnc the compare function
universe@128 327 * @param data additional data for the compare function
universe@128 328 * @return the index of the element containing the specified data or -1 if the
universe@128 329 * data is not found in this list
universe@128 330 */
universe@371 331 ssize_t ucx_list_find(const UcxList *list, void *elem,
universe@371 332 cmp_func cmpfnc, void *data);
universe@146 333
universe@128 334 /**
universe@128 335 * Checks, if a list contains a specific element.
universe@128 336 *
universe@128 337 * An element is found, if ucx_list_find() returns a value greater than -1.
universe@128 338 *
universe@128 339 * @param list the list where to search for the data
universe@128 340 * @param elem the element data
universe@128 341 * @param cmpfnc the compare function
universe@128 342 * @param data additional data for the compare function
universe@128 343 * @return 1, if and only if the list contains the specified element data
universe@128 344 * @see ucx_list_find()
universe@128 345 */
universe@371 346 int ucx_list_contains(const UcxList *list, void *elem,
universe@371 347 cmp_func cmpfnc, void *data);
universe@35 348
universe@128 349 /**
universe@225 350 * Sorts a UcxList with natural merge sort.
universe@128 351 *
universe@128 352 * This function uses O(n) additional temporary memory for merge operations
universe@128 353 * that is automatically freed after each merge.
universe@128 354 *
universe@128 355 * As the head of the list might change, you <b>MUST</b> call this function
universe@128 356 * as follows: <code>mylist = ucx_list_sort(mylist, mycmpfnc, mydata);</code>.
universe@128 357 *
universe@128 358 * @param list the list to sort
universe@128 359 * @param cmpfnc the function that shall be used to compare the element data
universe@128 360 * @param data additional data for the cmp_func()
universe@128 361 * @return the sorted list
universe@128 362 */
universe@123 363 UcxList *ucx_list_sort(UcxList *list, cmp_func cmpfnc, void *data);
universe@123 364
universe@124 365 /**
universe@124 366 * Removes an element from the list.
universe@124 367 *
universe@124 368 * If the first element is removed, the list pointer changes. So it is
universe@124 369 * <i>highly recommended</i> to <i>always</i> update the pointer by calling
universe@124 370 * <code>mylist = ucx_list_remove(mylist, myelem);</code>.
universe@124 371 *
universe@124 372 * @param list the list from which the element shall be removed
universe@172 373 * @param element the element to remove
universe@124 374 * @return returns the updated list pointer or <code>NULL</code>, if the list
universe@124 375 * is now empty
universe@124 376 */
universe@123 377 UcxList *ucx_list_remove(UcxList *list, UcxList *element);
universe@146 378
universe@128 379 /**
universe@225 380 * Removes an element from the list using a UcxAllocator.
universe@128 381 *
universe@128 382 * See ucx_list_remove() for details.
universe@128 383 *
universe@128 384 * @param allocator the allocator to use
universe@128 385 * @param list the list from which the element shall be removed
universe@172 386 * @param element the element to remove
universe@128 387 * @return returns the updated list pointer or <code>NULL</code>, if the list
universe@128 388 * @see ucx_list_remove()
universe@128 389 */
universe@125 390 UcxList *ucx_list_remove_a(UcxAllocator *allocator, UcxList *list,
universe@125 391 UcxList *element);
universe@4 392
universe@371 393 /**
universe@371 394 * Returns the union of two lists.
universe@371 395 *
universe@371 396 * The union is a list of unique elements regarding cmpfnc obtained from
universe@371 397 * both source lists.
universe@371 398 *
universe@371 399 * @param left the left source list
universe@371 400 * @param right the right source list
universe@371 401 * @param cmpfnc a function to compare elements
universe@371 402 * @param cmpdata additional data for the compare function
universe@371 403 * @param cpfnc a function to copy the elements
universe@371 404 * @param cpdata additional data for the copy function
universe@371 405 * @return a new list containing the union
universe@371 406 */
universe@371 407 UcxList* ucx_list_union(const UcxList *left, const UcxList *right,
universe@371 408 cmp_func cmpfnc, void* cmpdata,
universe@371 409 copy_func cpfnc, void* cpdata);
universe@371 410
universe@371 411 /**
universe@371 412 * Returns the union of two lists.
universe@371 413 *
universe@371 414 * The union is a list of unique elements regarding cmpfnc obtained from
universe@371 415 * both source lists.
universe@371 416 *
universe@371 417 * @param allocator allocates the new list elements
universe@371 418 * @param left the left source list
universe@371 419 * @param right the right source list
universe@371 420 * @param cmpfnc a function to compare elements
universe@371 421 * @param cmpdata additional data for the compare function
universe@371 422 * @param cpfnc a function to copy the elements
universe@371 423 * @param cpdata additional data for the copy function
universe@371 424 * @return a new list containing the union
universe@371 425 */
universe@371 426 UcxList* ucx_list_union_a(UcxAllocator *allocator,
universe@371 427 const UcxList *left, const UcxList *right,
universe@371 428 cmp_func cmpfnc, void* cmpdata,
universe@371 429 copy_func cpfnc, void* cpdata);
universe@371 430
universe@371 431 /**
universe@371 432 * Returns the intersection of two lists.
universe@371 433 *
universe@371 434 * The intersection contains all elements of the left list
universe@371 435 * (including duplicates) that can be found in the right list.
universe@371 436 *
universe@371 437 * @param left the left source list
universe@371 438 * @param right the right source list
universe@371 439 * @param cmpfnc a function to compare elements
universe@371 440 * @param cmpdata additional data for the compare function
universe@371 441 * @param cpfnc a function to copy the elements
universe@371 442 * @param cpdata additional data for the copy function
universe@371 443 * @return a new list containing the intersection
universe@371 444 */
universe@371 445 UcxList* ucx_list_intersection(const UcxList *left, const UcxList *right,
universe@371 446 cmp_func cmpfnc, void* cmpdata,
universe@371 447 copy_func cpfnc, void* cpdata);
universe@371 448
universe@371 449 /**
universe@371 450 * Returns the intersection of two lists.
universe@371 451 *
universe@371 452 * The intersection contains all elements of the left list
universe@371 453 * (including duplicates) that can be found in the right list.
universe@371 454 *
universe@371 455 * @param allocator allocates the new list elements
universe@371 456 * @param left the left source list
universe@371 457 * @param right the right source list
universe@371 458 * @param cmpfnc a function to compare elements
universe@371 459 * @param cmpdata additional data for the compare function
universe@371 460 * @param cpfnc a function to copy the elements
universe@371 461 * @param cpdata additional data for the copy function
universe@371 462 * @return a new list containing the intersection
universe@371 463 */
universe@371 464 UcxList* ucx_list_intersection_a(UcxAllocator *allocator,
universe@371 465 const UcxList *left, const UcxList *right,
universe@371 466 cmp_func cmpfnc, void* cmpdata,
universe@371 467 copy_func cpfnc, void* cpdata);
universe@371 468
universe@371 469 /**
universe@371 470 * Returns the difference of two lists.
universe@371 471 *
universe@371 472 * The difference contains all elements of the left list
universe@371 473 * (including duplicates) that are not equal to any element of the right list.
universe@371 474 *
universe@371 475 * @param left the left source list
universe@371 476 * @param right the right source list
universe@371 477 * @param cmpfnc a function to compare elements
universe@371 478 * @param cmpdata additional data for the compare function
universe@371 479 * @param cpfnc a function to copy the elements
universe@371 480 * @param cpdata additional data for the copy function
universe@371 481 * @return a new list containing the difference
universe@371 482 */
universe@371 483 UcxList* ucx_list_difference(const UcxList *left, const UcxList *right,
universe@371 484 cmp_func cmpfnc, void* cmpdata,
universe@371 485 copy_func cpfnc, void* cpdata);
universe@371 486
universe@371 487 /**
universe@371 488 * Returns the difference of two lists.
universe@371 489 *
universe@371 490 * The difference contains all elements of the left list
universe@371 491 * (including duplicates) that are not equal to any element of the right list.
universe@371 492 *
universe@371 493 * @param allocator allocates the new list elements
universe@371 494 * @param left the left source list
universe@371 495 * @param right the right source list
universe@371 496 * @param cmpfnc a function to compare elements
universe@371 497 * @param cmpdata additional data for the compare function
universe@371 498 * @param cpfnc a function to copy the elements
universe@371 499 * @param cpdata additional data for the copy function
universe@371 500 * @return a new list containing the difference
universe@371 501 */
universe@371 502 UcxList* ucx_list_difference_a(UcxAllocator *allocator,
universe@371 503 const UcxList *left, const UcxList *right,
universe@371 504 cmp_func cmpfnc, void* cmpdata,
universe@371 505 copy_func cpfnc, void* cpdata);
universe@371 506
universe@4 507 #ifdef __cplusplus
universe@4 508 }
universe@4 509 #endif
universe@4 510
universe@122 511 #endif /* UCX_LIST_H */
universe@4 512

mercurial