src/ucx/list.h

Sat, 28 Oct 2017 15:43:51 +0200

author
Mike Becker <universe@uap-core.de>
date
Sat, 28 Oct 2017 15:43:51 +0200
changeset 259
2f5dea574a75
parent 251
fae240d633fc
child 277
f819fe5e20f5
permissions
-rw-r--r--

modules documentation

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@122 60 for (UcxList* elem = 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@125 102 UcxList *ucx_list_clone(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@125 120 UcxList *ucx_list_clone_a(UcxAllocator *allocator, 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@211 176 *
universe@211 177 * @param list the list for which the contents shall be freed
universe@211 178 * @param destr the destructor function (e.g. stdlib free())
universe@211 179 * @see ucx_list_free()
universe@211 180 */
universe@212 181 void ucx_list_free_content(UcxList* list, ucx_destructor destr);
universe@211 182
universe@211 183
universe@211 184 /**
universe@128 185 * Inserts an element at the end of the list.
universe@128 186 *
universe@172 187 * This is generally an O(n) operation, as the end of the list is retrieved with
universe@128 188 * ucx_list_last().
universe@128 189 *
universe@128 190 * @param list the list where to append the data, or <code>NULL</code> to
universe@128 191 * create a new list
universe@128 192 * @param data the data to insert
universe@128 193 * @return <code>list</code>, if it is not <code>NULL</code> or a pointer to
universe@128 194 * the newly created list otherwise
universe@128 195 */
universe@123 196 UcxList *ucx_list_append(UcxList *list, void *data);
universe@146 197
universe@128 198 /**
universe@225 199 * Inserts an element at the end of the list using a UcxAllocator.
universe@128 200 *
universe@128 201 * See ucx_list_append() for details.
universe@128 202 *
universe@128 203 * @param allocator the allocator to use
universe@128 204 * @param list the list where to append the data, or <code>NULL</code> to
universe@128 205 * create a new list
universe@128 206 * @param data the data to insert
universe@128 207 * @return <code>list</code>, if it is not <code>NULL</code> or a pointer to
universe@128 208 * the newly created list otherwise
universe@128 209 * @see ucx_list_append()
universe@128 210 */
universe@125 211 UcxList *ucx_list_append_a(UcxAllocator *allocator, UcxList *list, void *data);
universe@146 212
universe@128 213 /**
universe@228 214 * Inserts an element at the end of the list, if it is not present in the list.
universe@228 215 *
universe@228 216 *
universe@228 217 * @param list the list where to append the data, or <code>NULL</code> to
universe@228 218 * create a new list
universe@228 219 * @param data the data to insert
universe@228 220 * @param cmpfnc the compare function
universe@228 221 * @param cmpdata additional data for the compare function
universe@228 222 * @return <code>list</code>, if it is not <code>NULL</code> or a pointer to
universe@228 223 * the newly created list otherwise
universe@228 224 * @see ucx_list_append()
universe@228 225 */
universe@228 226 UcxList *ucx_list_append_once(UcxList *list, void *data,
universe@228 227 cmp_func cmpfnc, void *cmpdata);
universe@228 228
universe@228 229 /**
universe@228 230 * Inserts an element at the end of the list, if it is not present in the list,
universe@228 231 * using a UcxAllocator.
universe@228 232 *
universe@228 233 * See ucx_list_append() for details.
universe@228 234 *
universe@228 235 * @param allocator the allocator to use
universe@228 236 * @param list the list where to append the data, or <code>NULL</code> to
universe@228 237 * create a new list
universe@228 238 * @param data the data to insert
universe@228 239 * @param cmpfnc the compare function
universe@228 240 * @param cmpdata additional data for the compare function
universe@228 241 * @return <code>list</code>, if it is not <code>NULL</code> or a pointer to
universe@228 242 * the newly created list otherwise
universe@228 243 * @see ucx_list_append_a()
universe@228 244 */
universe@228 245 UcxList *ucx_list_append_once_a(UcxAllocator *allocator,
universe@228 246 UcxList *list, void *data, cmp_func cmpfnc, void *cmpdata);
universe@228 247
universe@228 248 /**
universe@128 249 * Inserts an element at the beginning of the list.
universe@128 250 *
universe@128 251 * You <i>should</i> overwrite the old list pointer by calling
universe@128 252 * <code>mylist = ucx_list_prepend(mylist, mydata);</code>. However, you may
universe@128 253 * also perform successive calls of ucx_list_prepend() on the same list pointer,
universe@128 254 * as this function always searchs for the head of the list with
universe@128 255 * ucx_list_first().
universe@128 256 *
universe@128 257 * @param list the list where to insert the data or <code>NULL</code> to create
universe@128 258 * a new list
universe@128 259 * @param data the data to insert
universe@128 260 * @return a pointer to the new list head
universe@128 261 */
universe@123 262 UcxList *ucx_list_prepend(UcxList *list, void *data);
universe@146 263
universe@128 264 /**
universe@225 265 * Inserts an element at the beginning of the list using a UcxAllocator.
universe@128 266 *
universe@128 267 * See ucx_list_prepend() for details.
universe@128 268 *
universe@128 269 * @param allocator the allocator to use
universe@128 270 * @param list the list where to insert the data or <code>NULL</code> to create
universe@128 271 * a new list
universe@128 272 * @param data the data to insert
universe@128 273 * @return a pointer to the new list head
universe@128 274 * @see ucx_list_prepend()
universe@128 275 */
universe@125 276 UcxList *ucx_list_prepend_a(UcxAllocator *allocator, UcxList *list, void *data);
universe@146 277
universe@128 278 /**
universe@128 279 * Concatenates two lists.
universe@128 280 *
universe@128 281 * Either of the two arguments may be <code>NULL</code>.
universe@128 282 *
universe@128 283 * This function modifies the references to the next/previous element of
universe@128 284 * the last/first element of <code>list1</code>/<code>
universe@128 285 * list2</code>.
universe@128 286 *
universe@128 287 * @param list1 first list
universe@128 288 * @param list2 second list
universe@128 289 * @return if <code>list1</code> is <code>NULL</code>, <code>list2</code> is
universe@128 290 * returned, otherwise <code>list1</code> is returned
universe@128 291 */
universe@123 292 UcxList *ucx_list_concat(UcxList *list1, UcxList *list2);
universe@146 293
universe@124 294 /**
universe@124 295 * Returns the first element of a list.
universe@124 296 *
universe@124 297 * If the argument is the list pointer, it is directly returned. Otherwise
universe@124 298 * this function traverses to the first element of the list and returns the
universe@124 299 * list pointer.
universe@124 300 *
universe@124 301 * @param elem one element of the list
universe@124 302 * @return the first element of the list, the specified element is a member of
universe@124 303 */
universe@124 304 UcxList *ucx_list_first(const UcxList *elem);
universe@146 305
universe@124 306 /**
universe@124 307 * Returns the last element of a list.
universe@124 308 *
universe@124 309 * If the argument has no successor, it is the last element and therefore
universe@124 310 * directly returned. Otherwise this function traverses to the last element of
universe@124 311 * the list and returns it.
universe@124 312 *
universe@124 313 * @param elem one element of the list
universe@124 314 * @return the last element of the list, the specified element is a member of
universe@124 315 */
universe@124 316 UcxList *ucx_list_last(const UcxList *elem);
universe@146 317
universe@128 318 /**
universe@128 319 * Returns the list element at the specified index.
universe@128 320 *
universe@128 321 * @param list the list to retrieve the element from
universe@128 322 * @param index index of the element to return
universe@128 323 * @return the element at the specified index or <code>NULL</code>, if the
universe@128 324 * index is greater than the list size
universe@128 325 */
universe@172 326 UcxList *ucx_list_get(const UcxList *list, size_t index);
universe@146 327
universe@128 328 /**
universe@128 329 * Returns the index of an element.
universe@128 330 *
universe@128 331 * @param list the list where to search for the element
universe@128 332 * @param elem the element to find
universe@128 333 * @return the index of the element or -1 if the list does not contain the
universe@128 334 * element
universe@128 335 */
universe@123 336 ssize_t ucx_list_indexof(const UcxList *list, const UcxList *elem);
universe@146 337
universe@128 338 /**
universe@128 339 * Returns the element count of the list.
universe@128 340 *
universe@128 341 * @param list the list whose elements are counted
universe@128 342 * @return the element count
universe@128 343 */
universe@123 344 size_t ucx_list_size(const UcxList *list);
universe@146 345
universe@128 346 /**
universe@128 347 * Returns the index of an element containing the specified data.
universe@128 348 *
universe@128 349 * This function uses a cmp_func() to compare the data of each list element
universe@128 350 * with the specified data. If no cmp_func is provided, the pointers are
universe@128 351 * compared.
universe@128 352 *
universe@128 353 * If the list contains the data more than once, the index of the first
universe@128 354 * occurrence is returned.
universe@128 355 *
universe@128 356 * @param list the list where to search for the data
universe@128 357 * @param elem the element data
universe@128 358 * @param cmpfnc the compare function
universe@128 359 * @param data additional data for the compare function
universe@128 360 * @return the index of the element containing the specified data or -1 if the
universe@128 361 * data is not found in this list
universe@128 362 */
universe@124 363 ssize_t ucx_list_find(UcxList *list, void *elem, cmp_func cmpfnc, void *data);
universe@146 364
universe@128 365 /**
universe@128 366 * Checks, if a list contains a specific element.
universe@128 367 *
universe@128 368 * An element is found, if ucx_list_find() returns a value greater than -1.
universe@128 369 *
universe@128 370 * @param list the list where to search for the data
universe@128 371 * @param elem the element data
universe@128 372 * @param cmpfnc the compare function
universe@128 373 * @param data additional data for the compare function
universe@128 374 * @return 1, if and only if the list contains the specified element data
universe@128 375 * @see ucx_list_find()
universe@128 376 */
universe@124 377 int ucx_list_contains(UcxList *list, void *elem, cmp_func cmpfnc, void *data);
universe@35 378
universe@128 379 /**
universe@225 380 * Sorts a UcxList with natural merge sort.
universe@128 381 *
universe@128 382 * This function uses O(n) additional temporary memory for merge operations
universe@128 383 * that is automatically freed after each merge.
universe@128 384 *
universe@128 385 * As the head of the list might change, you <b>MUST</b> call this function
universe@128 386 * as follows: <code>mylist = ucx_list_sort(mylist, mycmpfnc, mydata);</code>.
universe@128 387 *
universe@128 388 * @param list the list to sort
universe@128 389 * @param cmpfnc the function that shall be used to compare the element data
universe@128 390 * @param data additional data for the cmp_func()
universe@128 391 * @return the sorted list
universe@128 392 */
universe@123 393 UcxList *ucx_list_sort(UcxList *list, cmp_func cmpfnc, void *data);
universe@123 394
universe@124 395 /**
universe@124 396 * Removes an element from the list.
universe@124 397 *
universe@124 398 * If the first element is removed, the list pointer changes. So it is
universe@124 399 * <i>highly recommended</i> to <i>always</i> update the pointer by calling
universe@124 400 * <code>mylist = ucx_list_remove(mylist, myelem);</code>.
universe@124 401 *
universe@124 402 * @param list the list from which the element shall be removed
universe@172 403 * @param element the element to remove
universe@124 404 * @return returns the updated list pointer or <code>NULL</code>, if the list
universe@124 405 * is now empty
universe@124 406 */
universe@123 407 UcxList *ucx_list_remove(UcxList *list, UcxList *element);
universe@146 408
universe@128 409 /**
universe@225 410 * Removes an element from the list using a UcxAllocator.
universe@128 411 *
universe@128 412 * See ucx_list_remove() for details.
universe@128 413 *
universe@128 414 * @param allocator the allocator to use
universe@128 415 * @param list the list from which the element shall be removed
universe@172 416 * @param element the element to remove
universe@128 417 * @return returns the updated list pointer or <code>NULL</code>, if the list
universe@128 418 * @see ucx_list_remove()
universe@128 419 */
universe@125 420 UcxList *ucx_list_remove_a(UcxAllocator *allocator, UcxList *list,
universe@125 421 UcxList *element);
universe@4 422
universe@4 423 #ifdef __cplusplus
universe@4 424 }
universe@4 425 #endif
universe@4 426
universe@122 427 #endif /* UCX_LIST_H */
universe@4 428

mercurial