Index: tests/list/.expect/dlist-insert-remove-2.txt =================================================================== --- tests/list/.expect/dlist-insert-remove-2.txt (revision 9e2341b4e08bb9d51946f964b2a5490705dcc76e) +++ tests/list/.expect/dlist-insert-remove-2.txt (revision 9e2341b4e08bb9d51946f964b2a5490705dcc76e) @@ -0,0 +1,1093 @@ + +~~~~~~~~~~~~~~~~~ Headed List Tests - insert_first ~~~~~~~~~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 4-i: Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by YOURS before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by MINE after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- +==== fred by YOURS after +3.14 +- +3.14 +- +0.5 +- +0.5 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 5-i: Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by YOURS before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by MINE after +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by YOURS after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 6-i. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== mary after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- + +~~~~~~~~~~~~~~~~~ Headed List Tests - insert_last ~~~~~~~~~~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 4-ii: Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by YOURS before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by MINE after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- +==== fred by YOURS after +3.14 +- +3.14 +- +0.5 +- +0.5 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 5-ii: Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by YOURS before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by MINE after +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by YOURS after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 6-ii. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary before +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== mary after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- + +~~~~~~~~~~~ Element ops on Headed List Tests: after, last ~~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 7-i. Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- +==== fred by YOURS after +3.14 +- +3.14 +- +0.5 +- +0.5 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 8-i. Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE after +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by YOURS after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 9-i. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- + +~~~~~~~~~~ Element ops on Headed List Tests: before, first ~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 7-ii. Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- +==== fred by YOURS after +3.14 +- +3.14 +- +0.5 +- +0.5 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 8-ii. Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE after +3.14 +- +3.14 +- +0.5 +- +0.5 +- +==== fred by YOURS after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 9-ii. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary after +3.14 +0.5 +- +3.14 +- +0.5 +- +0.5 +3.14 +- + +~~~~~~~~~~ Element removal tests on Headed List: at first ~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 13-i. Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +2.7 +3.7 +- +2.7 +- +3.7 +- +3.7 +2.7 +- +==== fred by YOURS after +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +1.7 +- +1.7 +- +- +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 14-i. Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS after +2.7 +3.7 +- +2.7 +- +3.7 +- +3.7 +2.7 +- +==== fred by YOURS after +1.7 +- +1.7 +- +- +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 15-i. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== mary after +2.7 +3.7 +- +2.7 +- +3.7 +- +3.7 +2.7 +- +==== mary after +1.7 +- +1.7 +- +- +- + +~~~~~~~~~~ Element removal tests on Headed List: at last ~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 13-ii. Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +1.7 +2.7 +- +1.7 +- +2.7 +- +2.7 +1.7 +- +==== fred by YOURS after +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +3.7 +- +3.7 +- +- +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 14-ii. Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS after +1.7 +2.7 +- +1.7 +- +2.7 +- +2.7 +1.7 +- +==== fred by YOURS after +3.7 +- +3.7 +- +- +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 15-ii. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== mary after +1.7 +2.7 +- +1.7 +- +2.7 +- +2.7 +1.7 +- +==== mary after +3.7 +- +3.7 +- +- +- + +~~~~~~~~~~ Element removal tests on Headed List: of sole ~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 13-iii. Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +0.7 +- +0.7 +- +0.7 +- +0.7 +- +==== fred by YOURS before +0.7 +- +0.7 +- +0.7 +- +0.7 +- +==== fred by YOURS after +0.7 +- +0.7 +- +0.7 +- +0.7 +- +==== fred by MINE after +0.7 +- +0.7 +- +- +- +==== fred by MINE after +0.7 +- +0.7 +- +0.7 +- +0.7 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 14-iii. Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +0.7 +- +0.7 +- +0.7 +- +0.7 +- +==== fred by YOURS before +0.7 +- +0.7 +- +0.7 +- +0.7 +- +==== fred by YOURS after +0.7 +- +0.7 +- +0.7 +- +0.7 +- +==== fred by YOURS after +0.7 +- +0.7 +- +- +- +==== fred by YOURS after +0.7 +- +0.7 +- +0.7 +- +0.7 +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 15-iii. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary before +0.7 +- +0.7 +- +0.7 +- +0.7 +- +==== mary after +0.7 +- +0.7 +- +- +- +==== mary after +0.7 +- +0.7 +- +0.7 +- +0.7 +- + +~~~~~~~~~~ End removal tests on Headed List: First ~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 16-i. Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +2.7 +3.7 +- +2.7 +- +3.7 +- +3.7 +2.7 +- +==== fred by YOURS after +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +1.7 +- +1.7 +- +- +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 16-ii. Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS after +2.7 +3.7 +- +2.7 +- +3.7 +- +3.7 +2.7 +- +==== fred by YOURS after +1.7 +- +1.7 +- +- +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 16-iii. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== mary after +2.7 +3.7 +- +2.7 +- +3.7 +- +3.7 +2.7 +- +==== mary after +1.7 +- +1.7 +- +- +- + +~~~~~~~~~~ End removal tests on Headed List: Last ~~~~~~~~~~ + +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 17-i. Modifying Freds on MINE +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +1.7 +2.7 +- +1.7 +- +2.7 +- +2.7 +1.7 +- +==== fred by YOURS after +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +3.7 +- +3.7 +- +- +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 17-ii. Modifying Freds on YOURS +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== fred by MINE before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by MINE after +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== fred by YOURS after +1.7 +2.7 +- +1.7 +- +2.7 +- +2.7 +1.7 +- +==== fred by YOURS after +3.7 +- +3.7 +- +- +- +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +Test 17-iii. Modifying Maries +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +==== mary before +1.7 +2.7 +3.7 +- +1.7 +- +3.7 +- +3.7 +2.7 +1.7 +- +==== mary after +1.7 +2.7 +- +1.7 +- +2.7 +- +2.7 +1.7 +- +==== mary after +3.7 +- +3.7 +- +- +- Index: tests/list/dlist-insert-remove-2.cfa =================================================================== --- tests/list/dlist-insert-remove-2.cfa (revision 9e2341b4e08bb9d51946f964b2a5490705dcc76e) +++ tests/list/dlist-insert-remove-2.cfa (revision 9e2341b4e08bb9d51946f964b2a5490705dcc76e) @@ -0,0 +1,1711 @@ +#include +#include +#include + +// Section 1: replaced by above include list.hfa + + +//////////////////////////////////////////////////////////// +// +// Section 2 +// +// Structure definitions +// +// Example of declaration-side user code +// +//////////////////////////////////////////////////////////// + +// a fred belongs to two doubly-linked lists: mine and yours +struct fred { + float adatum; + inline struct mine { inline dlink(fred); }; + inline struct yours { inline dlink(fred); }; +}; +P9_EMBEDDED(fred, fred.mine) +P9_EMBEDDED(fred, fred.yours) +P9_EMBEDDED(fred.mine, dlink(fred)) +P9_EMBEDDED(fred.yours, dlink(fred)) + + +void ?{}(fred &this, float adatum) { + (this.adatum){adatum}; +} + +// a mary belongs to just one doubly-linked list: hers +struct mary { + float anotherdatum; + inline dlink(mary); +}; + +P9_EMBEDDED(mary, dlink(mary)) + +void ?{}(mary &this, float anotherdatum) { + (this.anotherdatum){anotherdatum}; +} + +//////////////////////////////////////////////////////////// +// +// Section 3 +// +// Test helpers to traverse and print lists. +// +// These consume framework-provided accessor functions and +// do not modify their parameter lists. +// +//////////////////////////////////////////////////////////// + +void printMyFredsFwd(diref(fred, fred.mine) f) { + do { + sout | f.adatum; + } while (f`moveNext); +} + +void printMyFredsRev(diref(fred, fred.mine) f) { + do { + sout | f.adatum; + } while (f`movePrev); +} + + +void printMyFreddies(fred &f1, fred &f2, int isBefore) { + if (isBefore) { + sout | "==== fred by MINE before "; + } else { + sout | "==== fred by MINE after "; + } + if (&f1) { + printMyFredsFwd(f1`from); sout | '-'; + printMyFredsRev(f1`from); sout | '-'; + } else { + sout | '-'; sout | '-'; + } + if (&f2) { + printMyFredsFwd(f2`from); sout | '-'; + printMyFredsRev(f2`from); sout | '-'; + } else { + sout | '-'; sout | '-'; + } +} + +void printYourFredsFwd(diref(fred, fred.yours) f) { + do { + sout | f.adatum; + } while (f`moveNext); +} + +void printYourFredsRev(diref(fred, fred.yours) f) { + do { + sout | f.adatum; + } while (f`movePrev); +} + +void printYourFreddies(fred &f1, fred &f2, int isBefore) { + if (isBefore) { + sout | "==== fred by YOURS before "; + } else { + sout | "==== fred by YOURS after "; + } + if (&f1) { + printYourFredsFwd(f1`from); sout | '-'; + printYourFredsRev(f1`from); sout | '-'; + } else { + sout | '-'; sout | '-'; + } + if (&f2) { + printYourFredsFwd(f2`from); sout | '-'; + printYourFredsRev(f2`from); sout | '-'; + } else { + sout | '-'; sout | '-'; + } +} + +void printMariesFwd(mary &m) { + do { + sout | m.anotherdatum; + } while (m`moveNext); +} + +void printMariesRev(mary &m) { + do { + sout | m.anotherdatum; + } while (m`movePrev); +} + +void printMariatheotokos(mary &m1, mary &m2, int isBefore) { + if (isBefore) { + sout | "==== mary before "; + } else { + sout | "==== mary after "; + } + if (&m1) { + printMariesFwd(m1); sout | '-'; + printMariesRev(m1); sout | '-'; + } else { + sout | '-'; sout | '-'; + } + if (&m2) { + printMariesFwd(m2); sout | '-'; + printMariesRev(m2); sout | '-'; + } else { + sout | '-'; sout | '-'; + } +} + +//////////////////////////////////////////////////////////// +// +// Section 4a.i +// +// Test cases of insert_after on headless list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +// All three tests exercise the case of merging two singleton lists into (their respective +// positions in) one common list of two elements. + +// Note that the factoring of sect 4 (vs 3 and 5) keeps section 4 free of strings and IO, +// and so keeps its assembly easy to inspect. + +// Throughout all the 4s, all the print functions called from these tests print: +// - from list position #1 moving forward (a) +// - from list position #1 moving backward (b) +// - from list position #2 moving forward (c) +// - from list position #2 moving backward (d) +// The expected-output comments are in form a;b;c;d where a::=num,num,num +#if 0 +void test__insertafter_singleton_on_singleton__fred_mine () { + fred f1 = {3.14}; + fred f2 = {0.5}; + + printMyFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + printYourFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + + diref(fred, fred.mine) f1_mine = f1`from; + insert_after(f1_mine, f2); + + printMyFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + printYourFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) +} + +void test__insertafter_singleton_on_singleton__fred_yours () { + fred f1 = {3.14}; + fred f2 = {0.5}; + + printMyFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + printYourFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + + diref(fred, fred.yours) f1_yours = f1`from; + insert_after(f1_yours, f2); + + printMyFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) + printYourFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) +} + +void test__insertafter_singleton_on_singleton__mary () { + mary m1 = {3.14}; + mary m2 = {0.5}; + + printMariatheotokos(m1, m2, 1); // 3.14; 3.14; 0.5; 0.5 + + insert_after(m1, m2); + + printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) +} + +//////////////////////////////////////////////////////////// +// +// Section 4a.ii +// +// Test cases of insert_before on headless list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +void test__insertbefore_singleton_on_singleton__fred_mine () { + fred f1 = {3.14}; + fred f2 = {0.5}; + + printMyFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + printYourFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + + diref(fred, fred.mine) f2_mine = f2`from; + insert_before(f2_mine, f1); + + printMyFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + printYourFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) +} + +void test__insertbefore_singleton_on_singleton__fred_yours () { + fred f1 = {3.14}; + fred f2 = {0.5}; + + printMyFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + printYourFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + + diref(fred, fred.yours) f2_yours = f2`from; + insert_before(f2_yours, f1); + + printMyFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) + printYourFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) +} + +void test__insertbefore_singleton_on_singleton__mary () { + mary m1 = {3.14}; + mary m2 = {0.5}; + + printMariatheotokos(m1, m2, 1); // 3.14; 3.14; 0.5; 0.5 + + insert_before(m2, m1); + + printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) +} +#endif +//////////////////////////////////////////////////////////// +// +// Section 4b.i +// +// Test cases of insert_first (necessarily headed list) +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +// All three tests exercise the case of creating an empty container and +// adding two items to it. + +void test__insertfirst_two_on_empty__fred_mine() { + + fred f1 = {3.14}; + fred f2 = {0.5}; + + dlist(fred, fred.mine) lf; + + verify(validate(lf)); + + printMyFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + printYourFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + + insert_first(lf, f2); + insert_first(lf, f1); + + verify(validate(lf)); + + printMyFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + printYourFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) +} + +void test__insertfirst_two_on_empty__fred_yours() { + + fred f1 = {3.14}; + fred f2 = {0.5}; + + dlist(fred, fred.yours) lf; + + verify(validate(lf)); + + printMyFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + printYourFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + + insert_first(lf, f2); + insert_first(lf, f1); + + verify(validate(lf)); + + printMyFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) + printYourFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) +} + +void test__insertfirst_two_on_empty__mary() { + + mary m1 = {3.14}; + mary m2 = {0.5}; + + dlist(mary, mary) lm; + + verify(validate(lm)); + printMariatheotokos(m1, m2, 1); // 3.14; 3.14; 0.5; 0.5 + + insert_first(lm, m2); + insert_first(lm, m1); + + printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + verify(validate(lm)); +} + +//////////////////////////////////////////////////////////// +// +// Section 4b.ii +// +// Test cases of insert_last (necessarily headed list) +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +void test__insertlast_two_on_empty__fred_mine() { + + fred f1 = {3.14}; + fred f2 = {0.5}; + + dlist(fred, fred.mine) lf; + + verify(validate(lf)); + + printMyFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + printYourFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + + insert_last(lf, f1); + insert_last(lf, f2); + + verify(validate(lf)); + + printMyFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + printYourFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) +} + +void test__insertlast_two_on_empty__fred_yours() { + + fred f1 = {3.14}; + fred f2 = {0.5}; + + dlist(fred, fred.yours) lf; + + verify(validate(lf)); + + printMyFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + printYourFreddies(f1, f2, 1); // 3.14; 3.14; 0.5; 0.5 + + insert_last(lf, f1); + insert_last(lf, f2); + + verify(validate(lf)); + + printMyFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) + printYourFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) +} + +void test__insertlast_two_on_empty__mary() { + + mary m1 = {3.14}; + mary m2 = {0.5}; + + dlist(mary, mary) lm; + + verify(validate(lm)); + printMariatheotokos(m1, m2, 1); // 3.14; 3.14; 0.5; 0.5 + + insert_last(lm, m1); + insert_last(lm, m2); + + verify(validate(lm)); + printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) +} + +//////////////////////////////////////////////////////////// +// +// Section 4c.i +// +// Test cases of insert_after on headed list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +void test__insertafter_after_last__fred_mine() { + + fred f1 = {3.14}; + fred f2 = {0.5}; + + dlist(fred, fred.mine) lf; + + assert(! lf`first); + assert(! lf`last); + + insert_first(lf, f1); + + assert(DUMB_COMPARE(lf`first, & f1)); + assert(DUMB_COMPARE(lf`last , & f1)); + + verify(validate(lf)); + + diref(fred, fred.mine) f1_mine = f1`from; + insert_after(f1_mine, f2); + + verify(validate(lf)); + + printMyFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + printYourFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) + + assert(DUMB_COMPARE(lf`first, & f1)); + assert(DUMB_COMPARE(lf`last , & f2)); +} + +void test__insertafter_after_last__fred_yours() { + + fred f1 = {3.14}; + fred f2 = {0.5}; + + dlist(fred, fred.yours) lf; + + assert(! lf`first); + assert(! lf`last); + + insert_first(lf, f1); + + assert(DUMB_COMPARE(lf`first, & f1)); + assert(DUMB_COMPARE(lf`last , & f1)); + + verify(validate(lf)); + + diref(fred, fred.yours) f1_yours = f1`from; + insert_after(f1_yours, f2); + + verify(validate(lf)); + + printMyFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) + printYourFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + + assert(DUMB_COMPARE(lf`first, & f1)); + assert(DUMB_COMPARE(lf`last , & f2)); +} + +void test__insertafter_after_last__mary() { + + mary m1 = {3.14}; + mary m2 = {0.5}; + + dlist(mary, mary) lm; + + assert(! lm`first); + assert(! lm`last); + + insert_first(lm, m1); + + assert(DUMB_COMPARE(lm`first, & m1)); + assert(DUMB_COMPARE(lm`last , & m1)); + + verify(validate(lm)); + + insert_after(m1, m2); + + verify(validate(lm)); + + printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + + assert(DUMB_COMPARE(lm`first, & m1)); + assert(DUMB_COMPARE(lm`last , & m2)); +} + +//////////////////////////////////////////////////////////// +// +// Section 4c.ii +// +// Test cases of insert_before on headed list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +void test__insertbefore_before_first__fred_mine() { + + fred f1 = {3.14}; + fred f2 = {0.5}; + + dlist(fred, fred.mine) lf; + + assert(! lf`first); + assert(! lf`last); + + insert_last(lf, f2); + + assert(DUMB_COMPARE(lf`first, & f2)); + assert(DUMB_COMPARE(lf`last , & f2)); + + verify(validate(lf)); + + diref(fred, fred.mine) f2_mine = f2`from; + insert_before(f2_mine, f1); + + verify(validate(lf)); + + printMyFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + printYourFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) + + assert(DUMB_COMPARE(lf`first, & f1)); + assert(DUMB_COMPARE(lf`last , & f2)); +} + +void test__insertbefore_before_first__fred_yours() { + + fred f1 = {3.14}; + fred f2 = {0.5}; + + dlist(fred, fred.yours) lf; + + assert(! lf`first); + assert(! lf`last); + + insert_last(lf, f2); + + assert(DUMB_COMPARE(lf`first, & f2)); + assert(DUMB_COMPARE(lf`last , & f2)); + + verify(validate(lf)); + + diref(fred, fred.yours) f2_yours = f2`from; + insert_before(f2_yours, f1); + + verify(validate(lf)); + + printMyFreddies(f1, f2, 0); // 3.14; 3.14; 0.5; 0.5 (unmodified) + printYourFreddies(f1, f2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + + assert(DUMB_COMPARE(lf`first, & f1)); + assert(DUMB_COMPARE(lf`last , & f2)); +} + +void test__insertbefore_before_first__mary() { + + mary m1 = {3.14}; + mary m2 = {0.5}; + + dlist(mary, mary) lm; + + assert(! lm`first); + assert(! lm`last); + + insert_last(lm, m2); + + assert(DUMB_COMPARE(lm`first, & m2)); + assert(DUMB_COMPARE(lm`last , & m2)); + + verify(validate(lm)); + + insert_before(m2, m1); + + verify(validate(lm)); + + printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified) + + assert(DUMB_COMPARE(lm`first, & m1)); + assert(DUMB_COMPARE(lm`last , & m2)); +} + +#if 0 + +//////////////////////////////////////////////////////////// +// +// Section 4d.i +// +// Test cases of remove, from middle of headless list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +// These tests, in the fred cases, set up the my/your lists initially identical, +// act on one list, and expect the other unaffected. + +void test__remove_mid__fred_mine() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + insert_after(f1`in_mine, f2); + insert_after(f2`in_mine, f3); + + insert_after(f1`in_yours, f2); + insert_after(f2`in_yours, f3); + + printMyFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(f2`in_mine); + + printMyFreddies(f1, f3, 0); // 1.7, 3.7; 1.7; 3.7; 3.7, 1.7 (modified) + printYourFreddies(f1, f3, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + + // observe f2 is now solo in mine; in yours, it was just traversed + printMyFreddies(f2, *0p, 0); // 2.7; 2.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(f2.$links_mine.next.is_terminator == false); + assert(f2.$links_mine.prev.is_terminator == false); +} + +void test__remove_mid__fred_yours() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + insert_after(f1`in_mine, f2); + insert_after(f2`in_mine, f3); + + insert_after(f1`in_yours, f2); + insert_after(f2`in_yours, f3); + + printMyFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(f2`in_yours); + + printMyFreddies(f1, f3, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + printYourFreddies(f1, f3, 0); // 1.7, 3.7; 1.7; 3.7; 3.7, 1.7 (modified) + + // observe f2 is now solo in yours; in mine, it was just traversed + printYourFreddies(f2, *0p, 0); // 2.7; 2.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(f2.$links_yours.next.is_terminator == false); + assert(f2.$links_yours.prev.is_terminator == false); +} + +void test__remove_mid__mary() { + + mary m1 = {1.7}; + mary m2 = {2.7}; + mary m3 = {3.7}; + + insert_after(m1, m2); + insert_after(m2, m3); + + printMariatheotokos(m1, m3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(m2); + + printMariatheotokos(m1, m3, 0); // 1.7, 3.7; 1.7; 3.7; 3.7, 1.7 (modified) + + // observe m2 is now solo + printMariatheotokos(m2, *0p, 0); // 2.7; 2.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(m2.$links.next.is_terminator == false); + assert(m2.$links.prev.is_terminator == false); +} + +//////////////////////////////////////////////////////////// +// +// Section 4d.ii +// +// Test cases of remove, from first position of headless list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +// TODO: validate headless semantic: remove of a neighbourless element is valid and no-op + +void test__remove_at_first__fred_mine() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + insert_after(f1`in_mine, f2); + insert_after(f2`in_mine, f3); + + insert_after(f1`in_yours, f2); + insert_after(f2`in_yours, f3); + + printMyFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(f1`in_mine); + + printMyFreddies(f2, f3, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + printYourFreddies(f1, f3, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + + // observe f1 is now solo in mine; in yours, it was just traversed + printMyFreddies(f1, *0p, 0); // 1.7; 1.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(f1.$links_mine.next.is_terminator == false); + assert(f1.$links_mine.prev.is_terminator == false); +} + +void test__remove_at_first__fred_yours() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + insert_after(f1`in_mine, f2); + insert_after(f2`in_mine, f3); + + insert_after(f1`in_yours, f2); + insert_after(f2`in_yours, f3); + + printMyFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(f1`in_yours); + + printMyFreddies(f1, f3, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + printYourFreddies(f2, f3, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + + // observe f1 is now solo in yours; in mine, it was just traversed + printYourFreddies(f1, *0p, 0); // 1.7; 1.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(f1.$links_yours.next.is_terminator == false); + assert(f1.$links_yours.prev.is_terminator == false); +} + +void test__remove_at_first__mary() { + + mary m1 = {1.7}; + mary m2 = {2.7}; + mary m3 = {3.7}; + + insert_after(m1, m2); + insert_after(m2, m3); + + printMariatheotokos(m1, m3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(m1); + + printMariatheotokos(m2, m3, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + + // observe m2 is now solo + printMariatheotokos(m1, *0p, 0); // 1.7; 1.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(m1.$links.next.is_terminator == false); + assert(m1.$links.prev.is_terminator == false); +} + +//////////////////////////////////////////////////////////// +// +// Section 4d.iii +// +// Test cases of remove, from last position of headless list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +void test__remove_at_last__fred_mine() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + insert_after(f1`in_mine, f2); + insert_after(f2`in_mine, f3); + + insert_after(f1`in_yours, f2); + insert_after(f2`in_yours, f3); + + printMyFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(f3`in_mine); + + printMyFreddies(f1, f2, 0); // 1.7, 2.7; 1.7; 2.7; 2.7, 1.7 (modified) + printYourFreddies(f1, f3, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + + // observe f3 is now solo in mine; in yours, it was just traversed + printMyFreddies(f3, *0p, 0); // 3.7; 3.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(f3.$links_mine.next.is_terminator == false); + assert(f3.$links_mine.prev.is_terminator == false); +} + +void test__remove_at_last__fred_yours() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + insert_after(f1`in_mine, f2); + insert_after(f2`in_mine, f3); + + insert_after(f1`in_yours, f2); + insert_after(f2`in_yours, f3); + + printMyFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(f1, f3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(f3`in_yours); + + printMyFreddies(f1, f3, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + printYourFreddies(f1, f2, 0); // 1.7, 2.7; 1.7; 2.7; 2.7, 1.7 (modified) + + // observe f3 is now solo in yours; in mine, it was just traversed + printYourFreddies(f3, *0p, 0); // 3.7; 3.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(f3.$links_yours.next.is_terminator == false); + assert(f3.$links_yours.prev.is_terminator == false); +} + +void test__remove_at_last__mary() { + + mary m1 = {1.7}; + mary m2 = {2.7}; + mary m3 = {3.7}; + + insert_after(m1, m2); + insert_after(m2, m3); + + printMariatheotokos(m1, m3, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + remove(m3); + + printMariatheotokos(m1, m2, 0); // 1.7, 2.7; 1.7; 2.7; 2.7, 1.7 (modified) + + // observe m3 is now solo + printMariatheotokos(m3, *0p, 0); // 3.7; 3.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + assert(m1.$links.next.is_terminator == false); + assert(m1.$links.prev.is_terminator == false); +} + +//////////////////////////////////////////////////////////// +// +// Section 4e.i +// +// Test cases of remove, from first position of headed list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// +#endif +void test__remove_at_head__fred_mine() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f1); + insert_last(flm, f2); + insert_last(flm, f3); + + dlist(fred, fred.yours) fly; + insert_last(fly, f1); + insert_last(fly, f2); + insert_last(fly, f3); + + printMyFreddies(flm`first, flm`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(fly`first, fly`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(fly)); + verify(validate(flm)); + + diref(fred, fred.mine) f1_mine = f1`from; + remove(f1_mine); + + verify(validate(fly)); + verify(validate(flm)); + + printMyFreddies(flm`first, flm`last, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + printYourFreddies(fly`first, fly`last, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + + // observe f1 is now solo in mine; in yours, it was just traversed + printMyFreddies(f1, *0p, 0); // 1.7; 1.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(f1.$links_mine.next.is_terminator == false); + // assert(f1.$links_mine.prev.is_terminator == false); +} + +void test__remove_at_head__fred_yours() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f1); + insert_last(flm, f2); + insert_last(flm, f3); + + dlist(fred, fred.yours) fly; + insert_last(fly, f1); + insert_last(fly, f2); + insert_last(fly, f3); + + printMyFreddies(flm`first, flm`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(fly`first, fly`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(fly)); + verify(validate(flm)); + + diref(fred, fred.yours) f1_yours = f1`from; + remove(f1_yours); + + verify(validate(fly)); + verify(validate(flm)); + + printMyFreddies(flm`first, flm`last, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + printYourFreddies(fly`first, fly`last, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + + // observe f1 is now solo in yours; in mine, it was just traversed + printYourFreddies(f1, *0p, 0); // 1.7; 1.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(f1.$links_yours.next.is_terminator == false); + // assert(f1.$links_yours.prev.is_terminator == false); +} + +void test__remove_at_head__mary() { + + mary m1 = {1.7}; + mary m2 = {2.7}; + mary m3 = {3.7}; + + dlist(mary, mary) ml; + insert_last(ml, m1); + insert_last(ml, m2); + insert_last(ml, m3); + + printMariatheotokos(ml`first, ml`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(ml)); + + remove(m1); + + verify(validate(ml)); + + printMariatheotokos(ml`first, ml`last, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + + // observe m1 is now solo + printMariatheotokos(m1, *0p, 0); // 1.7; 1.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(m1.$links.next.is_terminator == false); + // assert(m1.$links.prev.is_terminator == false); +} + +//////////////////////////////////////////////////////////// +// +// Section 4e.ii +// +// Test cases of remove, from last position of headed list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +void test__remove_at_tail__fred_mine() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f1); + insert_last(flm, f2); + insert_last(flm, f3); + + dlist(fred, fred.yours) fly; + insert_last(fly, f1); + insert_last(fly, f2); + insert_last(fly, f3); + + printMyFreddies(flm`first, flm`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(fly`first, fly`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(fly)); + verify(validate(flm)); + + diref(fred, fred.mine) f3_mine = f3`from; + remove(f3_mine); + + verify(validate(fly)); + verify(validate(flm)); + + printMyFreddies(flm`first, flm`last, 0); // 1.7, 2.7; 1.7; 2.7; 2.7, 1.7 (modified) + printYourFreddies(fly`first, fly`last, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + + // observe f3 is now solo in mine; in yours, it was just traversed + printMyFreddies(f3, *0p, 0); // 3.7; 3.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(f3.$links_mine.next.is_terminator == false); + // assert(f3.$links_mine.prev.is_terminator == false); +} + +void test__remove_at_tail__fred_yours() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f1); + insert_last(flm, f2); + insert_last(flm, f3); + + dlist(fred, fred.yours) fly; + insert_last(fly, f1); + insert_last(fly, f2); + insert_last(fly, f3); + + printMyFreddies(flm`first, flm`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(fly`first, fly`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(fly)); + verify(validate(flm)); + + diref(fred, fred.yours) f3_yours = f3`from; + remove(f3_yours); + + verify(validate(fly)); + verify(validate(flm)); + + printMyFreddies(flm`first, flm`last, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + printYourFreddies(fly`first, fly`last, 0); // 1.7, 2.7; 1.7; 2.7; 2.7, 1.7 (modified) + + // observe f3 is now solo in yours; in mine, it was just traversed + printYourFreddies(f3, *0p, 0); // 3.7; 3.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(f3.$links_yours.next.is_terminator == false); + // assert(f3.$links_yours.prev.is_terminator == false); +} + +void test__remove_at_tail__mary() { + + mary m1 = {1.7}; + mary m2 = {2.7}; + mary m3 = {3.7}; + + dlist(mary, mary) ml; + insert_last(ml, m1); + insert_last(ml, m2); + insert_last(ml, m3); + + printMariatheotokos(ml`first, ml`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(ml)); + + remove(m3); + + verify(validate(ml)); + + printMariatheotokos(ml`first, ml`last, 0); // 1.7, 2.7; 1.7; 2.7; 2.7, 1.7 (modified) + + // observe m3 is now solo + printMariatheotokos(m3, *0p, 0); //3.7; 3.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(m3.$links.next.is_terminator == false); + // assert(m3.$links.prev.is_terminator == false); +} + +//////////////////////////////////////////////////////////// +// +// Section 4e.iii +// +// Test cases of remove, of sole element of headed list +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +void test__remove_of_sole__fred_mine() { + + fred f = {0.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f); + + dlist(fred, fred.yours) fly; + insert_last(fly, f); + + printMyFreddies(flm`first, flm`last, 1); // 0.7; 0.7; 0.7; 0.7 + printYourFreddies(fly`first, fly`last, 1); // 0.7; 0.7; 0.7; 0.7 + + verify(validate(fly)); + verify(validate(flm)); + + diref(fred, fred.mine) f_mine = f`from; + remove(f_mine); + + verify(validate(fly)); + verify(validate(flm)); + + assert(! flm`first); + assert(! flm`last); + + printYourFreddies(fly`first, fly`last, 0); // 0.7; 0.7; 0.7; 0.7 (unmodified) + + // observe f is solo in mine (now unlisted); in yours, it was just traversed + printMyFreddies(f, *0p, 0); // 0.7; 0.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(f.$links_mine.next.is_terminator == false); + // assert(f.$links_mine.prev.is_terminator == false); + + insert_last(flm, f); + verify(validate(fly)); + verify(validate(flm)); + printMyFreddies(flm`first, flm`last, 0); // 0.7; 0.7; 0.7; 0.7 +} + +void test__remove_of_sole__fred_yours() { + + fred f = {0.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f); + + dlist(fred, fred.yours) fly; + insert_last(fly, f); + + printMyFreddies(flm`first, flm`last, 1); // 0.7; 0.7; 0.7; 0.7 + printYourFreddies(fly`first, fly`last, 1); // 0.7; 0.7; 0.7; 0.7 + + verify(validate(fly)); + verify(validate(flm)); + + diref(fred, fred.yours) f_yours = f`from; + remove(f_yours); + + verify(validate(fly)); + verify(validate(flm)); + + assert(! fly`first); + assert(! fly`last); + + printYourFreddies(flm`first, flm`last, 0); // 0.7; 0.7; 0.7; 0.7 (unmodified) + + // observe f is solo in yours (now unlisted); in mine, it was just traversed + printYourFreddies(f, *0p, 0); // 0.7; 0.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(f.$links_yours.next.is_terminator == false); + // assert(f.$links_yours.prev.is_terminator == false); + + insert_last(fly, f); + verify(validate(fly)); + verify(validate(flm)); + printYourFreddies(fly`first, fly`last, 0); // 0.7; 0.7; 0.7; 0.7 +} + +void test__remove_of_sole__mary() { + + mary m = {0.7}; + + dlist(mary, mary) ml; + insert_last(ml, m); + + printMariatheotokos(ml`first, ml`last, 1); // 0.7; 0.7; 0.7; 0.7 + + verify(validate(ml)); + + remove(m); + + verify(validate(ml)); + + assert(! ml`first); + assert(! ml`last); + + // observe f is solo in mine (now unlisted); in yours, it was just traversed + printMariatheotokos(m, *0p, 0); // 0.7; 0.7; ; + + // TODO: decide on appropriate ovservable outcome (is_listed?) and its itended semantics + // assert(m.$links.next.is_terminator == false); + // assert(m.$links.prev.is_terminator == false); + + insert_last(ml, m); + verify(validate(ml)); + printMariatheotokos(ml`first, ml`last, 0); // 0.7; 0.7; 0.7; 0.7 +} + +//////////////////////////////////////////////////////////// +// +// Section 4f +// +// Test cases of pop_first, pop_last +// +// Example of call-side user code +// +//////////////////////////////////////////////////////////// + +// These cases assume element removal at first-last is correct + +void test__pop_first__fred_mine() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f1); + insert_last(flm, f2); + insert_last(flm, f3); + + dlist(fred, fred.yours) fly; + insert_last(fly, f1); + insert_last(fly, f2); + insert_last(fly, f3); + + printMyFreddies(flm`first, flm`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(fly`first, fly`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(fly)); + verify(validate(flm)); + + fred & popped = remove(flm`first); + + verify(validate(fly)); + verify(validate(flm)); + + printMyFreddies(flm`first, flm`last, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + printYourFreddies(fly`first, fly`last, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + + // observe f1 is now solo in mine; in yours, it was just traversed + printMyFreddies(f1, *0p, 0); // 1.7; 1.7; ; + + assert( &popped == & f1 ); +} + +void test__pop_first__fred_yours() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f1); + insert_last(flm, f2); + insert_last(flm, f3); + + dlist(fred, fred.yours) fly; + insert_last(fly, f1); + insert_last(fly, f2); + insert_last(fly, f3); + + printMyFreddies(flm`first, flm`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(fly`first, fly`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(fly)); + verify(validate(flm)); + + fred & popped = remove(fly`first); + + verify(validate(fly)); + verify(validate(flm)); + + printMyFreddies(flm`first, flm`last, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + printYourFreddies(fly`first, fly`last, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + + // observe f1 is now solo in yours; in mine, it was just traversed + printYourFreddies(f1, *0p, 0); // 1.7; 1.7; ; + + assert( &popped == &f1 ); +} + +void test__pop_first__maries() { + + mary m1 = {1.7}; + mary m2 = {2.7}; + mary m3 = {3.7}; + + dlist(mary, mary) ml; + insert_last(ml, m1); + insert_last(ml, m2); + insert_last(ml, m3); + + printMariatheotokos(ml`first, ml`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(ml)); + + mary & popped = remove(ml`first); + + verify(validate(ml)); + + printMariatheotokos(ml`first, ml`last, 0); // 2.7, 3.7; 2.7; 3.7; 3.7, 2.7 (modified) + + // observe m1 is now solo + printMariatheotokos(m1, *0p, 0); // 1.7; 1.7; ; + + assert( &popped == &m1 ); +} + +void test__pop_last__fred_mine() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f1); + insert_last(flm, f2); + insert_last(flm, f3); + + dlist(fred, fred.yours) fly; + insert_last(fly, f1); + insert_last(fly, f2); + insert_last(fly, f3); + + printMyFreddies(flm`first, flm`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(fly`first, fly`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(fly)); + verify(validate(flm)); + + fred & popped = remove(flm`last); + + verify(validate(fly)); + verify(validate(flm)); + + printMyFreddies(flm`first, flm`last, 0); // 1.7, 2.7; 1.7; 2.7; 2.7, 1.7 (modified) + printYourFreddies(fly`first, fly`last, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + + // observe f3 is now solo in mine; in yours, it was just traversed + printMyFreddies(f3, *0p, 0); // 3.7; 3.7; ; + + assert( &popped == & f3 ); +} + +void test__pop_last__fred_yours() { + + fred f1 = {1.7}; + fred f2 = {2.7}; + fred f3 = {3.7}; + + dlist(fred, fred.mine) flm; + insert_last(flm, f1); + insert_last(flm, f2); + insert_last(flm, f3); + + dlist(fred, fred.yours) fly; + insert_last(fly, f1); + insert_last(fly, f2); + insert_last(fly, f3); + + printMyFreddies(flm`first, flm`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + printYourFreddies(fly`first, fly`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(fly)); + verify(validate(flm)); + + fred & popped = remove(fly`last); + + verify(validate(fly)); + verify(validate(flm)); + + printMyFreddies(flm`first, flm`last, 0); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 (unmodified) + printYourFreddies(fly`first, fly`last, 0); // 1.7, 2.7; 1.7; 2.7; 2.7, 1.7 (modified) + + // observe f3 is now solo in yours; in mine, it was just traversed + printYourFreddies(f3, *0p, 0); // 3.7; 3.7; ; + + assert( &popped == & f3 ); +} + +void test__pop_last__maries() { + + mary m1 = {1.7}; + mary m2 = {2.7}; + mary m3 = {3.7}; + + dlist(mary, mary) ml; + insert_last(ml, m1); + insert_last(ml, m2); + insert_last(ml, m3); + + printMariatheotokos(ml`first, ml`last, 1); // 1.7, 2.7, 3.7; 1.7; 3.7; 3.7, 2.7, 1.7 + + verify(validate(ml)); + + mary & popped = remove(ml`last); + + verify(validate(ml)); + + printMariatheotokos(ml`first, ml`last, 0); // 1.7, 1.7; 1.7; 2.7; 2.7, 1.7 (modified) + + // observe m1 is now solo + printMariatheotokos(m3, *0p, 0); // 3.7; 3.7; ; + + assert( &popped == &m3 ); +} + +//////////////////////////////////////////////////////////// +// +// Section 5 +// +// Simple driver with the inter-scario printing +// +//////////////////////////////////////////////////////////// + +int main() { +#if 0 + sout | "~~~~~~~~~~~~~~~~~ Headless List Tests - insert_after ~~~~~~~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 1-i: Modifying Freds on MINE "; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertafter_singleton_on_singleton__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 2-i. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertafter_singleton_on_singleton__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 3-i. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertafter_singleton_on_singleton__mary(); + + sout | ""; + sout | "~~~~~~~~~~~~~~~~ Headless List Tests - insert_before ~~~~~~~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 1-ii: Modifying Freds on MINE "; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertbefore_singleton_on_singleton__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 2-ii. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertbefore_singleton_on_singleton__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 3-ii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertbefore_singleton_on_singleton__mary(); +#endif + sout | ""; + sout | "~~~~~~~~~~~~~~~~~ Headed List Tests - insert_first ~~~~~~~~~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 4-i: Modifying Freds on MINE "; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertfirst_two_on_empty__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 5-i: Modifying Freds on YOURS "; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertfirst_two_on_empty__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 6-i. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertfirst_two_on_empty__mary(); + + sout | ""; + sout | "~~~~~~~~~~~~~~~~~ Headed List Tests - insert_last ~~~~~~~~~~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 4-ii: Modifying Freds on MINE "; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertlast_two_on_empty__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 5-ii: Modifying Freds on YOURS "; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertlast_two_on_empty__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 6-ii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertlast_two_on_empty__mary(); + + sout | ""; + sout | "~~~~~~~~~~~ Element ops on Headed List Tests: after, last ~~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 7-i. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertafter_after_last__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 8-i. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertafter_after_last__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 9-i. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertafter_after_last__mary(); + + sout | ""; + sout | "~~~~~~~~~~ Element ops on Headed List Tests: before, first ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 7-ii. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertbefore_before_first__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 8-ii. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertbefore_before_first__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 9-ii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__insertbefore_before_first__mary(); +#if 0 + + sout | ""; + sout | "~~~~~~~~~~ Element removal tests on Headless List: mid ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 10-i. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_mid__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 11-i. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_mid__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 12-i. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_mid__mary(); + + sout | ""; + sout | "~~~~~~~~~~ Element removal tests on Headless List: at first ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 10-ii. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_first__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 11-ii. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_first__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 12-ii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_first__mary(); + + sout | ""; + sout | "~~~~~~~~~~ Element removal tests on Headless List: at last ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 10-iii. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_last__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 11-iii. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_last__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 12-iii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_last__mary(); +#endif + sout | ""; + sout | "~~~~~~~~~~ Element removal tests on Headed List: at first ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 13-i. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_head__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 14-i. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_head__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 15-i. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_head__mary(); + + sout | ""; + sout | "~~~~~~~~~~ Element removal tests on Headed List: at last ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 13-ii. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_tail__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 14-ii. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_tail__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 15-ii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_at_tail__mary(); + + sout | ""; + sout | "~~~~~~~~~~ Element removal tests on Headed List: of sole ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 13-iii. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_of_sole__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 14-iii. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_of_sole__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 15-iii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__remove_of_sole__mary(); + + sout | ""; + sout | "~~~~~~~~~~ End removal tests on Headed List: First ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 16-i. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__pop_first__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 16-ii. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__pop_first__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 16-iii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__pop_first__maries(); + + sout | ""; + sout | "~~~~~~~~~~ End removal tests on Headed List: Last ~~~~~~~~~~"; + sout | ""; + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 17-i. Modifying Freds on MINE"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__pop_last__fred_mine(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 17-ii. Modifying Freds on YOURS"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__pop_last__fred_yours(); + + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + sout | "Test 17-iii. Modifying Maries"; + sout | "~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~"; + test__pop_last__maries(); + + return 0; +}