ucx/list.h

Fri, 18 Nov 2016 15:17:04 +0100

author
Mike Becker <universe@uap-core.de>
date
Fri, 18 Nov 2016 15:17:04 +0100
changeset 228
9f385abc72fb
parent 225
a1a068c2c4ef
child 229
9db71925eaa8
permissions
-rw-r--r--

adds ucx_list_append_once() and ucx_list_prepend_once()

universe@103 1 /*
universe@103 2 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS HEADER.
universe@103 3 *
universe@225 4 * Copyright 2016 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@7 39 #include "ucx.h"
universe@125 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@228 279 * Inserts an element at the beginning of the list, if it is not present
universe@228 280 * in the list.
universe@228 281 *
universe@228 282 * @param list the list where to insert the data or <code>NULL</code> to create
universe@228 283 * a new list
universe@228 284 * @param data the data to insert
universe@228 285 * @param cmpfnc the compare function
universe@228 286 * @param cmpdata additional data for the compare function
universe@228 287 * @return a pointer to the new list head
universe@228 288 * @see ucx_list_prepend()
universe@228 289 */
universe@228 290 UcxList *ucx_list_prepend_once(UcxList *list, void *data,
universe@228 291 cmp_func cmpfnc, void *cmpdata);
universe@228 292
universe@228 293 /**
universe@228 294 * Inserts an element at the beginning of the list, if it is not present in
universe@228 295 * the list, using a UcxAllocator.
universe@228 296 *
universe@228 297 * @param allocator the allocator to use
universe@228 298 * @param list the list where to insert the data or <code>NULL</code> to create
universe@228 299 * a new list
universe@228 300 * @param data the data to insert
universe@228 301 * @param cmpfnc the compare function
universe@228 302 * @param cmpdata additional data for the compare function
universe@228 303 * @return a pointer to the new list head
universe@228 304 * @see ucx_list_prepend_a()
universe@228 305 */
universe@228 306 UcxList *ucx_list_prepend_once_a(UcxAllocator *allocator,
universe@228 307 UcxList *list, void *data, cmp_func cmpfnc, void *cmpdata);
universe@228 308
universe@228 309 /**
universe@128 310 * Concatenates two lists.
universe@128 311 *
universe@128 312 * Either of the two arguments may be <code>NULL</code>.
universe@128 313 *
universe@128 314 * This function modifies the references to the next/previous element of
universe@128 315 * the last/first element of <code>list1</code>/<code>
universe@128 316 * list2</code>.
universe@128 317 *
universe@128 318 * @param list1 first list
universe@128 319 * @param list2 second list
universe@128 320 * @return if <code>list1</code> is <code>NULL</code>, <code>list2</code> is
universe@128 321 * returned, otherwise <code>list1</code> is returned
universe@128 322 */
universe@123 323 UcxList *ucx_list_concat(UcxList *list1, UcxList *list2);
universe@146 324
universe@124 325 /**
universe@124 326 * Returns the first element of a list.
universe@124 327 *
universe@124 328 * If the argument is the list pointer, it is directly returned. Otherwise
universe@124 329 * this function traverses to the first element of the list and returns the
universe@124 330 * list pointer.
universe@124 331 *
universe@124 332 * @param elem one element of the list
universe@124 333 * @return the first element of the list, the specified element is a member of
universe@124 334 */
universe@124 335 UcxList *ucx_list_first(const UcxList *elem);
universe@146 336
universe@124 337 /**
universe@124 338 * Returns the last element of a list.
universe@124 339 *
universe@124 340 * If the argument has no successor, it is the last element and therefore
universe@124 341 * directly returned. Otherwise this function traverses to the last element of
universe@124 342 * the list and returns it.
universe@124 343 *
universe@124 344 * @param elem one element of the list
universe@124 345 * @return the last element of the list, the specified element is a member of
universe@124 346 */
universe@124 347 UcxList *ucx_list_last(const UcxList *elem);
universe@146 348
universe@128 349 /**
universe@128 350 * Returns the list element at the specified index.
universe@128 351 *
universe@128 352 * @param list the list to retrieve the element from
universe@128 353 * @param index index of the element to return
universe@128 354 * @return the element at the specified index or <code>NULL</code>, if the
universe@128 355 * index is greater than the list size
universe@128 356 */
universe@172 357 UcxList *ucx_list_get(const UcxList *list, size_t index);
universe@146 358
universe@128 359 /**
universe@128 360 * Returns the index of an element.
universe@128 361 *
universe@128 362 * @param list the list where to search for the element
universe@128 363 * @param elem the element to find
universe@128 364 * @return the index of the element or -1 if the list does not contain the
universe@128 365 * element
universe@128 366 */
universe@123 367 ssize_t ucx_list_indexof(const UcxList *list, const UcxList *elem);
universe@146 368
universe@128 369 /**
universe@128 370 * Returns the element count of the list.
universe@128 371 *
universe@128 372 * @param list the list whose elements are counted
universe@128 373 * @return the element count
universe@128 374 */
universe@123 375 size_t ucx_list_size(const UcxList *list);
universe@146 376
universe@128 377 /**
universe@128 378 * Returns the index of an element containing the specified data.
universe@128 379 *
universe@128 380 * This function uses a cmp_func() to compare the data of each list element
universe@128 381 * with the specified data. If no cmp_func is provided, the pointers are
universe@128 382 * compared.
universe@128 383 *
universe@128 384 * If the list contains the data more than once, the index of the first
universe@128 385 * occurrence is returned.
universe@128 386 *
universe@128 387 * @param list the list where to search for the data
universe@128 388 * @param elem the element data
universe@128 389 * @param cmpfnc the compare function
universe@128 390 * @param data additional data for the compare function
universe@128 391 * @return the index of the element containing the specified data or -1 if the
universe@128 392 * data is not found in this list
universe@128 393 */
universe@124 394 ssize_t ucx_list_find(UcxList *list, void *elem, cmp_func cmpfnc, void *data);
universe@146 395
universe@128 396 /**
universe@128 397 * Checks, if a list contains a specific element.
universe@128 398 *
universe@128 399 * An element is found, if ucx_list_find() returns a value greater than -1.
universe@128 400 *
universe@128 401 * @param list the list where to search for the data
universe@128 402 * @param elem the element data
universe@128 403 * @param cmpfnc the compare function
universe@128 404 * @param data additional data for the compare function
universe@128 405 * @return 1, if and only if the list contains the specified element data
universe@128 406 * @see ucx_list_find()
universe@128 407 */
universe@124 408 int ucx_list_contains(UcxList *list, void *elem, cmp_func cmpfnc, void *data);
universe@35 409
universe@128 410 /**
universe@225 411 * Sorts a UcxList with natural merge sort.
universe@128 412 *
universe@128 413 * This function uses O(n) additional temporary memory for merge operations
universe@128 414 * that is automatically freed after each merge.
universe@128 415 *
universe@128 416 * As the head of the list might change, you <b>MUST</b> call this function
universe@128 417 * as follows: <code>mylist = ucx_list_sort(mylist, mycmpfnc, mydata);</code>.
universe@128 418 *
universe@128 419 * @param list the list to sort
universe@128 420 * @param cmpfnc the function that shall be used to compare the element data
universe@128 421 * @param data additional data for the cmp_func()
universe@128 422 * @return the sorted list
universe@128 423 */
universe@123 424 UcxList *ucx_list_sort(UcxList *list, cmp_func cmpfnc, void *data);
universe@123 425
universe@124 426 /**
universe@124 427 * Removes an element from the list.
universe@124 428 *
universe@124 429 * If the first element is removed, the list pointer changes. So it is
universe@124 430 * <i>highly recommended</i> to <i>always</i> update the pointer by calling
universe@124 431 * <code>mylist = ucx_list_remove(mylist, myelem);</code>.
universe@124 432 *
universe@124 433 * @param list the list from which the element shall be removed
universe@172 434 * @param element the element to remove
universe@124 435 * @return returns the updated list pointer or <code>NULL</code>, if the list
universe@124 436 * is now empty
universe@124 437 */
universe@123 438 UcxList *ucx_list_remove(UcxList *list, UcxList *element);
universe@146 439
universe@128 440 /**
universe@225 441 * Removes an element from the list using a UcxAllocator.
universe@128 442 *
universe@128 443 * See ucx_list_remove() for details.
universe@128 444 *
universe@128 445 * @param allocator the allocator to use
universe@128 446 * @param list the list from which the element shall be removed
universe@172 447 * @param element the element to remove
universe@128 448 * @return returns the updated list pointer or <code>NULL</code>, if the list
universe@128 449 * @see ucx_list_remove()
universe@128 450 */
universe@125 451 UcxList *ucx_list_remove_a(UcxAllocator *allocator, UcxList *list,
universe@125 452 UcxList *element);
universe@4 453
universe@4 454 #ifdef __cplusplus
universe@4 455 }
universe@4 456 #endif
universe@4 457
universe@122 458 #endif /* UCX_LIST_H */
universe@4 459

mercurial