Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • tests/list/dlist-insert-remove.cfa

    r4d741e9 r6091b88a  
    258258        dlist(fred_in_mine, fred) lf;
    259259
    260         verify(validate(lf));
    261 
    262260        printMyFreddies(f1, f2, 1);     // 3.14; 3.14; 0.5; 0.5
    263261        printYourFreddies(f1, f2, 1);   // 3.14; 3.14; 0.5; 0.5
    … …  
    266264        insert_first(lf, f1);
    267265
    268         verify(validate(lf));
    269 
    270266        printMyFreddies(f1, f2, 0);     // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    271267        printYourFreddies(f1, f2, 0);   // 3.14; 3.14; 0.5; 0.5 (unmodified)
    … …  
    279275        dlist(fred_in_yours, fred) lf;
    280276
    281         verify(validate(lf));
    282 
    283277        printMyFreddies(f1, f2, 1);     // 3.14; 3.14; 0.5; 0.5
    284278        printYourFreddies(f1, f2, 1);   // 3.14; 3.14; 0.5; 0.5
    … …  
    287281        insert_first(lf, f1);
    288282
    289         verify(validate(lf));
    290 
    291283        printMyFreddies(f1, f2, 0);     // 3.14; 3.14; 0.5; 0.5 (unmodified)
    292284        printYourFreddies(f1, f2, 0);   // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    … …  
    300292        dlist(mary, mary) lm;
    301293
    302         verify(validate(lm));
    303294        printMariatheotokos(m1, m2, 1); // 3.14; 3.14; 0.5; 0.5
    304295
    … …  
    307298
    308299        printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    309         verify(validate(lm));
    310300}
    311301
    … …  
    327317        dlist(fred_in_mine, fred) lf;
    328318
    329         verify(validate(lf));
    330 
    331319        printMyFreddies(f1, f2, 1);     // 3.14; 3.14; 0.5; 0.5
    332320        printYourFreddies(f1, f2, 1);   // 3.14; 3.14; 0.5; 0.5
    … …  
    335323        insert_last(lf, f2);
    336324
    337         verify(validate(lf));
    338 
    339325        printMyFreddies(f1, f2, 0);     // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    340326        printYourFreddies(f1, f2, 0);   // 3.14; 3.14; 0.5; 0.5 (unmodified)
    … …  
    348334        dlist(fred_in_yours, fred) lf;
    349335
    350         verify(validate(lf));
    351 
    352336        printMyFreddies(f1, f2, 1);     // 3.14; 3.14; 0.5; 0.5
    353337        printYourFreddies(f1, f2, 1);   // 3.14; 3.14; 0.5; 0.5
    … …  
    356340        insert_last(lf, f2);
    357341
    358         verify(validate(lf));
    359 
    360342        printMyFreddies(f1, f2, 0);     // 3.14; 3.14; 0.5; 0.5 (unmodified)
    361343        printYourFreddies(f1, f2, 0);   // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    … …  
    369351        dlist(mary, mary) lm;
    370352
    371         verify(validate(lm));
    372353        printMariatheotokos(m1, m2, 1); // 3.14; 3.14; 0.5; 0.5
    373354
    … …  
    375356        insert_last(lm, m2);
    376357
    377         verify(validate(lm));
    378358        printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    379359}
    … …  
    404384        assert(& lf`last == & f1);
    405385
    406         verify(validate(lf));
    407 
    408386        insert_after(f1`in_mine, f2);
    409 
    410         verify(validate(lf));
    411387
    412388        printMyFreddies(f1, f2, 0);     // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    … …  
    432408        assert(& lf`last == & f1);
    433409
    434         verify(validate(lf));
    435 
    436410        insert_after(f1`in_yours, f2);
    437 
    438         verify(validate(lf));
    439411
    440412        printMyFreddies(f1, f2, 0);     // 3.14; 3.14; 0.5; 0.5 (unmodified)
    … …  
    460432        assert(& lm`last == & m1);
    461433
    462         verify(validate(lm));
    463 
    464434        insert_after(m1, m2);
    465 
    466         verify(validate(lm));
    467435
    468436        printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    … …  
    497465        assert(& lf`last == & f2);
    498466
    499         verify(validate(lf));
    500 
    501467        insert_before(f2`in_mine, f1);
    502 
    503         verify(validate(lf));
    504468
    505469        printMyFreddies(f1, f2, 0);     // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    … …  
    525489        assert(& lf`last == & f2);
    526490
    527         verify(validate(lf));
    528 
    529491        insert_before(f2`in_yours, f1);
    530 
    531         verify(validate(lf));
    532492
    533493        printMyFreddies(f1, f2, 0);     // 3.14; 3.14; 0.5; 0.5 (unmodified)
    … …  
    553513        assert(& lm`last == & m2);
    554514
    555         verify(validate(lm));
    556 
    557515        insert_before(m2, m1);
    558 
    559         verify(validate(lm));
    560516
    561517        printMariatheotokos(m1, m2, 0); // 3.14, 0.5; 3.14; 0.5; 0.5, 3.14 (modified)
    … …  
    866822        printYourFreddies(fly`first, fly`last, 1);   // 1.7, 2.7, 3.7;  1.7;  3.7;  3.7, 2.7, 1.7
    867823
    868         verify(validate(fly));
    869         verify(validate(flm));
    870 
    871824        remove(f1`in_mine);
    872 
    873         verify(validate(fly));
    874         verify(validate(flm));
    875825
    876826        printMyFreddies(flm`first, flm`last, 0);     // 2.7, 3.7;       2.7;  3.7;  3.7, 2.7      (modified)
    … …  
    904854        printYourFreddies(fly`first, fly`last, 1);   // 1.7, 2.7, 3.7;  1.7;  3.7;  3.7, 2.7, 1.7
    905855
    906         verify(validate(fly));
    907         verify(validate(flm));
    908 
    909856        remove(f1`in_yours);
    910 
    911         verify(validate(fly));
    912         verify(validate(flm));
    913857
    914858        printMyFreddies(flm`first, flm`last, 0);     // 1.7, 2.7, 3.7;  1.7;  3.7;  3.7, 2.7, 1.7 (unmodified)
    … …  
    936880        printMariatheotokos(ml`first, ml`last, 1);     // 1.7, 2.7, 3.7;  1.7;  3.7;  3.7, 2.7, 1.7
    937881
    938         verify(validate(ml));
    939 
    940882        remove(m1);
    941 
    942         verify(validate(ml));
    943883
    944884        printMariatheotokos(ml`first, ml`last, 0);     // 2.7, 3.7;       2.7;  3.7;  3.7, 2.7      (modified)
    … …  
    981921        printYourFreddies(fly`first, fly`last, 1);   // 1.7, 2.7, 3.7;  1.7;  3.7;  3.7, 2.7, 1.7
    982922
    983         verify(validate(fly));
    984         verify(validate(flm));
    985 
    986923        remove(f3`in_mine);
    987 
    988         verify(validate(fly));
    989         verify(validate(flm));
    990924
    991925        printMyFreddies(flm`first, flm`last, 0);     // 1.7, 2.7;       1.7;  2.7;  2.7, 1.7      (modified)
    … …  
    1019953        printYourFreddies(fly`first, fly`last, 1);   // 1.7, 2.7, 3.7;  1.7;  3.7;  3.7, 2.7, 1.7
    1020954
    1021         verify(validate(fly));
    1022         verify(validate(flm));
    1023 
    1024955        remove(f3`in_yours);
    1025 
    1026         verify(validate(fly));
    1027         verify(validate(flm));
    1028956
    1029957        printMyFreddies(flm`first, flm`last, 0);     // 1.7, 2.7, 3.7;  1.7;  3.7;  3.7, 2.7, 1.7 (unmodified)
    … …  
    1051979        printMariatheotokos(ml`first, ml`last, 1);     // 1.7, 2.7, 3.7;  1.7;  3.7;  3.7, 2.7, 1.7
    1052980
    1053         verify(validate(ml));
    1054 
    1055981        remove(m3);
    1056 
    1057         verify(validate(ml));
    1058982
    1059983        printMariatheotokos(ml`first, ml`last, 0);     // 1.7, 2.7;       1.7;  2.7;  2.7, 1.7      (modified)
    … …  
    10901014        printYourFreddies(fly`first, fly`last, 1);   // 0.7; 0.7; 0.7; 0.7
    10911015
    1092         verify(validate(fly));
    1093         verify(validate(flm));
    1094 
    10951016        remove(f`in_mine);
    1096 
    1097         verify(validate(fly));
    1098         verify(validate(flm));
    10991017
    11001018        assert(& flm`first == 0p);
    … …  
    11111029
    11121030        insert_last(flm, f);
    1113         verify(validate(fly));
    1114         verify(validate(flm));
    11151031        printMyFreddies(flm`first, flm`last, 0);     // 0.7; 0.7; 0.7; 0.7
    11161032}
    … …  
    11291045        printYourFreddies(fly`first, fly`last, 1);   // 0.7; 0.7; 0.7; 0.7
    11301046
    1131         verify(validate(fly));
    1132         verify(validate(flm));
    1133 
    11341047        remove(f`in_yours);
    1135 
    1136         verify(validate(fly));
    1137         verify(validate(flm));
    11381048
    11391049        assert(& fly`first == 0p);
    … …  
    11501060
    11511061        insert_last(fly, f);
    1152         verify(validate(fly));
    1153         verify(validate(flm));
    11541062        printYourFreddies(fly`first, fly`last, 0);     // 0.7; 0.7; 0.7; 0.7
    11551063}
    … …  
    11641072        printMariatheotokos(ml`first, ml`last, 1);     // 0.7; 0.7; 0.7; 0.7
    11651073
    1166         verify(validate(ml));
    1167 
    11681074        remove(m);
    1169 
    1170         verify(validate(ml));
    11711075
    11721076        assert(& ml`first == 0p);
    … …  
    11811085
    11821086        insert_last(ml, m);
    1183         verify(validate(ml));
    11841087        printMariatheotokos(ml`first, ml`last, 0);     // 0.7; 0.7; 0.7; 0.7
    11851088}
Note: See TracChangeset for help on using the changeset viewer.