V "GNAT Lib v4.9" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P RN RV NO_ACCESS_SUBPROGRAMS RV NO_ALLOCATORS RV NO_DISPATCH RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_FINALIZATION RV NO_LOCAL_ALLOCATORS RV NO_NESTED_FINALIZATION RV NO_RECURSION RV NO_STANDARD_STORAGE_POOLS RV NO_STREAMS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_DEALLOCATION RV NO_DEFAULT_INITIALIZATION RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_IMPLICIT_ALIASING RV SPARK_05 U ada.containers.ordered_maps%b a-coorma.adb 521c3bf0 NE OL PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali W ada.containers.red_black_trees.generic_keys%s W ada.containers.red_black_trees.generic_operations%s Z ada.streams%s a-stream.adb a-stream.ali W ada.unchecked_deallocation%s W system%s system.ads system.ali U ada.containers.ordered_maps%s a-coorma.ads 1ba62425 BN NE OL PR RT PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali W ada.finalization%s a-finali.adb a-finali.ali W ada.iterator_interfaces%s W ada.streams%s a-stream.adb a-stream.ali D ada.ads 20070406121342 3ffc8e18 D a-contai.ads 20101025165030 61e5e089 D a-coorma.ads 20130411163354 f6e6861b D a-coorma.adb 20140127184330 3c7e7c60 D a-crbltr.ads 20110831120720 b8a2dc05 D a-crbtgk.ads 20090409180020 18ae3fab D a-crbtgk.adb 20140220154616 62191c0e D a-crbtgo.ads 20090409180020 375f6f61 D a-crbtgo.adb 20140220154616 885f84ae D a-except.ads 20140129181954 f86a4103 D a-finali.ads 20111121133556 52ecdc1b D a-iteint.ads 20110906122602 7c7305e9 D a-stream.ads 20140122184720 1a984740 D a-tags.ads 20111212135430 6c0509d0 D a-unccon.ads 20070406121342 f9eb8f06 D a-uncdea.ads 20070406121342 f15a5ed1 D system.ads 20160804194326 462fcf90 D s-exctab.ads 20140225171140 54135002 D s-finroo.ads 20120426125924 4ff27390 D s-parame.ads 20140225171140 ab8cb46a D s-soflin.ads 20140225171140 aa763b52 D s-stache.ads 20140225171140 a37c21ec D s-stalib.ads 20140225171140 a891183f D s-stoele.ads 20140225171140 2dc34a04 D s-stoele.adb 20140225171140 ed88f8fb D s-traent.ads 20140225171140 b5116092 X 1 ada.ads 16K9*Ada 19e8 3|34r6 36r14 37r14 38r14 47r9 69r6 255r20 265r8 266r8 377r5 . 4|30r6 32r6 35r6 40r14 664r14 1628r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 3|36r18 47r13 377r9 4|32r10 35r10 40r18 1628r9 20I9*Count_Type 3|73r45 4|1078r45 X 3 a-coorma.ads 41+9 Key_Type 44r37 51r44 79r44 91r37 97r37 120r19 125r19 136r19 143r19 149r19 . 154r19 159r19 162r53 164r52 176r48 182r47 192r42 194r45 196r43 198r45 200r46 . 206r41 208r41 210r25 212r25 248r17 4|86r15 91r15 113r32 143r41 155r25 199r41 . 211r25 284r45 354r19 382r46 441r52 498r45 513r44 528r53 573r42 634r48 648r43 . 693r19 719r19 761r19 779r19 849r15 863r15 988r44 1055r47 1205r55 1228r17 . 1269r10 1347r19 1377r19 1523r56 1551r17 1594r10 42+9 Element_Type 45r37 57r28 81r48 86r19 91r57 97r64 100r43 104r51 137r19 . 150r19 155r19 160r19 174r52 180r51 194r62 249r25 312r43 330r34 4|485r48 . 498r62 620r52 694r19 720r19 762r19 1041r51 1206r55 1229r17 1270r10 1378r19 . 1403r19 1524r63 1552r17 1595r10 44V19 "<"{boolean} 44>23 44>29 4|140s28 152s28 164s19 196s29 208s20 220s29 . 515s15 516s23 835s16 837s19 855s24 867s19 44*23 Left{41+9} 44*29 Right{41+9} 45V19 "="{boolean} 45>23 45>29 4|840s27 45*23 Left{42+9} 45*29 Right{42+9} 47k24*Ordered_Maps 2|16k13 3|41z9 42z9 44z19 45z19 240E9 377l20 377e32 4|40b29 . 1628l20 1628t32 51V13*Equivalent_Keys{boolean} 51>30 51>36 4|513b13 522l8 522t23 51*30 Left{41+9} 4|513b30 515r10 516r25 51*36 Right{41+9} 4|513b36 515r17 516r17 53R9*Map<11|48R9> 62r25 71P14 71r32 73p13 73r33 75p13 75r35 77p14 77r40 83p14 . 84r26 93p14 94r26 108p13 109r27 113p13 114r34 118p13 119r27 123p13 124r34 . 128p14 128r38 128r52 130p13 130r28 130r40 132p14 132r36 132r57 134p14 135r26 . 141p14 142r26 147p14 148r26 152p14 153r26 157p14 158r26 162p14 162r42 164p14 . 164r41 166p14 166r41 168p14 168r47 170p14 170r46 172p13 172r32 174p13 174r40 . 176p13 176r36 178p13 178r31 180p13 180r39 182p13 182r35 192p13 192r31 194p13 . 194r34 196p13 196r32 198p13 198r34 200p13 200r35 214p14 215r19 218p14 219r19 . 226p13 227r19 230p13 231r19 255c9 257e14 259P25 259r52 261r54 268p14 270r19 . 272r8 274p14 276r23 278r8 280r34 347r25 4|171r32 230r41 253r38 253r52 284r34 . 301r40 320r27 353r27 382r35 391r28 391r40 393r23 418r41 441r41 457r47 471r46 . 498r34 528r42 573r31 584r32 620r40 634r36 648r32 692r26 718r26 760r26 778r26 . 822r35 875r19 912r19 936r34 1005r31 1041r39 1055r35 1078r33 1090r36 1090r57 . 1251r23 1313r34 1346r34 1376r26 1401r26 1432r19 1521r26 1575r19 11|51P14 59R9*Cursor 60r41 64r26 66r37 69r31 79r29 81r33 85r19 89r18 95r19 110r19 . 115r19 138r23 144r23 166r64 172r44 178r43 184r30 184r45 186r38 188r34 188r49 . 190r42 192r59 196r60 198r62 202r32 204r32 206r25 208r25 210r43 212r43 216r57 . 220r57 232r19 283c9 286e14 290r16 292r8 296r20 298r8 355r26 355r36 366r57 . 367r57 371r18 371r33 375r18 375r33 4|124r32 143r25 155r43 180r32 199r25 . 211r43 284r62 292r14 321r19 418r64 485r33 573r59 577r22 584r44 590r17 594r46 . 612r17 648r60 654r17 682r37 696r18 721r23 764r18 780r23 876r57 890r19 936r47 . 988r29 1005r43 1011r17 1015r45 1033r17 1099r38 1104r30 1104r45 1121r17 . 1127r18 1127r33 1155r42 1160r34 1160r49 1178r17 1184r18 1184r33 1204r18 . 1286r20 1314r19 1402r19 1433r57 1447r19 1522r19 1606r16 62r4*Empty_Map{53R9} 347c4 64r4*No_Element{59R9} 355c4 4|289r17 384r39 576r35 588r17 652r17 684r26 953r18 . 1009r17 1106r21 1107r17 1118r20 1131r17 1162r21 1163r17 1175r20 1188r17 66V13*Has_Element{boolean} 66>26 69r39 4|682b13 685l8 685t19 66r26 Position{59R9} 4|682b26 684r14 68K12*Map_Iterator_Interfaces[12|21] 228r14 233r14 358r6 4|912r31 937r14 71V14*"="{boolean} 71>18 71>24 4|171b14 174l9 174t11 71r18 Left{53R9} 4|171b18 173r24 71r24 Right{53R9} 4|171b24 173r35 73V13*Length{2|20I9} 73>21 4|1078b13 1081l8 1081t14 73r21 Container{53R9} 4|1078b21 1080r14 75V13*Is_Empty{boolean} 75>23 4|822b13 825l8 825t16 75r23 Container{53R9} 4|822b23 824r14 77U14*Clear 77=21 261r67 4|276s14 301b14 304l8 304t13 77r21 Container{53R9} 4|301b21 303m14 303r14 79V13*Key{41+9} 79>18 4|988b13 999l8 999t11 79r18 Position{59R9} 4|988b18 990r10 995r27 995r52 998r14 81V13*Element{42+9} 81>22 4|485b13 496l8 496t15 81r22 Position{59R9} 4|485b22 487r10 492r27 492r52 495r14 83U14*Replace_Element 84=7 85>7 86>7 4|1400b14 1425l8 1425t23 84r7 Container{53R9} 4|1401b7 1411m32 1411r32 1416r10 1421r27 85r7 Position{59R9} 4|1402b7 1406r10 1411r10 1421r43 1424r7 86*7 New_Item{42+9} 4|1403b7 1424r32 88U14*Query_Element 89>7 90^7 4|1203b14 1243l8 1243t21 89r7 Position{59R9} 4|1204b7 1209r10 1214r27 1214r52 1218r32 1228r34 1229r38 90p7 Process 4|1205b7 1232r13 91*31 Key{41+9} 91*47 Element{42+9} 93U14*Update_Element 94=7 95>7 96^7 4|1520b14 1567l8 1567t22 94r7 Container{53R9} 4|1521b7 1532m32 1532r32 1537r27 1541m32 1541r32 95r7 Position{59R9} 4|1522b7 1527r10 1532r10 1537r43 1551r34 1552r38 96p7 Process 4|1523b7 1555r13 97*31 Key{41+9} 97*47 Element{42+9} 99R9*Constant_Reference_Type 100d8 110r34 120r36 311c9 315e17 319r20 321r8 . 325r16 327r8 4|321r34 342r30 354r36 368r30 1302r20 1622r16 104R9*Reference_Type 104d25 115r34 125r36 329c9 333e17 337r20 339r8 343r16 . 345r8 4|1294r20 1314r34 1335r30 1347r36 1361r30 1614r16 108V13*Constant_Reference{99R9} 109>7 110>7 111r19 4|319b13 350l8 350t26 109r7 Container{53R9} 4|320b7 329r32 334r27 110r7 Position{59R9} 4|321b7 324r10 329r10 334r43 338r32 343r24 344r41 113V13*Reference{104R9} 114=7 115>7 116r19 4|1312b13 1343l8 1343t17 114r7 Container{53R9} 4|1313b7 1322m32 1322r32 1327r27 115r7 Position{59R9} 4|1314b7 1317r10 1322r10 1327r43 1331r32 1336r24 1337r41 118V13*Constant_Reference{99R9} 119>7 120>7 4|352b13 376l8 376t26 119r7 Container{53R9} 4|353b7 356r52 364r32 370r41 120*7 Key{41+9} 4|354b7 356r68 123V13*Reference{104R9} 124=7 125>7 4|1345b13 1369l8 1369t17 124r7 Container{53R9} 4|1346b7 1349r52 1357m32 1357r32 1363m41 1363r41 125*7 Key{41+9} 4|1347b7 1349r68 128U14*Assign 128=22 128>43 4|253b14 278l8 278t14 394s17 128r22 Target{53R9} 4|253b22 266m10 266r10 272m10 272r10 276m7 276r7 128r43 Source{53R9} 4|253b43 272r27 277r21 130V13*Copy{53R9} 130>19 4|391b13 396l8 396t12 130r19 Source{53R9} 4|391b19 394r25 132U14*Move 132=20 132=41 4|1090b14 1093l8 1093t12 132r20 Target{53R9} 4|1090b20 1092m23 1092r23 132r41 Source{53R9} 4|1090b41 1092m46 1092r46 134U14*Insert 135=7 136>7 137>7 138<7 139<7 4|700s7 717b14 757l8 757t14 770s7 135r7 Container{53R9} 4|718b7 751m10 751r10 756m29 756r29 136*7 Key{41+9} 4|719b7 739r43 752r10 137*7 New_Item{42+9} 4|720b7 740r43 138r7 Position{59R9} 4|721b7 753m10 753r10 756m7 139b7 Inserted{boolean} 4|722b7 754m10 141U14*Insert 142=7 143>7 144<7 145<7 4|777b14 816l8 816t14 142r7 Container{53R9} 4|778b7 810m10 810r10 815m29 815r29 143*7 Key{41+9} 4|779b7 798r43 811r10 144r7 Position{59R9} 4|780b7 812m10 812r10 815m7 145b7 Inserted{boolean} 4|781b7 813m10 147U14*Insert 148=7 149>7 150>7 4|266s17 759b14 775l8 775t14 148r7 Container{53R9} 4|760b7 770m15 149*7 Key{41+9} 4|266r25 761b7 770r26 150*7 New_Item{42+9} 4|266r42 762b7 770r31 152U14*Include 153=7 154>7 155>7 4|691b14 711l8 711t15 153r7 Container{53R9} 4|692b7 700m15 703r13 154*7 Key{41+9} 4|693b7 700r26 708r31 155*7 New_Item{42+9} 4|694b7 700r31 709r35 157U14*Replace 158=7 159>7 160>7 4|1375b14 1394l8 1394t15 158r7 Container{53R9} 4|1376b7 1380r52 1387r10 159*7 Key{41+9} 4|1377b7 1380r68 1392r19 160*7 New_Item{42+9} 4|1378b7 1393r23 162U14*Exclude 162=23 162>47 4|528b14 536l8 536t15 162r23 Container{53R9} 4|528b23 529r40 533m49 533r49 162*47 Key{41+9} 4|528b47 529r56 164U14*Delete 164=22 164>46 4|441b14 451l8 451t14 164r22 Container{53R9} 4|441b22 442r40 449m46 449r46 164*46 Key{41+9} 4|441b46 442r56 166U14*Delete 166=22 166=46 4|418b14 439l8 439t14 166r22 Container{53R9} 4|418b22 419m32 419r32 427m32 427r32 166r46 Position{59R9} 4|418b46 422r10 427r10 432r33 435r52 436m13 436r13 . 438m7 168U14*Delete_First 168=28 4|457b14 465l8 465t20 168r28 Container{53R9} 4|457b28 458r26 462m49 462r49 170U14*Delete_Last 170=27 4|471b14 479l8 479t19 170r27 Container{53R9} 4|471b27 472r26 476m49 476r49 172V13*First{59R9} 172>20 4|584b13 592l8 592t13 610s34 172r20 Container{53R9} 4|584b20 585r29 590r25 174V13*First_Element{42+9} 174>28 4|620b13 628l8 628t21 174r28 Container{53R9} 4|620b28 621r29 176V13*First_Key{41+9} 176>24 4|634b13 642l8 642t17 176r24 Container{53R9} 4|634b24 635r29 178V13*Last{59R9} 178>19 4|1005b13 1013l8 1013t12 1031s34 178r19 Container{53R9} 4|1005b19 1006r29 1011r25 180V13*Last_Element{42+9} 180>27 4|1041b13 1049l8 1049t20 180r27 Container{53R9} 4|1041b27 1042r29 182V13*Last_Key{41+9} 182>23 4|1055b13 1063l8 1063t16 182r23 Container{53R9} 4|1055b23 1056r29 184V13*Next{59R9} 184>19 4|1101s19 1104b13 1123l8 1123t12 1139s14 184r19 Position{59R9} 4|1104b19 1106r10 1110r27 1110r52 1114r63 1121r25 186U14*Next 186=20 4|1099b14 1102l8 1102t12 186r20 Position{59R9} 4|1099b20 1101m7 1101r25 188V13*Previous{59R9} 188>23 4|1157s19 1160b13 1180l8 1180t16 1196s14 188r23 Position{59R9} 4|1160b23 1162r10 1166r27 1166r52 1171r38 1178r25 190U14*Previous 190=24 4|1155b14 1158l8 1158t16 190r24 Position{59R9} 4|1155b24 1157m7 1157r29 192V13*Find{59R9} 192>19 192>36 4|384s14 573b13 578l8 578t12 192r19 Container{53R9} 4|573b19 574r52 577r30 192*36 Key{41+9} 4|573b36 574r68 194V13*Element{42+9} 194>22 194>39 4|498b13 507l8 507t15 194r22 Container{53R9} 4|498b22 499r52 194*39 Key{41+9} 4|498b39 499r68 196V13*Floor{59R9} 196>20 196>37 4|648b13 656l8 656t13 196r20 Container{53R9} 4|648b20 649r53 654r25 196*37 Key{41+9} 4|648b37 649r69 198V13*Ceiling{59R9} 198>22 198>39 4|284b13 293l8 293t15 198r22 Container{53R9} 4|284b22 285r55 292r22 198*39 Key{41+9} 4|284b39 285r71 200V13*Contains{boolean} 200>23 200>40 4|382b13 385l8 385t16 200r23 Container{53R9} 4|382b23 384r20 200*40 Key{41+9} 4|382b40 384r31 202V14*"<"{boolean} 202>18 202>24 4|124b14 141l9 141t11 202r18 Left{59R9} 4|124b18 126r10 134r27 134r48 140r14 202r24 Right{59R9} 4|124b24 130r10 137r27 137r49 140r30 204V14*">"{boolean} 204>18 204>24 4|180b14 197l9 197t11 204r18 Left{59R9} 4|180b18 182r10 190r27 190r48 196r31 204r24 Right{59R9} 4|180b24 186r10 193r27 193r49 196r14 206V14*"<"{boolean} 206>18 206>33 4|143b14 153l9 153t11 206r18 Left{59R9} 4|143b18 145r10 149r27 149r48 152r14 206*33 Right{41+9} 4|143b33 152r30 208V14*">"{boolean} 208>18 208>33 4|199b14 209l9 209t11 208r18 Left{59R9} 4|199b18 201r10 205r27 205r48 208r22 208*33 Right{41+9} 4|199b33 208r14 210V14*"<"{boolean} 210>18 210>35 4|155b14 165l9 165t11 210*18 Left{41+9} 4|155b18 164r14 210r35 Right{59R9} 4|155b35 157r10 161r27 161r49 164r21 212V14*">"{boolean} 212>18 212>35 4|211b14 221l9 221t11 212*18 Left{41+9} 4|211b18 220r31 212r35 Right{59R9} 4|211b35 213r10 217r27 217r49 220r14 214U14*Iterate 215>7 216^7 4|874b14 909l8 909t15 215r7 Container{53R9} 4|875b7 890r27 893r27 901r25 216p7 Process 4|876b7 890r10 216r46 Position{59R9} 218U14*Reverse_Iterate 219>7 220^7 4|1431b14 1466l8 1466t23 219r7 Container{53R9} 4|1432b7 1447r27 1450r27 1458r33 220p7 Process 4|1433b7 1447r10 220r46 Position{59R9} 226V13*Iterate<12|32R9[68]> 227>7 4|911b13 934l8 934t15 227r7 Container{53R9} 4|912b7 914r28 929r25 230V13*Iterate<12|32R9[68]> 231>7 232>7 4|936b13 982l8 982t15 231r7 Container{53R9} 4|936b22 939r28 958r29 963r27 977r25 232r7 Start{59R9} 4|936b39 953r10 958r10 963r43 978r25 240R9 Node_Type 241r31 243c9 253r46 4|404r13 664r42 739r21 798r21 1267r36 241P9 Node_Access(240R9) 244r17 245r17 246r17 253r57 285r19 361r19 4|49r27 . 52r26 52r46 55r28 55r48 58r27 58r47 61r33 61r55 64r31 64r51 67r32 67r53 . 70r32 77r33 77r53 80r31 82r40 87r15 92r15 254r37 264r37 285r23 310r27 356r23 . 402r33 402r53 403r25 442r11 458r11 472r11 499r23 529r11 574r23 649r23 662r31 . 664r53 724r32 737r32 783r32 796r32 832r14 850r15 864r15 878r38 888r38 1069r26 . 1069r46 1114r26 1146r28 1146r48 1170r26 1254r66 1265r66 1267r17 1349r23 . 1380r23 1435r38 1445r38 1472r27 1472r47 1482r15 1493r31 1493r51 1502r33 . 1502r55 1511r32 1511r53 1579r19 1591r19 244p7 Parent{241P9} 4|407m24 671m9 742m32 801m32 1148r19 1504m12 245p7 Left{241P9} 4|408m24 672m9 743m32 802m32 1071r19 1495m12 246p7 Right{241P9} 4|409m24 673m9 744m32 803m32 1474r19 1513m12 247e7 Color{5|35E9} 4|312r19 404m24 404r42 741m32 800m32 1486m12 248*7 Key{41+9} 4|140r24 140r41 152r24 164r32 196r25 196r41 208r32 220r25 . 266r37 405m24 405r42 640r25 708m24 739m32 798m32 835r12 835r20 837r15 837r23 . 855r20 867r27 998r28 1061r24 1228m48 1269r38 1392m12 1551m48 1594r39 249*7 Element{42+9} 4|266r59 343m38 369m29 406m24 406r42 495r28 506r19 626r25 . 709m24 740m32 840r19 840r31 1047r24 1229m52 1270r42 1336m38 1362m29 1393m12 . 1424m21 1552m52 1595r43 252K12 Tree_Types[5|40] 256r14 264r8 4|100r47 256r7 Tree{5|41R12[252]} 348m35 4|134r42 137r43 149r42 161r43 173r29 173r41 . 190r42 193r43 205r42 217r43 232m25 239m57 277r28 285r65 303m24 334r37 338m55 . 356r62 364m66 419m42 442r50 449m56 458r36 462m59 472r36 476m59 492r46 499r62 . 529r50 533m59 546m54 557m57 574r62 585m39 621m39 635m39 649r63 703r23 751m20 . 810m20 824r24 893m37 901r35 914m38 939m38 963r37 995r46 1006m39 1042m39 . 1056m39 1080r24 1092m30 1092m53 1110r46 1166r46 1214r46 1218m51 1281m31 . 1327r37 1331m55 1349r62 1357m66 1380r62 1387r20 1416r20 1421r37 1450m37 . 1458r43 1537r37 1541m42 1601r32 259U25 Adjust<11|52p14> 259=33 4|230b14 233l8 233t14 259r33 Container{53R9} 4|230b22 232m15 232r15 261U25 Finalize=261:67<11|53p14> 261r35 Container{53R9} 268U14 Write 269^7 270>7 4|1573b14 1602l8 1602t13 269p7 Stream(13|39R9) 4|1574b7 1601r14 270r7 Container{53R9} 4|1575b7 1601r22 274U14 Read 275^7 276<7 4|1249b14 1282l8 1282t12 275p7 Stream(13|39R9) 4|1250b7 1281r13 276r7 Container{53R9} 4|1251b7 1281m21 1281r21 280P9 Map_Access(53R9) 281r8 284r19 302r22 360r19 284p7 Container{280P9} 4|134r31 134r32 137r32 137r33 149r31 149r32 161r32 . 161r33 190r31 190r32 193r32 193r33 205r31 205r32 217r32 217r33 324r19 329r19 . 338r41 344r50 427r19 438m16 492r35 492r36 756m16 815m16 958r16 995r35 995r36 . 1110r35 1110r36 1121r34 1130r19 1134r19 1166r35 1166r36 1178r34 1187r19 . 1191r19 1214r35 1214r36 1218r40 1218r41 1317r19 1322r19 1331r41 1337r50 . 1411r19 1532r19 285p7 Node{241P9} 4|126r15 130r16 134r53 137r55 140r18 140r19 140r35 140r36 . 145r15 149r53 152r18 152r19 157r16 161r55 164r26 164r27 182r15 186r16 190r53 . 193r55 196r19 196r20 196r35 196r36 201r15 205r53 208r26 208r27 213r16 217r55 . 220r19 220r20 334r52 343r32 343r33 422r19 432r42 435r61 436m22 487r19 492r61 . 495r22 495r23 708r18 708r19 709r18 709r19 753m19 812m19 963r49 978r31 990r19 . 995r61 998r22 998r23 1110r61 1114r72 1166r61 1171r47 1209r19 1214r61 1228r42 . 1228r43 1229r46 1229r47 1327r52 1336r32 1336r33 1406r19 1421r52 1424r15 . 1424r16 1527r19 1537r52 1551r42 1551r43 1552r46 1552r47 288U14 Write 289^7 290>7 4|1604b14 1610l8 1610t13 289p7 Stream(13|39R9) 4|1605b7 290r7 Item{59R9} 4|1606b7 294U14 Read 295^7 296<7 4|1284b14 1290l8 1290t12 295p7 Stream(13|39R9) 4|1285b7 296r7 Item{59R9} 4|1286b7 300R9 Reference_Control_Type<11|48R9> 303e17 305P25 305r50 308P25 308r52 . 314r20 332r20 4|235r39 553r41 11|51P14 302p10 Container{280P9} 4|237r18 239r43 555r18 557r43 565m18 305U25 Adjust<11|52p14> 305=33 4|235b14 247l8 247t14 305r33 Control{300R9} 4|235b22 237r10 239r35 308U25 Finalize<11|53p14> 308=35 4|553b14 567l8 567t16 308r35 Control{300R9} 4|553b24 555r10 557r35 565m10 314r10 Control{300R9} 4|344m13 370m13 317U14 Read 318^7 319<7 4|1300b14 1306l8 1306t12 318p7 Stream(13|39R9) 4|1301b7 319r7 Item{99R9} 4|1302b7 323U14 Write 324^7 325>7 4|1620b14 1626l8 1626t13 324p7 Stream(13|39R9) 4|1621b7 325r7 Item{99R9} 4|1622b7 332r10 Control{300R9} 4|1337m13 1363m13 335U14 Read 336^7 337<7 4|1292b14 1298l8 1298t12 336p7 Stream(13|39R9) 4|1293b7 337r7 Item{104R9} 4|1294b7 341U14 Write 342^7 343>7 4|1612b14 1618l8 1618t13 342p7 Stream(13|39R9) 4|1613b7 343r7 Item{104R9} 4|1614b7 357R9 Iterator<11|55R9><12|32R9[68]> 362e14 364P25 364r51 366P24 366r40 367P24 . 367r40 369P24 370r18 373P24 374r18 4|542r40 594r29 927r28 975r28 1015r28 . 1126r18 1183r18 11|58P14 19|42p14 360p7 Container{280P9} 4|544r17 546r40 610r23 610r24 612r32 929m12 977m12 . 1031r23 1031r24 1033r32 1134r39 1191r39 361p7 Node{241P9} 4|609r17 612r50 930m12 978m12 1030r17 1033r50 364U25 Finalize<11|59p14> 364=35 4|542b14 551l8 551t16 364r35 Object{357R9} 4|542b24 544r10 546r33 366V24 First{59R9}<12|26p13> 366>31 4|594b13 614l8 614t13 366r31 Object{357R9} 4|594b20 609r10 610r17 612r25 612r43 367V24 Last{59R9}<12|34p13> 367>31 4|1015b13 1035l8 1035t12 367r31 Object{357R9} 4|1015b19 1030r10 1031r17 1033r25 1033r43 369V24 Next{59R9}<12|28p13> 370>7 371>7 4|1125b13 1140l8 1140t12 370r7 Object{357R9} 4|1126b7 1134r32 371r7 Position{59R9} 4|1127b7 1130r10 1134r10 1139r20 373V24 Previous{59R9}<12|36p13> 374>7 375>7 4|1182b13 1197l8 1197t16 374r7 Object{357R9} 4|1183b7 1191r32 375r7 Position{59R9} 4|1184b7 1187r10 1191r10 1196r24 X 4 a-coorma.adb 49V13 Color{5|35E9} 49>20 50r19 310b13 313l8 313t13 8|45i19 49p20 Node{3|241P9} 310b20 312r14 52V13 Left{3|241P9} 52>19 53r19 1069b13 1072l8 1072t12 8|41i19 52p19 Node{3|241P9} 1069b19 1071r14 55V13 Parent{3|241P9} 55>21 56r19 1146b13 1149l8 1149t14 8|39i19 55p21 Node{3|241P9} 1146b21 1148r14 58V13 Right{3|241P9} 58>20 59r19 1472b13 1475l8 1475t13 8|43i19 58p20 Node{3|241P9} 1472b20 1474r14 61U14 Set_Parent 61>26 61>46 62r19 1502b14 1505l8 1505t18 8|40i19 61p26 Node{3|241P9} 1502b26 1504r7 61p46 Parent{3|241P9} 1502b46 1504r22 64U14 Set_Left 64>24 64>44 65r19 1493b14 1496l8 1496t16 8|42i19 64p24 Node{3|241P9} 1493b24 1495r7 64p44 Left{3|241P9} 1493b44 1495r20 67U14 Set_Right 67>25 67>45 68r19 1511b14 1514l8 1514t17 8|44i19 67p25 Node{3|241P9} 1511b25 1513r7 67p45 Right{3|241P9} 1511b45 1513r21 70U14 Set_Color 70>25 70>45 71r19 1481b14 1487l8 1487t17 8|46i19 70p25 Node{3|241P9} 1482b7 1486r7 70e45 Color{5|35E9} 1483b7 1486r21 77V13 Copy_Node{3|241P9} 77>24 78r19 106r46 402b13 412l8 412t17 77p24 Source{3|241P9} 402b24 404r35 405r35 406r35 80U14 Free 80=20 103r48 436s7 450s7 463s10 477s10 534s10 662b14 676l8 676t12 . 1274s13 80p20 X{3|241P9} 662b20 667r10 671r7 671r19 672r7 672r17 673r7 673r18 675m19 82V13 Is_Equal_Node_Node{boolean} 82>33 82>36 83r19 118r41 831b13 842l8 842t26 82p33 L{3|241P9} 832b7 835r10 837r21 840r17 82p36 R{3|241P9} 832b10 835r18 837r13 840r29 85V13 Is_Greater_Key_Node{boolean} 86>7 87>7 88r19 115r32 848b13 856l8 856t27 86*7 Left{3|41+9} 849b7 855r26 87p7 Right{3|241P9} 850b7 855r14 90V13 Is_Less_Key_Node{boolean} 91>7 92>7 93r19 114r32 862b13 868l8 868t24 91*7 Left{3|41+9} 863b7 867r14 92p7 Right{3|241P9} 864b7 867r21 99K12 Tree_Operations[8|48] 103r11 106r11 108r8 112r32 118r10 228r11 258r14 . 299r27 435r7 449r7 462r10 476r10 533r10 882r14 1088r11 1114r41 1171r12 . 1258r14 1439r14 1583r14 102U14 Delete_Tree[8|89] 106r57 299r58 105V13 Copy_Tree[8|95]{3|241P9} 228r43 110K12 Key_Ops[6|50] 285r38 356r38 442r26 499r38 529r26 574r38 649r38 728r13 . 731r13 787r13 790r13 1349r38 1380r38 117V13 Is_Equal[8|76]{boolean} 173s14 227U14 Adjust[8|103] 232s7 239r13 T{5|41R12[3|252]} 240r33 241r33 240i13 B{natural} 243r13 243r18 241i13 L{natural} 244r13 244r18 254U17 Insert_Item 254>30 255r22 258r49 264b17 267l11 267t22 254p30 Node{3|241P9} 264b30 266r32 266r54 257U17 Insert_Items[8|125] 277s7 285p7 Node{3|241P9} 288r10 292r53 299U14 Clear[8|111] 303s7 1088r41 1258r44 338r10 T{5|41R12[3|252]} 339r30 340r30 339i10 B{natural} 346r13 346r18 340i10 L{natural} 347r13 347r18 342r17 R{3|99R9} 356p7 Node{3|241P9} 359r10 369r24 364r10 T{5|41R12[3|252]} 365r30 366r30 365i10 B{natural} 372r13 372r18 366i10 L{natural} 373r13 373r18 368r17 R{3|99R9} 393r14 Target{3|53R9} 394m10 394r10 403p7 Target{3|241P9} 411r14 419r7 Tree{5|41R12[3|252]} 432r27 435r46 442p7 X{3|241P9} 445r10 449r62 450m13 450r13 458p7 X{3|241P9} 461r10 462r65 463m16 463r16 472p7 X{3|241P9} 475r10 476r65 477m16 477r16 499p7 Node{3|241P9} 502r10 506r14 529p7 X{3|241P9} 532r10 533r65 534m16 534r16 546i13 B{natural} 548r13 548r18 557r13 T{5|41R12[3|252]} 558r33 559r33 558i13 B{natural} 561r13 561r18 559i13 L{natural} 562r13 562r18 574p7 Node{3|241P9} 576r18 577r61 585r7 T{5|41R12[3|252]} 587r10 590r56 621r7 T{5|41R12[3|252]} 623r10 626r17 635r7 T{5|41R12[3|252]} 637r10 640r17 649p7 Node{3|241P9} 651r10 654r56 663U17 Deallocate[16|20] 675s7 696r7 Position{3|59R9} 700m41 708r10 709r10 697b7 Inserted{boolean} 700m51 702r14 724V16 New_Node{3|241P9} 725r22 728r42 737b16 745l11 745t19 727U17 Insert_Post[6|55] 731r49 730U17 Insert_Sans_Hint[6|74] 750s7 764r7 Position{3|59R9} 765r28 770m41 767b7 Inserted{boolean} 770m51 772r14 783V16 New_Node{3|241P9} 784r22 787r42 796b16 804l11 804t19 786U17 Insert_Post[6|55] 790r49 789U17 Insert_Sans_Hint[6|74] 809s7 876r46 Position{3|59R9} 878U17 Process_Node 878>31 879r22 882r49 888b17 891l11 891t23 878p31 Node{3|241P9} 888b31 890r58 881U17 Local_Iterate[8|125] 901s10 893i7 B{natural} 898r7 898r12 904r13 904r18 908r7 908r12 914i7 B{natural} 932r10 932r15 927r14 It{3|357R9} 939i7 B{natural} 980r10 980r15 975r14 It{3|357R9} 1006r7 T{5|41R12[3|252]} 1008r10 1011r56 1042r7 T{5|41R12[3|252]} 1044r10 1047r17 1056r7 T{5|41R12[3|252]} 1058r10 1061r17 1087U14 Move[8|117] 1092s7 1114p10 Node{3|241P9} 1117r13 1121r45 1170p10 Node{3|241P9} 1174r13 1178r45 1205*45 Key{3|41+9} 1206*45 Element{3|42+9} 1218r10 T{5|41R12[3|252]} 1220r30 1221r30 1220i10 B{natural} 1224r10 1224r15 1236r16 1236r21 1241r10 1241r15 1221i10 L{natural} 1225r10 1225r15 1235r16 1235r21 1240r10 1240r15 1228*13 K{3|41+9} 1232r22 1229*13 E{3|42+9} 1232r25 1253V16 Read_Node{3|241P9} 1254^10 1255r22 1258r51 1264b16 1276l11 1276t20 1254p10 Stream(13|39R9) 1265b10 1269r25 1270r29 1257U17 Read[8|150] 1281s7 1267p10 Node{3|241P9} 1269r33 1270r37 1271r17 1274m19 1274r19 1331r10 T{5|41R12[3|252]} 1332r30 1333r30 1332i10 B{natural} 1339r13 1339r18 1333i10 L{natural} 1340r13 1340r18 1335r17 R{3|104R9} 1349p7 Node{3|241P9} 1352r10 1362r24 1357r10 T{5|41R12[3|252]} 1358r30 1359r30 1358i10 B{natural} 1365r13 1365r18 1359i10 L{natural} 1366r13 1366r18 1361r17 R{3|104R9} 1380p7 Node{3|241P9} 1383r10 1392r7 1393r7 1433r46 Position{3|59R9} 1435U17 Process_Node 1435>31 1436r22 1439r57 1445b17 1448l11 1448t23 1435p31 Node{3|241P9} 1445b31 1447r58 1438U17 Local_Reverse_Iterate[8|131] 1458s10 1450i7 B{natural} 1455r7 1455r12 1461r13 1461r18 1465r7 1465r12 1523*46 Key{3|41+9} 1524*46 Element{3|42+9} 1541r10 T{5|41R12[3|252]} 1543r30 1544r30 1543i10 B{natural} 1547r10 1547r15 1560r16 1560r21 1565r10 1565r15 1544i10 L{natural} 1548r10 1548r15 1559r16 1559r21 1564r10 1564r15 1551*13 K{3|41+9} 1555r22 1552*13 E{3|42+9} 1555r25 1577U17 Write_Node 1578^10 1579>10 1580r22 1583r45 1589b17 1596l11 1596t21 1578p10 Stream(13|39R9) 1590b10 1594r26 1595r30 1579p10 Node{3|241P9} 1591b10 1594r34 1595r38 1582U17 Write[8|139] 1601s7 X 5 a-crbltr.ads 32K24*Red_Black_Trees 3|36w29 247r17 247r47 253r10 263r8 4|32r21 35r21 100r11 . 111r10 741r43 800r43 5|75e35 35E9*Color_Type 3|247r33 4|49r47 70r53 310r47 1483r15 5|35e35 35n24*Red{35E9} 3|247r63 4|741r59 800r59 40k12*Generic_Tree_Types 3|253r26 5|49e26 41R12 Tree_Type 3|256r25[252] 4|239r17[3|252] 338r14[3|252] 364r14[3|252] . 419r14[3|252] 557r17[3|252] 585r11[3|252] 621r11[3|252] 635r11[3|252] 1006r11[3|252] . 1042r11[3|252] 1056r11[3|252] 1218r14[3|252] 1331r14[3|252] 1357r14[3|252] . 1541r14[3|252] 42p10 First{3|241P9} 3|348m44[252] 4|458r41[3|252] 587r12[3|252] 590r58[3|252] . 623r12[3|252] 626r18[3|252] 626r19[3|252] 637r12[3|252] 640r18[3|252] 640r19[3|252] 43p10 Last{3|241P9} 3|349m44[252] 4|472r41[3|252] 1008r12[3|252] 1011r58[3|252] . 1044r12[3|252] 1047r18[3|252] 1047r19[3|252] 1058r12[3|252] 1061r18[3|252] . 1061r19[3|252] 44p10 Root{3|241P9} 3|350m44[252] 45i10 Length{2|20I9} 3|351m44[252] 4|824r29[3|252] 1080r29[3|252] 46i10 Busy{natural} 3|352m44[252] 4|240m35[3|252] 339m32[3|252] 365m32[3|252] . 546m59[3|252] 558m35[3|252] 893m66[3|252] 914m67[3|252] 939m67[3|252] 1220m32[3|252] . 1332m32[3|252] 1358m32[3|252] 1450m66[3|252] 1543m32[3|252] 47i10 Lock{natural} 3|353m44[252] 4|241m35[3|252] 340m32[3|252] 366m32[3|252] . 559m35[3|252] 703r28[3|252] 1221m32[3|252] 1333m32[3|252] 1359m32[3|252] . 1387r25[3|252] 1416r25[3|252] 1544m32[3|252] X 6 a-crbtgk.ads 36K17 Tree_Operations 4|112r9 40+9 Key_Type 4|113r9 42V18 Is_Less_Key_Node{boolean} 4|114r9 46V18 Is_Greater_Key_Node{boolean} 4|115r9 50k40*Generic_Keys 4|35w37 111r26 6|192e48 55u14 Generic_Insert_Post 4|728r21[110] 787r21[110] 74u14 Generic_Conditional_Insert 4|731r21[110] 790r21[110] 156V13 Find{3|241P9} 4|356s46[110] 442s34[110] 499s46[110] 529s34[110] 574s46[110] . 1349s46[110] 1380s46[110] 161V13 Ceiling{3|241P9} 4|285s46[110] 166V13 Floor{3|241P9} 4|649s46[110] X 8 a-crbtgo.ads 48k40*Generic_Operations 4|32w37 100r27 8|163e54 64V13 Vet{boolean} 4|134s22[99] 137s22[99] 149s22[99] 161s22[99] 190s22[99] . 193s22[99] 205s22[99] 217s22[99] 334s22[99] 432s22[99] 492s22[99] 963s22[99] . 995s22[99] 1110s22[99] 1166s22[99] 1214s22[99] 1327s22[99] 1421s22[99] . 1537s22[99] 68V13 Next{3|241P9} 4|1114s57[99] 71V13 Previous{3|241P9} 4|1171s28[99] 76v13 Generic_Equal 4|118r26[99] 81U14 Delete_Node_Sans_Free 4|435s23[99] 449s23[99] 462s26[99] 476s26[99] . 533s26[99] 89u14 Generic_Delete_Tree 4|103r27[99] 95v13 Generic_Copy_Tree 4|106r27[99] 103u14 Generic_Adjust 4|228r27[99] 111u14 Generic_Clear 4|299r43[99] 117u14 Generic_Move 4|1088r27[99] 117r28 Target{5|41R12[3|252]} 4|1092r13[1087] 117r36 Source{5|41R12[3|252]} 4|1092r36[1087] 125u14 Generic_Iteration 4|258r30[99] 882r30[99] 131u14 Generic_Reverse_Iteration 4|1439r30[99] 139u14 Generic_Write 4|1583r30[99] 150u14 Generic_Read 4|1258r30[99] X 11 a-finali.ads 40K13*Finalization 3|37w18 255r24 265r12 11|73e21 48H9*Controlled<19|40R9> 3|255r37 301r11 348r19 4|344r25 370r25 1337r25 1363r25 . 11|64e72 51U14*Initialize<19|44p14> 55H9*Limited_Controlled<19|40R9> 3|357r25 4|928r10 976r10 11|71e55 58U14*Initialize<19|44p14> X 12 a-iteint.ads 21k13*Iterator_Interfaces 3|34w10 69r10 12|39e28 24h9 Forward_Iterator 32h9 Reversible_Iterator<24R9[3|68]> 3|228r38[68] 233r38[68] 358r30[68] 4|912r55[3|68] . 937r38[3|68] X 13 a-stream.ads 36K13*Streams 3|38w18 266r12 13|84e16 39H9*Root_Stream_Type 3|269r35 275r35 289r32 295r32 318r32 324r32 336r32 . 342r32 4|1250r35 1254r35 1265r35 1285r32 1293r32 1301r32 1574r35 1578r35 . 1590r35 1605r32 1613r32 1621r32 13|67e64 X 16 a-uncdea.ads 20u15*Unchecked_Deallocation 4|30w10 664r18 X 17 system.ads 42K9*System 4|38w6 38r23 17|160e11 69M9*Address 4|38r30 86V14*"="{boolean} 4|272r25 X 19 s-finroo.ads 42U14*Adjust