V "GNAT Lib v7"
A -gnatwa
A -gnata
A -g
P ZX

RN
RV NO_ALLOCATORS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IO
RV NO_LOCAL_ALLOCATORS
RV NO_RECURSION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV SPARK_05

U listes%b		listes.adb		12c2f32c NE OO PK GE
W ada%s			ada.ads			ada.ali
W ada.integer_text_io%s	a-inteio.ads		a-inteio.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ada.unchecked_deallocation%s

U listes%s		listes.ads		6e6e8c16 BN EE NE OO PK GE

D ada.ads		20170106103348 76789da1 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-inteio.ads		20070406091342 f64b89a4 ada.integer_text_io%s
D a-ioexce.ads		20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-textio.ads		20140717063745 386df5d4 ada.text_io%s
D a-tiinio.ads		20140717063513 aa04e5d6 ada.text_io.integer_io%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D interfac.ads		20160502101001 5ab55268 interfaces%s
D i-cstrea.ads		20140801100435 e53d8b8e interfaces.c_streams%s
D listes.ads		20201106153924 6e6e8c16 listes%s
D listes.adb		20201106153924 43d05d9b listes%b
D system.ads		20170510173650 4635ec04 system%s
D s-crtl.ads		20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-ficobl.ads		20140718105747 078245e4 system.file_control_block%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20160502101423 34867c83 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 20e8 14|1r6 1r31 2r6 2r31 3r6 22r21
X 3 a-inteio.ads
18K13*Integer_Text_IO[8|46] 14|2w10 2r35
X 7 a-textio.ads
49K13*Text_IO 471e16 14|1w10 1r35
166U14*New_Line 14|572s33 578s33 579s33 587s33 589s33 591s33 592s33 620s33
. 622s33 624s33 625s33 832s33 838s33 839s33 847s33 849s33 851s33 852s33
242U14*Put 14|123s13 125s13 127s25 142s13 144s13 147s9 569s33 571s33 829s33
. 831s33
263U14*Put_Line 14|588s33 621s33 848s33
X 8 a-tiinio.ads
66U14*Put 14|830s33[3|18]
X 10 a-uncdea.ads
20u15*Unchecked_Deallocation 14|3w10 22r25
X 13 listes.ads
2+14 T_Element 21r66 26r53 39r62 44r62 49r65 55r78 61r70 72r35 73r62 85r34
. 89r46 14|64r69 75r53 116r62 134r62 160r72 172r72 185r62 192r75 207r75 225r65
. 232r56 244r56 257r46 264r79 277r80 289r80 306r70 470r83 507r70 522r81 561r86
. 566r87 706r91 723r42 794r83
4k9*Listes 2z14 79E14 97l5 97e11 14|5b14 946l5 946t11
6P14*T_Liste 13r43 17r43 21r48 26r37 30r36 40r39 44r41 49r44 55r48 61r34
. 67r49 81c14 86r35 89r67 89r83 14|22r60 26r43 33r53 43r53 44r29 45r26 57r43
. 64r48 75r37 86r46 96r46 97r18 108r36 117r49 120r49 135r49 138r49 139r18
. 151r39 160r51 172r51 173r18 185r41 192r54 193r26 207r54 208r25 209r30 225r44
. 232r77 232r93 244r77 244r93 245r26 257r67 257r83 264r48 265r17 277r44 289r44
. 290r18 306r34 313r59 314r26 330r59 331r25 332r22 354r49 371r61 382r31 390r32
. 413r32 435r57 439r32 470r62 474r32 507r91 507r107 513r40 522r60 523r38
. 535r32 561r65 566r66 583r40 616r40 646r39 662r40 673r40 706r55 712r40 722r69
. 736r31 737r32 767r40 794r62 805r32 821r70 826r71 843r40 881r72 892r32
8X9*Indice_Error 14|280r31 294r31 317r31 336r31 345r31 729r38 886r38
9X9*Element_Absent_Error 14|78r31 196r31 212r31 268r31 529r38 652r38 680r38
. 799r38
13U19*Initialiser 13<32 14|26b19 29l13 29t24 373s25 384s25 392s25 415s25
. 441s25 476s25 540s25 648s33 664s33 675s33 742s25 769s33 810s25 896s25
13p32 Liste{6P14} 14|26b32 28m17
17U19*Detruire 17=29 14|57b19 60l13 60t21 408s25 429s25 460s25 496s25 519s33
. 549s25 611s33 641s33 654s41 668s33 682s41 719s33 746s25 753s25 791s33 816s25
. 877s33 900s25 905s25
17p29 Liste{6P14} 14|57b29 59m37
21U19*Ajouter_Debut 21=34 21>57 14|64b19 71l13 71t26 374s25 375s25 376s25
. 377s25 395s25 401s25 418s25 422s25 426s25 445s25 449s25 453s25 457s25 480s25
. 485s25 491s25 543s25 546s25 665s33 676s33 771s33 814s33
21p34 Liste{6P14} 14|64b34 66r20 67m25 69m25 69r58
21*57 Element{2+14} 14|64b57 67r49 69r49
26V18*Premier{2+14} 26>27 14|75b18 82l13 82t20 419s40 423s40 427s40 596s48
. 630s48 638s48 775s48 780s48 787s48 871s48
26p27 Liste{6P14} 14|75b27 77r27 80r32
30V18*Taille{integer} 30>26 14|77s20 108b18 111l13 111t19 597s48 601s48 605s48
. 609s48 631s48 637s48 667s48 774s48 779s48 786s48 856s48 863s48 870s48 875s48
. 903s55
30p26 Liste{6P14} 14|108b26 110r42
39U32 Afficher_Element 39>50 14|153r49
39*50 Element{2+14}
40u19*Afficher 40>29 14|151b19 156l13 156t21 366r38
40p29 Liste{6P14} 14|151b29 155r48
44V18*Est_Present{boolean} 44>31 44>50 14|185b18 188l13 188t24 195s24 211s24
. 267s24 632s48 633s48 639s48 857s48 858s48 859s48 864s48 865s52 866s48
44p31 Liste{6P14} 14|185b31 187r47
44*50 Element{2+14} 14|185b50 187r54
49U19*Supprimer 49=30 49>53 14|225b19 228l13 228t22
49p30 Liste{6P14} 14|225b30 227m38
49*53 Element{2+14} 14|225b53 227r45
55U19*Inserer_Apres 55=34 55>57 55>66 14|264b19 273l13 273t26 772s33 778s33
. 784s33 796s33
55p34 Liste{6P14} 14|264b34 267r36 270r62
55*57 Nouveau{2+14} 14|264b58 271r63
55*66 Element{2+14} 14|264b67 267r43 270r53
61V18*Ieme{2+14} 61>24 61>43 14|306b18 309l13 309t17
61p24 Liste{6P14} 14|306b24 308r40
61i43 Indice{integer} 14|306b43 308r47
67U19*Supprimer_Ieme 67=35 67>58 14|354b19 357l13 357t27
67p35 Liste{6P14} 14|354b35 356m43
67i58 Indice{integer} 14|354b58 356r50
72*17 Un{2+14} 14|375r47 377r47 395r47 398r60 405r73 418r47 419r58 445r47
. 457r47 477r64 480r47 481r60 486r60 491r47 492r60 516r67 541r47 544r47 547r47
. 595r57 604r57 629r57 632r68 636r57 649r50 665r55 666r51 676r55 688r40 689r40
. 715r66 717r66 727r58 771r55 772r61 775r66 778r55 780r66 782r94 784r62 787r66
. 796r55 814r55 857r68 864r68 917r32 918r32
72*21 Deux{2+14} 14|374r47 401r47 403r60 422r47 423r58 449r47 482r64 485r47
. 487r60 493r60 518r67 543r47 600r57 633r68 639r68 677r51 688r46 690r40 718r66
. 772r55 776r81 778r59 781r81 789r94 813r53 858r68 865r72 917r38 919r32
72*27 Trois{2+14} 14|376r47 426r47 427r58 453r47 488r64 494r64 517r67 546r47
. 596r66 608r57 630r66 638r66 689r46 690r48 716r66 784r55 788r81 859r68 866r68
. 871r66 918r38 919r40
73U32 Afficher_Element 73>50 14|366r48 570s33
73*50 Element{2+14}
74u19*Tester 14|363b19 944l13 944t19
79R14 T_Cellule 81r32 83c14 87e27 14|22r49 67r38 69r38 271r52
85*25 Element{2+14} 91r71 14|80r42 126r52 143r41 164r33 176r27 197r46 215r67
. 236r33 248r27 282r42 301r43 398r50 403r50 405r63 776r71 781r71 782r84 788r71
. 789r84
86p25 Suivante{6P14} 14|36m54 45r52 50r43 91r51 101r34 128r42 145r34 167r52
. 179r34 197r33 198r45 198r58 199m40 200m35 202m55 214r43 215r54 216r54 218r51
. 218r64 219m41 220m36 239r79 251r34 271m36 271r83 284r57 298r54 319r44 322r45
. 322r58 323m40 324m35 326m60 338r43 338r56 340r54 347r51 347r64 348m41 349m36
. 397r50 404r50 405r50 406r50 406r63 517r93 518r92 518r105 518r118 776r58
. 781r58 782r58 782r71 788r58 789r58 789r71
89V18 Cellule_Contenant{6P14} 89>37 89>57 90r25 91r42 14|257b18 260l13 260t30
. 270s35
89*37 Element{2+14} 91r81 14|257b37 259r53
89p57 Liste{6P14} 14|257b57 259r62
X 14 listes.adb
21U19 Free[10|20] 37s25 48s20 52s17 199s25 219s25 320s25 323s25 348s25
33U19 Detruire_Recursive 33b19 33=39 36s25 40l13 40t31 59s17
33p39 Liste{13|6P14} 35r20 36r44 37m30 38m25
43U19 Detruire_Iterative 43b19 43=39 54l13 54t31
43p39 Liste{13|6P14} 44r40 53m9
44p17 A_Detruire{13|6P14} 45r37 48m25 48r25 49m20 52m22 52r22
45p17 Curseur{13|6P14} 47r24 49r34 50m20 50r31
86V18 Taille_Recursive{integer} 86b18 86>36 91s24 93l13 93t29 110s24 464r44
86p36 Liste{13|6P14} 88r12 91r41
96V18 Taille_Iterative{integer} 96b18 96>36 105l13 105t29 466r44
96p36 Liste{13|6P14} 97r29
97p9 Cursor{13|6P14} 100r16 101m13 101r23
98i9 l{integer} 102m13 102r18 104r16
116U32 Afficher_Element 116>50 126s25
116*50 Element{13|2+14}
117u19 Afficher_Recursive 117>39 120b19 128s13 130l13 130t31 153r29
117p39 Liste{13|6P14} 120b39 122r12 126r42 128r32
134U32 Afficher_Element 134>50 143s13
134*50 Element{13|2+14}
135u19 Afficher_Iterative 135>39 138b19 148l13 148t31
135p39 Liste{13|6P14} 138b39 139r29
139p9 Cursor{13|6P14} 141r16 143r30 145m13 145r23
152U27 Afficher_Recursive_Instanciee[117] 155s17
160V18 Est_Present_Recursive{boolean} 160b18 160>41 160>60 167s20 169l13
. 169t34 187s24 500r49
160p41 Liste{13|6P14} 162r20 164r23 167r42
160*60 Element{13|2+14} 164r43 167r62
172V18 Est_Present_Iterative{boolean} 172b18 172>41 172>60 182l13 182t34
. 502r49
172p41 Liste{13|6P14} 173r29
172*60 Element{13|2+14} 176r37
173p9 Cursor{13|6P14} 175r16 176r16 179m13 179r23
192U19 Supprimer_Recursive 192b19 192=40 192>63 202s25 204l13 204t32 227s17
. 700r46
192p40 Liste{13|6P14} 195r36 197r23 198r35 199r30 200r25 202r45
192*63 Element{13|2+14} 195r43 197r56 202r65
193p17 Cursor{13|6P14} 198m25 200r46
207U19 Supprimer_Iterative 207b19 207=40 207>63 222l13 222t32 702r46
207p40 Liste{13|6P14} 208r36 211r36
207*63 Element{13|2+14} 211r43 215r77
208p17 Cursor{13|6P14} 214r32 215r43 216m33 216r43 218r40 219r30 220r25
209p17 Cursor_next{13|6P14} 218m25 220r48
232V18 Cellule_Contenant_Recursive{13|6P14} 232b18 232>47 232>67 239s32 241l13
. 241t40 259s24 553r55
232*47 Element{13|2+14} 236r43 239r60
232p67 Liste{13|6P14} 234r20 236r23 237r32 239r69
244V18 Cellule_Contenant_Iterative{13|6P14} 244b18 244>47 244>67 254l13 254t40
. 555r55
244*47 Element{13|2+14} 248r37
244p67 Liste{13|6P14} 245r37
245p17 Cursor{13|6P14} 247r16 248r16 249r24 251m13 251r23
265p9 Cursor{13|6P14} 270m25 271r25 271r72
277V18 Ieme_Recursive{13|2+14} 277b18 277>34 277>53 284s32 286l13 286t27
. 308s24 758r42
277p34 Liste{13|6P14} 282r32 284r47
277i53 Indice{integer} 279r20 281r23 284r67
289V18 Ieme_Iterative{13|2+14} 289b18 289>34 289>53 303l13 303t27 760r42
289p34 Liste{13|6P14} 290r29
289i53 Indice{integer} 293r20 297r47
290p9 Cursor{13|6P14} 296r32 298m33 298r43 301r32
291i9 l{integer} 297r43 299m33 299r38
313U19 Supprimer_Ieme_Recursive 313b19 313=45 313>68 326s25 328l13 328t37
. 356s17 910r51
313p45 Liste{13|6P14} 314r37 319m25 319r34 322r35 323r30 324r25 326r50
313i68 Indice{integer} 316r20 318r23 321r23 326r70
314p17 Cursor{13|6P14} 320m30 320r30 322m25 324r46
330U19 Supprimer_Ieme_Iterative 330b19 330=45 330>68 351l13 351t37 912r51
330p45 Liste{13|6P14} 331r36
330i68 Indice{integer} 335r20 339r47 344r25
331p17 Cursor{13|6P14} 338r32 340m33 340r43 347r40 348r30 349r25
332p9 Cursor_next{13|6P14} 347m25 349r48
333i17 l{integer} 339r43 341m33 341r38 344r20
366U27 Put[13|40] 577s33 590s33 623s33 837s33 850s33
371U27 Initialiser_Liste1312 371b27 371<50 378t20 515s33 585s33 618s33 714s33
. 748s25 845s33 902s25
371p50 Liste{13|6P14} 373m38 374m40 375m40 376m40 377m40
381U27 Tester_Initialiser 381b27 386l21 386t39 921s17
382p25 Vide{13|6P14} 384m38 384r38 385r40
389U27 Tester_Ajouter_Debut 389b27 409l21 409t41 922s17
390p25 Liste{13|6P14} 392m38 392r38 395m40 395r40 396r40 397r40 398r40 401m40
. 401r40 402r40 403r40 404r40 405r40 406r40 408m35 408r35
412U27 Tester_Premier 412b27 431l21 431t35 923s17
413p25 Liste{13|6P14} 415m38 415r38 418m40 418r40 419r49 422m40 422r40 423r49
. 426m40 426r40 427r49 429m35 429r35
435V39 Taille{integer} 435>47 442s40 446s40 450s40 454s40 458s40
435p47 Liste{13|6P14}
436u27 Tester_Taille 438b27 461l21 461t34 464r29 466r29
439p25 Liste{13|6P14} 441m38 441r38 442r48 445m40 445r40 446r48 449m40 449r40
. 450r48 453m40 453r40 454r48 457m40 457r40 458r48 460m35 460r35
463U27 Tester_Taille_Recursive[436] 925s17
465U27 Tester_Taille_Iterative[436] 926s17
470V39 Est_Present{boolean} 470>52 470>71 477s44 481s40 482s44 486s40 487s40
. 488s44 492s40 493s40 494s44
470p52 Liste{13|6P14}
470*71 Element{13|2+14}
471u27 Tester_Est_Present 473b27 497l21 497t39 500r29 502r29
474p25 Liste{13|6P14} 476m38 476r38 477r57 480m40 480r40 481r53 482r57 485m40
. 485r40 486r53 487r53 488r57 491m40 491r40 492r53 493r53 494r57 496m35 496r35
499U27 Tester_Est_Present_Recursive[471] 928s17
501U27 Tester_Est_Present_Iterative[471] 929s17
507V39 Cellule_Contenant{13|6P14} 507>58 507>81 516s48 517s48 518s48 525s40
507*58 Element{13|2+14}
507p81 Liste{13|6P14}
508u27 Tester_Cellule_Contenant 510b27 550l21 550t45 553r29 555r29
512U35 Tester_Existants 512b35 520l29 520t45 537s25
513p33 Liste{13|6P14} 515m56 515r56 516r71 516r80 517r74 517r83 518r73 518r82
. 519m43 519r43
522U35 Tester_Absent 522b35 522>50 522>69 533t28 541s25 544s25 547s25
522p50 Liste{13|6P14} 525r68
522*69 Element{13|2+14} 525r59
523p33 Ptr{13|6P14} 525m33 527r48
535p25 Liste{13|6P14} 540m38 540r38 541r40 543m40 543r40 544r40 546m40 546r40
. 547r40 549m35 549r35
552U27 Tester_Cellule_Contenant_Recursive[508] 934s17
554U27 Tester_Cellule_Contenant_Iterative[508] 935s17
561U40 Supprimer 561=51 561>74 574s33 649s33 666s33 677s33
561p51 Liste{13|6P14}
561*74 Element{13|2+14}
562u27 Tester_Supprimer 564b27 697t20 700r29 702r29
566U35 Supprimer_Trace 566b35 566=52 566>75 580l29 580t44 595s33 600s33 604s33
. 608s33 629s33 636s33
566p52 Liste{13|6P14} 574m44 577r38
566*75 Element{13|2+14} 570r51 574r51
582U35 Supprimer_Extremites 582b35 612l29 612t49 695s25
583p33 Liste{13|6P14} 585m56 585r56 590r38 595m50 595r50 596r57 597r56 600m50
. 600r50 601r56 604m50 604r50 605r56 608m50 608r50 609r56 611m43 611r43
615U35 Supprimer_Milieu 615b35 642l29 642t45 696s25
616p33 Liste{13|6P14} 618m56 618r56 623r38 629m50 629r50 630r57 631r56 632r61
. 633r61 636m50 636r50 637r56 638r57 639r61 641m43 641r43
645U35 Supprimer_Liste_Vide 645b35 658l29 658t49 692s25
646p33 Vide{13|6P14} 648m46 648r46 649m44 649r44 654m51 654r51
661U35 Supprimer_Liste1_Un_Element_Present 661b35 669l29 669t64 693s25
662p33 Liste{13|6P14} 664m46 664r46 665m48 665r48 666m44 666r44 667r55 668m43
. 668r43
672U35 Supprimer_Liste1_Un_Element_Absent 672b35 685l29 685t63 694s25
673p33 Liste{13|6P14} 675m46 675r46 676m48 676r48 677m44 677r44 682m51 682r51
699U27 Tester_Supprimer_Recursive[562] 931s17
701U27 Tester_Supprimer_Iterative[562] 932s17
706V39 Ieme{13|2+14} 706>45 706>64 715s48 716s48 717s48 718s48 725s44
706p45 Liste{13|6P14}
706i64 Indice{integer}
707u27 Tester_Ieme 709b27 755l21 755t32 758r29 760r29
711U35 Tester_Nominal 711b35 720l29 720t43 739s25
712p33 Liste{13|6P14} 714m56 714r56 715r54 716r54 717r54 718r54 719m43 719r43
722U35 Tester_Indice_Invalide 722b35 722>59 722>78 733l29 733t51 743s25 744s25
. 745s25 749s25 750s25 751s25 752s25
722p59 Liste{13|6P14} 725r50
722i78 Indice{integer} 725r57
723*33 Element{13|2+14} 725m33 727r48
736p25 Vide{13|6P14} 742m38 742r38 743r49 744r49 745r49 746m35 746r35 749r49
. 750r49 751r49 752r49
737p25 Liste{13|6P14} 748m48 748r48 753m35 753r35
757U27 Tester_Ieme_Recursive[707] 939s17
759U27 Tester_Ieme_Iterative[707] 940s17
764U27 Tester_Inserer_Apres 764b27 817l21 817t41 937s17
766U35 Test_Nominal 766b35 792l29 792t41 807s25
767p33 Liste{13|6P14} 769m46 769r46 771m48 771r48 772m48 772r48 774r56 775r57
. 776r48 778m48 778r48 779r56 780r57 781r48 782r48 784m48 784r48 786r56 787r57
. 788r48 789r48 791m43 791r43
794U35 Test_Erreur 794b35 794=48 794>71 803l29 803t40 813s33
794p48 Liste{13|6P14} 796m48
794*71 Element{13|2+14} 796r59
805p25 Liste{13|6P14} 810m38 810r38 813m46 813r46 814m48 814r48 816m35 816r35
812i29 I{integer}
821U40 Supprimer_Ieme 821=56 821>79 834s33 883s33
821p56 Liste{13|6P14}
821i79 Indice{integer}
822u27 Tester_Supprimer_Ieme 824b27 907l21 907t42 910r29 912r29
826U35 Supprimer_Ieme_Trace 826b35 826=57 826>80 840l29 840t49 855s33 862s33
. 869s33 874s33
826p57 Liste{13|6P14} 834m49 837r38
826i80 Indice{integer} 830r38 834r56
842U35 Supprimer_Ieme_Nominal 842b35 878l29 878t51 894s25
843p33 Liste{13|6P14} 845m56 845r56 850r38 855m55 855r55 856r56 857r61 858r61
. 859r61 862m55 862r55 863r56 864r61 865r65 866r61 869m55 869r55 870r56 871r57
. 874m55 874r55 875r56 877m43 877r43
881U35 Supprimer_Ieme_Erreur 881b35 881=58 881>81 890l29 890t50 897s25 898s25
. 899s25 903s25 904s25
881p58 Liste{13|6P14} 883m49
881i81 Indice{integer} 883r56
892p25 Liste{13|6P14} 896m38 896r38 897m48 897r48 898m48 898r48 899m48 899r48
. 900m35 900r35 902m48 902r48 903m48 903r48 903r63 904m48 904r48 905m35 905r35
909U27 Tester_Supprimer_Ieme_Recursive[822] 942s17
911U27 Tester_Supprimer_Ieme_Iterative[822] 943s17