1 /**********************************************************************
2 * File: elst2.c (Formerly elist2.c)
3 * Description: Doubly linked embedded list code not in the include file.
4 * Author: Phil Cheatle
5 * Created: Wed Jan 23 11:04:47 GMT 1991
6 *
7 * (C) Copyright 1991, Hewlett-Packard Ltd.
8 ** Licensed under the Apache License, Version 2.0 (the "License");
9 ** you may not use this file except in compliance with the License.
10 ** You may obtain a copy of the License at
11 ** http://www.apache.org/licenses/LICENSE-2.0
12 ** Unless required by applicable law or agreed to in writing, software
13 ** distributed under the License is distributed on an "AS IS" BASIS,
14 ** WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
15 ** See the License for the specific language governing permissions and
16 ** limitations under the License.
17 *
18 **********************************************************************/
19
20 #include "mfcpch.h" //precompiled headers
21 #include <stdlib.h>
22 #include "host.h"
23 #include "elst2.h"
24
25 /***********************************************************************
26 * MEMBER FUNCTIONS OF CLASS: ELIST2
27 * =================================
28 **********************************************************************/
29
30 /***********************************************************************
31 * ELIST2::internal_clear
32 *
33 * Used by the destructor and the "clear" member function of derived list
34 * classes to destroy all the elements on the list.
35 * The calling function passes a "zapper" function which can be called to
36 * delete each element of the list, regardless of its derived type. This
37 * technique permits a generic clear function to destroy elements of
38 * different derived types correctly, without requiring virtual functions and
39 * the consequential memory overhead.
40 **********************************************************************/
41
42 void
internal_clear(void (* zapper)(ELIST2_LINK *))43 ELIST2::internal_clear ( //destroy all links
44 void (*zapper) (ELIST2_LINK *)) {
45 //ptr to zapper functn
46 ELIST2_LINK *ptr;
47 ELIST2_LINK *next;
48
49 #ifndef NDEBUG
50 if (!this)
51 NULL_OBJECT.error ("ELIST2::internal_clear", ABORT, NULL);
52 #endif
53
54 if (!empty ()) {
55 ptr = last->next; //set to first
56 last->next = NULL; //break circle
57 last = NULL; //set list empty
58 while (ptr) {
59 next = ptr->next;
60 zapper(ptr);
61 ptr = next;
62 }
63 }
64 }
65
66 /***********************************************************************
67 * ELIST2::assign_to_sublist
68 *
69 * The list is set to a sublist of another list. "This" list must be empty
70 * before this function is invoked. The two iterators passed must refer to
71 * the same list, different from "this" one. The sublist removed is the
72 * inclusive list from start_it's current position to end_it's current
73 * position. If this range passes over the end of the source list then the
74 * source list has its end set to the previous element of start_it. The
75 * extracted sublist is unaffected by the end point of the source list, its
76 * end point is always the end_it position.
77 **********************************************************************/
78
assign_to_sublist(ELIST2_ITERATOR * start_it,ELIST2_ITERATOR * end_it)79 void ELIST2::assign_to_sublist( //to this list
80 ELIST2_ITERATOR *start_it, //from list start
81 ELIST2_ITERATOR *end_it) { //from list end
82 const ERRCODE LIST_NOT_EMPTY =
83 "Destination list must be empty before extracting a sublist";
84
85 #ifndef NDEBUG
86 if (!this)
87 NULL_OBJECT.error ("ELIST2::assign_to_sublist", ABORT, NULL);
88 #endif
89
90 if (!empty ())
91 LIST_NOT_EMPTY.error ("ELIST2.assign_to_sublist", ABORT, NULL);
92
93 last = start_it->extract_sublist (end_it);
94 }
95
96
97 /***********************************************************************
98 * ELIST2::length
99 *
100 * Return count of elements on list
101 **********************************************************************/
102
length()103 inT32 ELIST2::length() { //count elements
104 ELIST2_ITERATOR it(this);
105 inT32 count = 0;
106
107 #ifndef NDEBUG
108 if (!this)
109 NULL_OBJECT.error ("ELIST2::length", ABORT, NULL);
110 #endif
111
112 for (it.mark_cycle_pt (); !it.cycled_list (); it.forward ())
113 count++;
114 return count;
115 }
116
117
118 /***********************************************************************
119 * ELIST2::sort
120 *
121 * Sort elements on list
122 * NB If you dont like the const declarations in the comparator, coerce yours:
123 * ( int (*)(const void *, const void *)
124 **********************************************************************/
125
126 void
sort(int comparator (const void *,const void *))127 ELIST2::sort ( //sort elements
128 int comparator ( //comparison routine
129 const void *, const void *)) {
130 ELIST2_ITERATOR it(this);
131 inT32 count;
132 ELIST2_LINK **base; //ptr array to sort
133 ELIST2_LINK **current;
134 inT32 i;
135
136 #ifndef NDEBUG
137 if (!this)
138 NULL_OBJECT.error ("ELIST2::sort", ABORT, NULL);
139 #endif
140
141 /* Allocate an array of pointers, one per list element */
142 count = length ();
143 base = (ELIST2_LINK **) malloc (count * sizeof (ELIST2_LINK *));
144
145 /* Extract all elements, putting the pointers in the array */
146 current = base;
147 for (it.mark_cycle_pt (); !it.cycled_list (); it.forward ()) {
148 *current = it.extract ();
149 current++;
150 }
151
152 /* Sort the pointer array */
153 qsort ((char *) base, count, sizeof (*base), comparator);
154
155 /* Rebuild the list from the sorted pointers */
156 current = base;
157 for (i = 0; i < count; i++) {
158 it.add_to_end (*current);
159 current++;
160 }
161 free(base);
162 }
163
164 // Assuming list has been sorted already, insert new_link to
165 // keep the list sorted according to the same comparison function.
166 // Comparision function is the same as used by sort, i.e. uses double
167 // indirection. Time is O(1) to add to beginning or end.
168 // Time is linear to add pre-sorted items to an empty list.
add_sorted(int comparator (const void *,const void *),ELIST2_LINK * new_link)169 void ELIST2::add_sorted(int comparator(const void*, const void*),
170 ELIST2_LINK* new_link) {
171 // Check for adding at the end.
172 if (last == NULL || comparator(&last, &new_link) < 0) {
173 if (last == NULL) {
174 new_link->next = new_link;
175 new_link->prev = new_link;
176 } else {
177 new_link->next = last->next;
178 new_link->prev = last;
179 last->next = new_link;
180 new_link->next->prev = new_link;
181 }
182 last = new_link;
183 } else {
184 // Need to use an iterator.
185 ELIST2_ITERATOR it(this);
186 for (it.mark_cycle_pt(); !it.cycled_list(); it.forward()) {
187 ELIST2_LINK* link = it.data();
188 if (comparator(&link, &new_link) > 0)
189 break;
190 }
191 if (it.cycled_list())
192 it.add_to_end(new_link);
193 else
194 it.add_before_then_move(new_link);
195 }
196 }
197
198 /***********************************************************************
199 * ELIST2::prep_serialise
200 *
201 * Replace the last member with a count of elements for serialisation.
202 * This is used on list objects which are members of objects being
203 * serialised. The containing object has been shallow copied and this member
204 * function is invoked on the COPY.
205 **********************************************************************/
206
prep_serialise()207 void ELIST2::prep_serialise() {
208 ELIST2_ITERATOR this_it(this);
209 inT32 count = 0;
210
211 #ifndef NDEBUG
212 if (!this)
213 NULL_OBJECT.error ("ELIST2::prep_serialise", ABORT, NULL);
214 #endif
215
216 count = 0;
217 if (!empty ())
218 for (this_it.mark_cycle_pt ();
219 !this_it.cycled_list (); this_it.forward ())
220 count++;
221 last = (ELIST2_LINK *) count;
222 }
223
224
225 /***********************************************************************
226 * ELIST2::internal_dump
227 *
228 * Cause each element on the list to be serialised by walking the list and
229 * calling the element_serialiser function for each element. The
230 * element_serialiser simply does the appropriate coercion of the element to
231 * its real type and then invokes the elements serialise function
232 **********************************************************************/
233
234 void
internal_dump(FILE * f,void element_serialiser (FILE *,ELIST2_LINK *))235 ELIST2::internal_dump (FILE * f,
236 void element_serialiser (FILE *, ELIST2_LINK *)) {
237 ELIST2_ITERATOR this_it(this);
238
239 #ifndef NDEBUG
240 if (!this)
241 NULL_OBJECT.error ("ELIST2::internal_dump", ABORT, NULL);
242 #endif
243
244 if (!empty ())
245 for (this_it.mark_cycle_pt ();
246 !this_it.cycled_list (); this_it.forward ())
247 element_serialiser (f, this_it.data ());
248 }
249
250
251 /***********************************************************************
252 * ELIST2::internal_de_dump
253 *
254 * Cause each element on the list to be de_serialised by extracting the count
255 * of elements on the list, (held in the last member of the dumped version of
256 * the list object), and then de-serialising that number of list elements,
257 * adding each to the end of the reconstructed list.
258 **********************************************************************/
259
260 void
internal_de_dump(FILE * f,ELIST2_LINK * element_de_serialiser (FILE *))261 ELIST2::internal_de_dump (FILE * f,
262 ELIST2_LINK * element_de_serialiser (FILE *)) {
263 inT32 count = (ptrdiff_t) last;
264 ELIST2_ITERATOR this_it;
265 ELIST2_LINK *de_serialised_element;
266
267 #ifndef NDEBUG
268 if (!this)
269 NULL_OBJECT.error ("ELIST2::internal_de_dump", ABORT, NULL);
270 #endif
271
272 last = NULL;
273 this_it.set_to_list (this);
274 for (; count > 0; count--) {
275 de_serialised_element = element_de_serialiser (f);
276 //ignore old ptr
277 de_serialised_element->next = NULL;
278 //ignore old ptr
279 de_serialised_element->prev = NULL;
280 this_it.add_to_end (de_serialised_element);
281 }
282 }
283
284
285 /***********************************************************************
286 * MEMBER FUNCTIONS OF CLASS: ELIST2_ITERATOR
287 * ==========================================
288 **********************************************************************/
289
290 /***********************************************************************
291 * ELIST2_ITERATOR::forward
292 *
293 * Move the iterator to the next element of the list.
294 * REMEMBER: ALL LISTS ARE CIRCULAR.
295 **********************************************************************/
296
forward()297 ELIST2_LINK *ELIST2_ITERATOR::forward() {
298 #ifndef NDEBUG
299 if (!this)
300 NULL_OBJECT.error ("ELIST2_ITERATOR::forward", ABORT, NULL);
301 if (!list)
302 NO_LIST.error ("ELIST2_ITERATOR::forward", ABORT, NULL);
303 #endif
304 if (list->empty ())
305 return NULL;
306
307 if (current) { //not removed so
308 //set previous
309 prev = current;
310 started_cycling = TRUE;
311 // In case next is deleted by another iterator, get it from the current.
312 current = current->next;
313 }
314 else {
315 if (ex_current_was_cycle_pt)
316 cycle_pt = next;
317 current = next;
318 }
319 next = current->next;
320
321 #ifndef NDEBUG
322 if (!current)
323 NULL_DATA.error ("ELIST2_ITERATOR::forward", ABORT, NULL);
324 if (!next)
325 NULL_NEXT.error ("ELIST2_ITERATOR::forward", ABORT,
326 "This is: %p Current is: %p", this, current);
327 #endif
328 return current;
329 }
330
331
332 /***********************************************************************
333 * ELIST2_ITERATOR::backward
334 *
335 * Move the iterator to the previous element of the list.
336 * REMEMBER: ALL LISTS ARE CIRCULAR.
337 **********************************************************************/
338
backward()339 ELIST2_LINK *ELIST2_ITERATOR::backward() {
340 #ifndef NDEBUG
341 if (!this)
342 NULL_OBJECT.error ("ELIST2_ITERATOR::backward", ABORT, NULL);
343 if (!list)
344 NO_LIST.error ("ELIST2_ITERATOR::backward", ABORT, NULL);
345 #endif
346 if (list->empty ())
347 return NULL;
348
349 if (current) { //not removed so
350 //set previous
351 next = current;
352 started_cycling = TRUE;
353 // In case prev is deleted by another iterator, get it from current.
354 current = current->prev;
355 } else {
356 if (ex_current_was_cycle_pt)
357 cycle_pt = prev;
358 current = prev;
359 }
360 prev = current->prev;
361
362 #ifndef NDEBUG
363 if (!current)
364 NULL_DATA.error ("ELIST2_ITERATOR::backward", ABORT, NULL);
365 if (!prev)
366 NULL_PREV.error ("ELIST2_ITERATOR::backward", ABORT,
367 "This is: %p Current is: %p", this, current);
368 #endif
369 return current;
370 }
371
372
373 /***********************************************************************
374 * ELIST2_ITERATOR::data_relative
375 *
376 * Return the data pointer to the element "offset" elements from current.
377 * (This function can't be INLINEd because it contains a loop)
378 **********************************************************************/
379
data_relative(inT8 offset)380 ELIST2_LINK *ELIST2_ITERATOR::data_relative( //get data + or - ..
381 inT8 offset) { //offset from current
382 ELIST2_LINK *ptr;
383
384 #ifndef NDEBUG
385 if (!this)
386 NULL_OBJECT.error ("ELIST2_ITERATOR::data_relative", ABORT, NULL);
387 if (!list)
388 NO_LIST.error ("ELIST2_ITERATOR::data_relative", ABORT, NULL);
389 if (list->empty ())
390 EMPTY_LIST.error ("ELIST2_ITERATOR::data_relative", ABORT, NULL);
391 #endif
392
393 if (offset < 0)
394 for (ptr = current ? current : next; offset++ < 0; ptr = ptr->prev);
395 else
396 for (ptr = current ? current : prev; offset-- > 0; ptr = ptr->next);
397
398 #ifndef NDEBUG
399 if (!ptr)
400 NULL_DATA.error ("ELIST2_ITERATOR::data_relative", ABORT, NULL);
401 #endif
402
403 return ptr;
404 }
405
406
407 /***********************************************************************
408 * ELIST2_ITERATOR::exchange()
409 *
410 * Given another iterator, whose current element is a different element on
411 * the same list list OR an element of another list, exchange the two current
412 * elements. On return, each iterator points to the element which was the
413 * other iterators current on entry.
414 * (This function hasn't been in-lined because its a bit big!)
415 **********************************************************************/
416
exchange(ELIST2_ITERATOR * other_it)417 void ELIST2_ITERATOR::exchange( //positions of 2 links
418 ELIST2_ITERATOR *other_it) { //other iterator
419 const ERRCODE DONT_EXCHANGE_DELETED =
420 "Can't exchange deleted elements of lists";
421
422 ELIST2_LINK *old_current;
423
424 #ifndef NDEBUG
425 if (!this)
426 NULL_OBJECT.error ("ELIST2_ITERATOR::exchange", ABORT, NULL);
427 if (!list)
428 NO_LIST.error ("ELIST2_ITERATOR::exchange", ABORT, NULL);
429 if (!other_it)
430 BAD_PARAMETER.error ("ELIST2_ITERATOR::exchange", ABORT, "other_it NULL");
431 if (!(other_it->list))
432 NO_LIST.error ("ELIST2_ITERATOR::exchange", ABORT, "other_it");
433 #endif
434
435 /* Do nothing if either list is empty or if both iterators reference the same
436 link */
437
438 if ((list->empty ()) ||
439 (other_it->list->empty ()) || (current == other_it->current))
440 return;
441
442 /* Error if either current element is deleted */
443
444 if (!current || !other_it->current)
445 DONT_EXCHANGE_DELETED.error ("ELIST2_ITERATOR.exchange", ABORT, NULL);
446
447 /* Now handle the 4 cases: doubleton list; non-doubleton adjacent elements
448 (other before this); non-doubleton adjacent elements (this before other);
449 non-adjacent elements. */
450
451 //adjacent links
452 if ((next == other_it->current) ||
453 (other_it->next == current)) {
454 //doubleton list
455 if ((next == other_it->current) &&
456 (other_it->next == current)) {
457 prev = next = current;
458 other_it->prev = other_it->next = other_it->current;
459 }
460 else { //non-doubleton with
461 //adjacent links
462 //other before this
463 if (other_it->next == current) {
464 other_it->prev->next = current;
465 other_it->current->next = next;
466 other_it->current->prev = current;
467 current->next = other_it->current;
468 current->prev = other_it->prev;
469 next->prev = other_it->current;
470
471 other_it->next = other_it->current;
472 prev = current;
473 }
474 else { //this before other
475 prev->next = other_it->current;
476 current->next = other_it->next;
477 current->prev = other_it->current;
478 other_it->current->next = current;
479 other_it->current->prev = prev;
480 other_it->next->prev = current;
481
482 next = current;
483 other_it->prev = other_it->current;
484 }
485 }
486 }
487 else { //no overlap
488 prev->next = other_it->current;
489 current->next = other_it->next;
490 current->prev = other_it->prev;
491 next->prev = other_it->current;
492 other_it->prev->next = current;
493 other_it->current->next = next;
494 other_it->current->prev = prev;
495 other_it->next->prev = current;
496 }
497
498 /* update end of list pointer when necessary (remember that the 2 iterators
499 may iterate over different lists!) */
500
501 if (list->last == current)
502 list->last = other_it->current;
503 if (other_it->list->last == other_it->current)
504 other_it->list->last = current;
505
506 if (current == cycle_pt)
507 cycle_pt = other_it->cycle_pt;
508 if (other_it->current == other_it->cycle_pt)
509 other_it->cycle_pt = cycle_pt;
510
511 /* The actual exchange - in all cases*/
512
513 old_current = current;
514 current = other_it->current;
515 other_it->current = old_current;
516 }
517
518
519 /***********************************************************************
520 * ELIST2_ITERATOR::extract_sublist()
521 *
522 * This is a private member, used only by ELIST2::assign_to_sublist.
523 * Given another iterator for the same list, extract the links from THIS to
524 * OTHER inclusive, link them into a new circular list, and return a
525 * pointer to the last element.
526 * (Can't inline this function because it contains a loop)
527 **********************************************************************/
528
extract_sublist(ELIST2_ITERATOR * other_it)529 ELIST2_LINK *ELIST2_ITERATOR::extract_sublist( //from this current
530 ELIST2_ITERATOR *other_it) { //to other current
531 #ifndef NDEBUG
532 const ERRCODE BAD_EXTRACTION_PTS =
533 "Can't extract sublist from points on different lists";
534 const ERRCODE DONT_EXTRACT_DELETED =
535 "Can't extract a sublist marked by deleted points";
536 #endif
537 const ERRCODE BAD_SUBLIST = "Can't find sublist end point in original list";
538
539 ELIST2_ITERATOR temp_it = *this;
540 ELIST2_LINK *end_of_new_list;
541
542 #ifndef NDEBUG
543 if (!this)
544 NULL_OBJECT.error ("ELIST2_ITERATOR::extract_sublist", ABORT, NULL);
545 if (!other_it)
546 BAD_PARAMETER.error ("ELIST2_ITERATOR::extract_sublist", ABORT,
547 "other_it NULL");
548 if (!list)
549 NO_LIST.error ("ELIST2_ITERATOR::extract_sublist", ABORT, NULL);
550 if (list != other_it->list)
551 BAD_EXTRACTION_PTS.error ("ELIST2_ITERATOR.extract_sublist", ABORT, NULL);
552 if (list->empty ())
553 EMPTY_LIST.error ("ELIST2_ITERATOR::extract_sublist", ABORT, NULL);
554
555 if (!current || !other_it->current)
556 DONT_EXTRACT_DELETED.error ("ELIST2_ITERATOR.extract_sublist", ABORT,
557 NULL);
558 #endif
559
560 ex_current_was_last = other_it->ex_current_was_last = FALSE;
561 ex_current_was_cycle_pt = FALSE;
562 other_it->ex_current_was_cycle_pt = FALSE;
563
564 temp_it.mark_cycle_pt ();
565 do { //walk sublist
566 if (temp_it.cycled_list ()) //cant find end pt
567 BAD_SUBLIST.error ("ELIST2_ITERATOR.extract_sublist", ABORT, NULL);
568
569 if (temp_it.at_last ()) {
570 list->last = prev;
571 ex_current_was_last = other_it->ex_current_was_last = TRUE;
572 }
573
574 if (temp_it.current == cycle_pt)
575 ex_current_was_cycle_pt = TRUE;
576
577 if (temp_it.current == other_it->cycle_pt)
578 other_it->ex_current_was_cycle_pt = TRUE;
579
580 temp_it.forward ();
581 }
582 //do INCLUSIVE list
583 while (temp_it.prev != other_it->current);
584
585 //circularise sublist
586 other_it->current->next = current;
587 //circularise sublist
588 current->prev = other_it->current;
589 end_of_new_list = other_it->current;
590
591 //sublist = whole list
592 if (prev == other_it->current) {
593 list->last = NULL;
594 prev = current = next = NULL;
595 other_it->prev = other_it->current = other_it->next = NULL;
596 }
597 else {
598 prev->next = other_it->next;
599 other_it->next->prev = prev;
600
601 current = other_it->current = NULL;
602 next = other_it->next;
603 other_it->prev = prev;
604 }
605 return end_of_new_list;
606 }
607