V "GNAT Lib v4.8" 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_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 U ada.containers.indefinite_hashed_maps%b a-cihama.adb b411c2e6 NE OL PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali W ada.containers.hash_tables%s a-cohata.ads a-cohata.ali W ada.containers.hash_tables.generic_keys%s W ada.containers.hash_tables.generic_operations%s Z ada.containers.prime_numbers%s a-coprnu.adb a-coprnu.ali Z ada.streams%s a-stream.ads a-stream.ali W ada.unchecked_deallocation%s W system%s system.ads system.ali U ada.containers.indefinite_hashed_maps%s a-cihama.ads 9950a8d8 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.hash_tables%s a-cohata.ads a-cohata.ali W ada.finalization%s a-finali.adb a-finali.ali W ada.iterator_interfaces%s W ada.streams%s a-stream.ads a-stream.ali D ada.ads 20070406121342 3ffc8e18 D a-contai.ads 20101025165030 61e5e089 D a-cohata.ads 20110804181834 04abccc5 D a-chtgke.ads 20090409180020 fba5dead D a-chtgke.adb 20100909163812 2dde331d D a-chtgop.ads 20090409180020 ee32f6e8 D a-chtgop.adb 20100909163812 cd0e5151 D a-cihama.ads 20120217171546 fe25b351 D a-cihama.adb 20121001124122 e8d6c8b3 D a-coprnu.ads 20090409180020 0cdf1864 D a-except.ads 20120716155142 10fcae55 D a-finali.ads 20111121143556 52ecdc1b D a-iteint.ads 20110906122602 7c7305e9 D a-stream.ads 20090409180020 2ca4ee37 D a-tags.ads 20111212145430 6c0509d0 D a-unccon.ads 20070406121342 f9eb8f06 D a-uncdea.ads 20070406121342 f15a5ed1 D system.ads 20150624111858 462fcf90 D s-exctab.ads 20090417161548 66e51330 D s-finroo.ads 20120426125924 4ff27390 D s-parame.ads 20110830170626 b6e20cc0 D s-soflin.ads 20120515124620 24c8153c D s-stache.ads 20090417160712 596fc1b4 D s-stalib.ads 20130104154956 f78bcf95 D s-stoele.ads 20090417160712 facd7d98 D s-stoele.adb 20100617182356 afc5dc80 D s-traent.ads 20090417160712 5221ee41 X 1 ada.ads 16K9*Ada 19e8 8|34r6 36r14 37r14 38r14 48r9 75r6 326r20 335r8 336r8 421r5 . 9|30r6 33r6 36r6 40r14 43r11 46r11 103r26 608r14 1443r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 8|36r18 48r13 421r9 9|30r10 33r10 40r18 103r30 . 1443r9 19M9*Hash_Type 8|44r47 9|81r51 568r26 661r51 20I9*Count_Type 8|88r47 92r67 102r45 169r44 9|193r47 297r18 299r11 . 883r45 1255r19 22X4*Capacity_Error 9|309r16 X 3 a-cohata.ads 33K24*Hash_Tables 76e31 8|36w29 324r11 9|30r21 33r21 103r41 111r27 38+12 Node_Type 40P12 Node_Access(38+12[4|34]) 42k12*Generic_Hash_Table_Types 55e32 8|324r23 43A12 Buckets_Type(8|312P9)<2|19M9> 45P12 Buckets_Access(43A12[8|323]) 49R12 Hash_Table_Type 8|327r21[323] 9|75r16[8|323] 144r18[8|323] 237r15[8|323] . 268r15[8|323] 533r18[8|323] 565r16[8|323] 757r12[8|323] 929r17[8|323] 980r15[8|323] . 1105r15[8|323] 1136r15[8|323] 1301r15[8|323] 1356r15[8|323] 50p10 Buckets{45P12[8|323]} 9|569r36[8|323] 569r37[8|323] 1364r16[8|323] . 1365r23[8|323] 1370r17[8|323] 1370r18[8|323] 51i10 Length{2|20I9} 9|769r21[8|323] 771r42[8|323] 802r27[8|323] 885r27[8|323] . 1360r16[8|323] 1372r27[8|323] 52i10 Busy{natural} 9|145m36[8|323] 238m33[8|323] 269m33[8|323] 367r23[8|323] . 521m57[8|323] 534m36[8|323] 828m64[8|323] 849m65[8|323] 982m33[8|323] 1106m33[8|323] . 1137m33[8|323] 1303m33[8|323] 53i10 Lock{natural} 9|146m36[8|323] 239m33[8|323] 270m33[8|323] 535m36[8|323] . 685r26[8|323] 983m33[8|323] 1107m33[8|323] 1138m33[8|323] 1170r23[8|323] . 1227r32[8|323] 1304m33[8|323] X 4 a-chtgke.ads 34K17 HT_Types 9|112r7 39V18 Next{3|40P12[34]} 9|113r7 41U19 Set_Next 9|114r7 45+9 Key_Type 9|115r7 47V18 Hash{2|19M9} 9|116r7 49V18 Equivalent_Keys{boolean} 9|117r7 53k36*Generic_Keys 104e44 9|33w33 111r39 56V13 Index{2|19M9} 9|568s47[111] 1370s35[111] 62U14 Delete_Key_Sans_Free 9|346s15[111] 504s15[111] 70V13 Find{8|312P9} 9|255s46[111] 385s46[111] 550s46[111] 1123s46[111] 1159s46[111] 75u14 Generic_Conditional_Insert 9|730r21[111] X 6 a-chtgop.ads 37K17 HT_Types 9|104r7 42V18 Hash_Node{2|19M9} 9|105r7 44V18 Next{3|40P12[37]} 9|106r7 46U19 Set_Next 9|107r7 50V19 Copy_Node{3|40P12[37]} 9|108r7 52U19 Free 9|109r7 54k36*Generic_Operations 174e50 9|30w33 103r53 74U14 Adjust 9|136s14[103] 80U14 Finalize 9|514s14[103] 88v13 Generic_Equal 9|123r36[103] 96U14 Clear 9|204s14[103] 101U14 Move 9|897s14[103] 101r20 Target{3|49R12[8|323]} 9|897r20[103] 101r28 Source{3|49R12[8|323]} 9|897r41[103] 107V13 Capacity{2|20I9} 9|195s21[103] 762s17[103] 769s37[103] 110U14 Reserve_Capacity 9|763s17[103] 771s17[103] 1258s14[103] 119U14 Delete_Node_Sans_Free 9|374s14[103] 124V13 First{8|312P9} 9|588s45[103] 128V13 Next{8|312P9} 9|930s48[103] 138u14 Generic_Iteration 9|162r44[103] 817r21[103] 146u14 Generic_Write 9|1396r40[103] 156u14 Generic_Read 9|1011r39[103] X 8 a-cihama.ads 41+9 Key_Type 44r30 45r49 111r44 125r55 133r56 159r19 164r19 177r19 195r19 . 206r19 217r19 226r53 235r52 264r42 270r46 273r45 280r53 284r37 314r30 9|43r39 . 70r14 115r26 253r19 286r46 324r29 342r52 384r45 418r14 459r15 478r15 501r53 . 549r42 672r19 693r35 722r19 737r33 779r19 862r44 960r55 990r17 1056r26 . 1056r36 1121r19 1156r19 1178r23 1277r56 1311r17 1439r7 42+9 Element_Type 46r37 56r28 114r48 120r19 126r55 134r63 139r43 143r51 178r19 . 196r19 207r19 218r19 273r62 315r34 382r43 400r34 9|46r39 328r16 384r62 . 396r48 673r19 703r42 723r19 747r19 780r19 961r55 991r17 1064r30 1064r44 . 1157r19 1188r30 1207r19 1244r39 1278r63 1312r17 1440r7 44V18 Hash{2|19M9} 44>24 9|116r26 663s14 44*24 Key{41+9} 45V18 Equivalent_Keys{boolean} 45>35 45>41 9|422s14 454s14 474s14 494s14 . 573s13 45*35 Left{41+9} 45*41 Right{41+9} 46V19 "="{boolean} 46>23 46>29 9|574s39 46*23 Left{42+9} 46*29 Right{42+9} 48k24*Indefinite_Hashed_Maps 2|16k13 8|41z9 42z9 44z18 45z18 46z19 421l20 . 421e42 9|40b29 1443l20 1443t42 52R9*Map 58r41 63r25 77P25 77r43 88p13 88r35 92p14 92r51 102p13 102r33 105p13 . 105r35 108p14 108r40 117p14 118r26 130p14 131r26 147p13 148r27 152p13 153r34 . 157p13 158r27 162p13 163r34 167p14 167r38 167r52 169p13 169r28 169r68 171p14 . 171r36 171r57 175p14 176r26 193p14 194r26 204p14 205r26 215p14 216r26 226p14 . 226r42 235p14 235r41 243p14 243r41 249p13 249r32 264p13 264r31 270p13 270r35 . 273p13 273r34 288p14 289r19 293p13 293r34 326c9 328e14 330P25 330r54 332P25 . 332r54 338p14 340r19 342r8 344p14 346r23 348r8 350r34 417r25 9|125r43 134r41 . 143r17 158r38 158r52 193r35 202r40 212r27 236r14 252r27 267r14 286r35 296r18 . 297r42 313r23 342r41 355r41 384r34 501r42 512r43 532r17 549r31 587r32 671r26 . 721r26 778r26 800r35 810r19 847r19 883r33 893r23 894r23 979r15 1015r23 . 1080r34 1104r14 1120r34 1135r14 1155r26 1205r26 1254r26 1275r26 1400r19 . 12|51P14 60R9*Cursor 61r41 67r26 71r37 75r31 111r29 114r33 119r19 124r18 132r19 149r19 . 154r19 179r23 243r64 249r44 253r30 253r45 261r38 264r59 276r44 280r37 284r55 . 290r57 353c9 356e14 360r16 362r8 366r20 368r8 419r26 9|56r57 60r18 60r33 . 93r29 213r19 355r64 396r33 429r44 458r15 479r15 549r59 557r14 587r44 593r17 . 597r46 651r37 675r18 724r23 782r18 811r57 825r19 862r29 909r38 914r30 914r45 . 935r20 940r49 940r64 959r18 1023r20 1081r19 1206r19 1276r19 1333r29 1408r16 63r4*Empty_Map{52R9} 417c4 67r4*No_Element{60R9} 419c4 9|288r39 554r17 591r17 917r17 933r20 943r17 71V13*Has_Element{boolean} 71>26 75r39 307r19 9|651b13 655l8 655t19 71r26 Position{60R9} 9|651b26 653r27 654r14 74K12*Map_Iterator_Interfaces[13|21] 294r14 9|49r6 847r31 77V25*"="{boolean} 77>29 77>35 9|125b25 128l9 128t11 77r29 Left{52R9} 9|125b29 127r24 77r35 Right{52R9} 9|125b35 127r33 88V13*Capacity{2|20I9} 88>23 305r19 9|182s17 193b13 196l8 196t16 88r23 Container{52R9} 9|193b23 195r31 92U14*Reserve_Capacity 92=32 92>56 306r19 9|183s17 314s17 1253b14 1259l8 . 1259t24 92r32 Container{52R9} 9|1254b7 1258m32 1258r32 92i56 Capacity{2|20I9} 9|1255b7 1258r46 102V13*Length{2|20I9} 102>21 298r19 9|182s35 183s42 303s22 305s32 883b13 . 886l8 886t14 102r21 Container{52R9} 9|883b21 885r14 105V13*Is_Empty{boolean} 105>23 299r19 9|800b13 803l8 803t16 105r23 Container{52R9} 9|800b23 802r14 108U14*Clear 108=21 300r19 9|180s14 202b14 205l8 205t13 108r21 Container{52R9} 9|202b21 204m21 204r21 111V13*Key{41+9} 111>18 301r19 9|862b13 877l8 877t11 111r18 Position{60R9} 9|862b18 864r10 869r10 874r27 876r14 114V13*Element{42+9} 114>22 9|396b13 411l8 411t15 114r22 Position{60R9} 9|396b22 398r10 403r10 408r27 410r14 117U14*Replace_Element 118=7 119>7 120>7 9|1204b14 1247l8 1247t23 118r7 Container{52R9} 9|1205b7 1222m32 1222r32 119r7 Position{60R9} 9|1206b7 1210r10 1215r10 1216r17 1222r10 1227r10 1232r27 . 1235r32 1244m10 120*7 New_Item{42+9} 9|1207b7 1244r53 123U14*Query_Element 124>7 125^7 9|958b14 1005l8 1005t21 124r7 Position{60R9} 9|959b7 964r10 969r10 970r17 976r27 979r27 990r34 991r38 125p7 Process 9|960b7 994r13 125*45 Key{41+9} 126*45 Element{42+9} 130U14*Update_Element 131=7 132>7 133^7 9|1274b14 1327l8 1327t22 131r7 Container{52R9} 9|1275b7 1293m32 1293r32 1301m39 1301r39 132r7 Position{60R9} 9|1276b7 1281r10 1286r10 1287r17 1293r10 1298r27 1311r34 . 1312r38 133p7 Process 9|1277b7 1315r13 133*46 Key{41+9} 134*46 Element{42+9} 138R9*Constant_Reference_Type 139d8 149r34 159r36 381c9 385e17 389r16 391r8 . 395r20 397r8 9|213r34 241r30 253r36 272r30 1039r20 1424r16 143R9*Reference_Type 143d25 154r34 164r36 399c9 403e17 407r16 409r8 413r20 . 415r8 9|1031r20 1081r34 1109r30 1121r36 1140r30 1416r16 147V13*Constant_Reference{138R9} 148>7 149>7 150r19 9|211b13 249l8 249t26 148r7 Container{52R9} 9|212b7 221r32 243r41 149r7 Position{60R9} 9|213b7 216r10 221r10 226r10 232r15 236r26 242r24 152V13*Reference{143R9} 153=7 154>7 155r19 9|1079b13 1117l8 1117t17 153r7 Container{52R9} 9|1080b7 1089m32 1089r32 154r7 Position{60R9} 9|1081b7 1084r10 1089r10 1094r10 1100r15 1104r26 1110r24 . 1111r41 157V13*Constant_Reference{138R9} 158>7 159>7 9|251b13 280l8 280t26 158r7 Container{52R9} 9|252b7 255r52 267r26 274r41 159*7 Key{41+9} 9|253b7 255r66 162V13*Reference{143R9} 163=7 164>7 9|1119b13 1148l8 1148t17 163r7 Container{52R9} 9|1120b7 1123r52 1135m26 1135r26 1142m41 1142r41 164*7 Key{41+9} 9|1121b7 1123r66 167U14*Assign 167=22 167>43 9|158b14 187l8 187t14 315s17 167r22 Target{52R9} 9|158b22 170m10 170r10 176m10 176r10 180m7 180r7 182r10 . 183m10 183r10 186r21 167r43 Source{52R9} 9|158b43 176r27 182r28 183r35 169V13*Copy{52R9} 169>19 169>33 9|295b13 317l8 317t12 169r19 Source{52R9} 9|296b7 303r15 305r25 315r25 169i33 Capacity{2|20I9} 9|297b7 302r10 305r13 306r15 171U14*Move 171=20 171=41 303r19 9|892b14 898l8 898t12 171r20 Target{52R9} 9|893b7 897m30 897r30 171r41 Source{52R9} 9|894b7 897m51 897r51 175U14*Insert 176=7 177>7 178>7 179<7 180<7 9|682s7 720b14 775l8 775t14 788s7 176r7 Container{52R9} 9|721b7 757m36 757r36 774m29 774r29 177*7 Key{41+9} 9|722b7 737r43 766r25 178*7 New_Item{42+9} 9|723b7 747r33 179r7 Position{60R9} 9|724b7 766m30 766r30 774m7 180b7 Inserted{boolean} 9|725b7 766m45 768r10 193U14*Insert 194=7 195>7 196>7 9|170s17 777b14 794l8 794t14 194r7 Container{52R9} 9|778b7 788m15 195*7 Key{41+9} 9|170r25 779b7 788r26 196*7 New_Item{42+9} 9|170r46 780b7 788r31 204U14*Include 205=7 206>7 207>7 9|670b14 714l8 714t15 205r7 Container{52R9} 9|671b7 682m15 685r13 206*7 Key{41+9} 9|672b7 682r26 693r45 207*7 New_Item{42+9} 9|673b7 682r31 703r56 215U14*Replace 216=7 217>7 218>7 9|1154b14 1198l8 1198t15 216r7 Container{52R9} 9|1155b7 1159r52 1170r10 217*7 Key{41+9} 9|1156b7 1159r66 1178r33 218*7 New_Item{42+9} 9|1157b7 1188r44 226U14*Exclude 226=23 226>47 9|501b14 506l8 506t15 226r23 Container{52R9} 9|501b23 504m37 504r37 226*47 Key{41+9} 9|501b47 504r51 235U14*Delete 235=22 235>46 9|342b14 353l8 353t14 235r22 Container{52R9} 9|342b22 346m37 346r37 235*46 Key{41+9} 9|342b46 346r51 243U14*Delete 243=22 243=46 9|355b14 378l8 378t14 243r22 Container{52R9} 9|355b22 362m32 362r32 367r10 374m37 374r37 243r46 Position{60R9} 9|355b46 357r10 362r10 372r27 374r51 376m13 376r13 . 377m7 249V13*First{60R9} 249>20 9|587b13 595l8 595t13 599s31 249r20 Container{52R9} 9|587b20 588r52 593r25 253V13*Next{60R9} 253>19 9|911s19 914b13 938l8 938t12 951s14 253r19 Position{60R9} 9|914b19 916r10 920r10 921r17 926r27 929r41 930r58 . 935r28 261U14*Next 261=20 9|909b14 912l8 912t12 261r20 Position{60R9} 9|909b20 911m7 911r25 264V13*Find{60R9} 264>19 264>36 9|288s14 549b13 558l8 558t12 264r19 Container{52R9} 9|549b19 550r52 557r22 264*36 Key{41+9} 9|549b36 550r66 270V13*Contains{boolean} 270>23 270>40 304r19 9|286b13 289l8 289t16 270r23 Container{52R9} 9|286b23 288r20 270*40 Key{41+9} 9|286b40 288r31 273V13*Element{42+9} 273>22 273>39 9|384b13 394l8 394t15 273r22 Container{52R9} 9|384b22 385r52 273*39 Key{41+9} 9|384b39 385r66 276V13*Equivalent_Keys{boolean} 276>30 276>36 9|429b13 455l8 455t23 276r30 Left{60R9} 9|429b30 431r10 441r10 451r27 454r31 276r36 Right{60R9} 9|429b36 436r10 446r10 452r27 454r50 280V13*Equivalent_Keys{boolean} 280>30 280>45 9|457b13 475l8 475t23 280r30 Left{60R9} 9|458b7 462r10 467r10 472r27 474r31 280*45 Right{41+9} 9|459b7 474r50 284V13*Equivalent_Keys{boolean} 284>30 284>47 9|477b13 495l8 495t23 284*30 Left{41+9} 9|478b7 494r31 284r47 Right{60R9} 9|479b7 482r10 487r10 492r27 494r37 288U14*Iterate 289>7 290^7 9|809b14 844l8 844t15 289r7 Container{52R9} 9|810b7 825r27 828r27 836r25 290p7 Process 9|811b7 825r10 290r46 Position{60R9} 293V13*Iterate<13|24R9[74]> 293>22 9|846b13 856l8 856t15 293r22 Container{52R9} 9|847b7 849r28 852r47 311R9 Node_Type 312r31 317c9 324r49 9|329r18 608r42 748r21 1052r33 312P9 Node_Access(311R9) 320r17 324r60 355r19 9|66r31 66r51 71r14 76r16 78r31 . 81r31 84r26 84r46 88r63 90r31 90r51 97r16 159r37 168r37 255r23 323r31 323r51 . 343r11 385r23 419r14 502r11 550r23 566r16 569r17 588r23 606r31 608r53 661r31 . 727r33 727r53 736r33 736r53 813r38 823r38 904r26 904r46 930r26 1050r63 . 1052r14 1123r23 1159r23 1265r31 1265r51 1357r15 1436r16 314P9 Key_Access(41+9) 318r17 9|43r49 324r11 678r11 737r15 1161r11 315P9 Element_Access(42+9) 319r17 9|46r53 325r11 679r11 738r15 1162r11 1235r14 318p7 Key{314P9} 9|170r37 324r44 422r41 441r20 446r21 454r41 454r61 467r20 . 474r41 487r21 494r48 568r67 573r37 573r53 618m22 621m15 663r25 690r29 693m24 . 869r24 876r28 920r24 969r24 990r48 1056m15 1067m28 1175r17 1178m12 1215r24 . 1286r24 1311r48 1347r24 1370r60 1439r37 319p7 Element{315P9} 9|170r63 226r24 242r38 262r15 273r29 328r35 393r19 403r24 . 410r28 574r27 574r48 624m32 627m21 635m26 638m15 691r29 703m27 921r31 970r31 . 991r52 1064m15 1094r24 1110r38 1130r15 1141r29 1176r17 1188m15 1216r31 . 1235r46 1244m24 1287r31 1312r52 1351r24 1440r41 320p7 Next{312P9} 9|577r27 615m9 906r19 1267m12 1343r24 1381r22 1385r20 323K12 HT_Types[3|42] 327r12 334r8 9|104r20 112r26 327r7 HT{3|49R12[323]} 417m49 9|127r29 127r39 136m32 144m44 186r28 195r41 . 204m31 237m41 255r62 268m41 346m47 367r20 374m47 385r62 504m47 514m34 521m54 . 533m44 550r62 588r62 685r23 757m46 802r24 828m61 836r35 849m62 885r24 897m37 . 897m58 929m60 980m41 1018m37 1105m41 1123r62 1136m41 1159r62 1170r20 1227r29 . 1258m42 1301m49 1356m58 1403r38 330U25 Adjust<12|52p14> 330=35 9|134b14 137l8 137t14 330r35 Container{52R9} 9|134b22 136m22 136r22 332U25 Finalize<12|53p14> 332=35 9|512b14 515l8 515t16 332r35 Container{52R9} 9|512b24 514m24 514r24 338U14 Write 339^7 340>7 9|1398b14 1404l8 1404t13 339p7 Stream(14|39R9) 9|1399b7 1403r20 340r7 Container{52R9} 9|1400b7 1403r28 344U14 Read 345^7 346<7 9|1013b14 1019l8 1019t12 345p7 Stream(14|39R9) 9|1014b7 1018r19 346r7 Container{52R9} 9|1015b7 1018m27 1018r27 350P9 Map_Access(52R9) 351r8 354r19 372r22 9|51r19 354p7 Container{350P9} 419m37 9|216r19 221r19 236r35 362r19 377m16 774m16 . 929r49 929r50 935r37 942r19 946r19 979r36 1084r19 1089r19 1104r35 1111r50 . 1222r19 1227r18 1227r19 1293r19 1336r26 1339r19 1356r47 1356r48 355p7 Node{312P9} 419m56 9|226r18 226r19 242r32 242r33 357r19 374r60 376m22 . 398r19 403r18 403r19 410r22 410r23 431r15 436r16 441r14 441r15 446r15 446r16 . 454r35 454r36 454r55 454r56 462r15 467r14 467r15 474r35 474r36 482r16 487r15 . 487r16 494r42 494r43 654r23 690r23 690r24 691r23 691r24 693r18 693r19 703r21 . 703r22 766m39 864r19 869r18 869r19 876r22 876r23 916r19 920r18 920r19 921r25 . 921r26 930r67 964r19 969r18 969r19 970r25 970r26 990r42 990r43 991r46 991r47 . 1094r18 1094r19 1110r32 1110r33 1210r19 1215r18 1215r19 1216r25 1216r26 . 1235r40 1235r41 1244r18 1244r19 1281r19 1286r18 1286r19 1287r25 1287r26 . 1311r42 1311r43 1312r46 1312r47 1335r19 1343r18 1343r19 1343r40 1347r18 . 1347r19 1351r18 1351r19 1370r54 1370r55 1373r29 358U14 Write 359^7 360>7 9|1406b14 1412l8 1412t13 359p7 Stream(14|39R9) 9|1407b7 360r7 Item{60R9} 9|1408b7 364U14 Read 365^7 366<7 9|1021b14 1027l8 1027t12 365p7 Stream(14|39R9) 9|1022b7 366r7 Item{60R9} 9|1023b7 370R9 Reference_Control_Type<12|48R9> 373e17 375P25 375r50 378P25 378r52 . 384r20 402r20 9|139r39 528r41 12|51P14 372p10 Container{350P9} 9|141r18 143r37 530r18 532r37 541m18 375U25 Adjust<12|52p14> 375=33 9|139b14 152l8 152t14 375r33 Control{370R9} 9|139b22 141r10 143r29 378U25 Finalize<12|53p14> 378=35 9|528b14 543l8 543t16 378r35 Control{370R9} 9|528b24 530r10 532r29 541m10 384r10 Control{370R9} 9|243m13 274m13 387U14 Write 388^7 389>7 9|1422b14 1428l8 1428t13 388p7 Stream(14|39R9) 9|1423b7 389r7 Item{138R9} 9|1424b7 393U14 Read 394^7 395<7 9|1037b14 1043l8 1043t12 394p7 Stream(14|39R9) 9|1038b7 395r7 Item{138R9} 9|1039b7 402r10 Control{370R9} 9|1111m13 1142m13 405U14 Write 406^7 407>7 9|1414b14 1420l8 1420t13 406p7 Stream(14|39R9) 9|1415b7 407r7 Item{143R9} 9|1416b7 411U14 Read 412^7 413<7 9|1029b14 1035l8 1035t12 412p7 Stream(14|39R9) 9|1030b7 413r7 Item{143R9} 9|1031b7 X 9 a-cihama.adb 42U14 Free_Key[17|20] 333s10 618s10 707s16 711s10 752s13 1067s13 1192s13 . 1196s7 45U14 Free_Element[17|20] 334s10 624s16 635s10 712s10 753s13 1197s7 1245s10 48R9 Iterator<12|55R9><13|24R9[8|74]> 52e14 54P25 54r51 56P24 56r40 58P24 . 59r18 517r40 597r29 851r28 940r28 12|58P14 20|42p14 51p7 Container{8|350P9} 519r17 521r40 599r20 599r21 852m34 946r39 54U25 Finalize<12|59p14> 54=35 517b14 526l8 526t16 54r35 Object{48R9} 517b24 519r10 521r33 56V24 First{8|60R9}<13|26p13> 56>31 597b13 600l8 600t13 56r31 Object{48R9} 597b20 599r14 58V24 Next{8|60R9}<13|28p13> 59>7 60>7 940b13 952l8 952t12 59r7 Object{48R9} 940b19 946r32 60r7 Position{8|60R9} 940b38 942r10 946r10 951r20 66V13 Copy_Node{8|312P9} 66>24 67r19 108r20 323b13 336l8 336t17 66p24 Node{8|312P9} 323b24 324r39 328r30 69V13 Equivalent_Key_Node{boolean} 70>7 71>7 72r19 117r26 417b13 423l8 423t27 70*7 Key{8|41+9} 418b7 422r31 71p7 Node{8|312P9} 419b7 422r36 74V13 Find_Equal_Key{boolean} 75>7 76>7 123r51 564b13 581l8 581t22 75r7 R_HT{3|49R12[8|323]} 565b7 568r54 569r32 76p7 L_Node{8|312P9} 566b7 568r60 573r30 574r20 78U14 Free 78=20 109r20 352s7 376s7 505s7 606b14 645l8 645t12 1059s13 1068s13 78p20 X{8|312P9} 606b20 611r10 615m7 615r7 615r17 618m20 618r20 621m13 621r13 . 624m30 624r30 627m19 627r19 630m25 635m24 635r24 638m13 638r13 640m25 644m19 81V13 Hash_Node{2|19M9} 81>24 82r19 105r20 661b13 664l8 664t17 81p24 Node{8|312P9} 661b24 663r20 84V13 Next{8|312P9} 84>19 106r20 113r26 904b13 907l8 907t12 84p19 Node{8|312P9} 904b19 906r14 87V13 Read_Node{8|312P9} 88^7 1011r53 1049b13 1073l8 1073t17 88p7 Stream(14|39R9) 1050b7 1056r52 1064r64 90U14 Set_Next 90>24 90>44 91r19 107r20 114r26 1265b14 1268l8 1268t16 90p24 Node{8|312P9} 1265b24 1267m7 1267r7 90p44 Next{8|312P9} 1265b44 1267r20 93V13 Vet{boolean} 93>18 232s10 372s22 408s22 451s22 452s22 472s22 492s22 . 653s22 874s22 926s22 976s22 1100s10 1232s22 1298s22 1333b13 1390l8 1390t11 93r18 Position{8|60R9} 1333b18 1335r10 1336r17 1339r10 1343r10 1343r31 1347r10 . 1351r10 1356r39 1370r46 1373r20 95U14 Write_Node 96^7 97>7 1396r55 1434b14 1441l8 1441t18 96p7 Stream(14|39R9) 1435b7 1439r24 1440r28 97p7 Node{8|312P9} 1436b7 1439r32 1440r36 103K12 HT_Ops[6|54] 123r29 136r7 162r37 195r14 204r7 374r7 514r7 588r38 762r10 . 763r10 769r30 771r10 817r14 897r7 930r41 1011r32 1258r7 1396r33 111K12 Key_Ops[4|53] 255r38 346r7 385r38 504r7 550r38 568r39 730r13 1123r38 . 1159r38 1370r27 123V13 Is_Equal[6|88]{boolean} 127s14 143r13 M{8|52R9} 144r42 144r13 HT{3|49R12[8|323]} 145r33 146r33 145i13 B{natural} 148r13 148r18 146i13 L{natural} 149r13 149r18 159U17 Insert_Item 159>30 160r22 162r63 168b17 171l11 171t22 159p30 Node{8|312P9} 168b30 170r32 170r58 162U17 Insert_Items[6|138] 186s7 236r10 M{8|52R9} 237r39 237r10 HT{3|49R12[8|323]} 238r30 239r30 238i10 B{natural} 245r13 245r18 239i10 L{natural} 246r13 246r18 241r17 R{8|138R9} 255p7 Node{8|312P9} 258r10 262r10 273r24 267r10 M{8|52R9} 268r39 268r10 HT{3|49R12[8|323]} 269r30 270r30 269i10 B{natural} 276r13 276r18 270i10 L{natural} 277r13 277r18 272r17 R{8|138R9} 299i7 C{2|20I9} 303m10 306m10 314r35 313r14 Target{8|52R9} 314m10 314r10 315m10 315r10 324p7 K{8|314P9} 329r29 333m20 333r20 325p7 E{8|315P9} 328m7 329r32 334m24 334r24 343p7 X{8|312P9} 346m56 346r56 348r10 352m13 352r13 385p7 Node{8|312P9} 388r10 393r14 502p7 X{8|312P9} 504m56 504r56 505m13 505r13 521i13 B{natural} 523r13 523r18 532r13 M{8|52R9} 533r42 533r13 HT{3|49R12[8|323]} 534r33 535r33 534i13 B{natural} 537r13 537r18 535i13 L{natural} 538r13 538r18 550p7 Node{8|312P9} 553r10 557r53 568m7 R_Index{2|19M9} 569r46 569p7 R_Node{8|312P9} 572r13 573r46 574r41 577m10 577r20 588p7 Node{8|312P9} 590r10 593r56 607U17 Deallocate[17|20] 630s13 640s13 644s7 675r7 Position{8|60R9} 682m41 690r15 691r15 693m10 703m13 676b7 Inserted{boolean} 682m51 684r14 678p7 K{8|314P9} 690m10 707m26 707r26 711m20 711r20 679p7 E{8|315P9} 691m10 712m24 712r24 727V16 New_Node{8|312P9} 727>26 730r49 736b16 755l11 755t19 727p26 Next{8|312P9} 736b26 748r38 729U17 Local_Insert[4|75] 766s7 737p10 K{8|314P9} 748r32 752m23 752r23 738p10 E{8|315P9} 747m10 748r35 753m27 753r27 757r7 HT{3|49R12[8|323]} 762r27 763r35 766r21 769r18 769r47 771r35 771r39 782r7 Position{8|60R9} 783r28 788m41 785b7 Inserted{boolean} 788m51 790r14 811r46 Position{8|60R9} 813U17 Process_Node 813>31 814r22 817r40 823b17 826l11 826t23 813p31 Node{8|312P9} 823b31 825r58 816U17 Local_Iterate[6|138] 836s10 828i7 B{natural} 833r7 833r12 839r13 839r18 843r7 843r12 849i7 B{natural} 854r10 854r15 851r14 It{48R9} 929r10 HT{3|49R12[8|323]} 930r54 930p10 Node{8|312P9} 932r13 935r48 960*45 Key{8|41+9} 961*45 Element{8|42+9} 979r10 M{8|52R9} 980r39 980r10 HT{3|49R12[8|323]} 982r30 983r30 982i10 B{natural} 986r10 986r15 998r16 998r21 1003r10 1003r15 983i10 L{natural} 987r10 987r15 997r16 997r21 1002r10 1002r15 990*13 K{8|41+9} 994r22 991*13 E{8|42+9} 994r25 1011U14 Read_Nodes[6|156] 1018s7 1052p7 Node{8|312P9} 1056m10 1056r10 1059m19 1059r19 1064m10 1064r10 1067m23 . 1067r23 1068m19 1068r19 1072r14 1104r10 M{8|52R9} 1105r39 1105r10 HT{3|49R12[8|323]} 1106r30 1107r30 1106i10 B{natural} 1113r13 1113r18 1107i10 L{natural} 1114r13 1114r18 1109r17 R{8|143R9} 1123p7 Node{8|312P9} 1126r10 1130r10 1141r24 1135r10 M{8|52R9} 1136r39 1136r10 HT{3|49R12[8|323]} 1137r30 1138r30 1137i10 B{natural} 1144r13 1144r18 1138i10 L{natural} 1145r13 1145r18 1140r17 R{8|143R9} 1159p7 Node{8|312P9} 1165r10 1175r12 1176r12 1178m7 1178r7 1188m10 1188r10 1161p7 K{8|314P9} 1175m7 1192m23 1192r23 1196m17 1196r17 1162p7 E{8|315P9} 1176m7 1197m21 1197r21 1235p10 X{8|315P9} 1245m24 1245r24 1277*46 Key{8|41+9} 1278*46 Element{8|42+9} 1301r10 HT{3|49R12[8|323]} 1303r30 1304r30 1303i10 B{natural} 1307r10 1307r15 1320r16 1320r21 1325r10 1325r15 1304i10 L{natural} 1308r10 1308r15 1319r16 1319r21 1324r10 1324r15 1311*13 K{8|41+9} 1315r22 1312*13 E{8|42+9} 1315r25 1356r10 HT{3|49R12[8|323]} 1360r13 1364r13 1365r20 1370r15 1370r42 1372r24 1357p10 X{8|312P9} 1370m10 1373r16 1377r16 1381r16 1381r20 1385m13 1385r18 1372i14 J 1396U14 Write_Nodes[6|146] 1403s7 X 12 a-finali.ads 40K13*Finalization 8|37w18 326r24 335r12 12|73e21 48H9*Controlled 8|326r37 371r11 417r33 9|243r25 274r25 1111r25 1142r25 12|64e72 51U14*Initialize<20|44p14> 55H9*Limited_Controlled 9|48r25 852r10 12|71e55 58U14*Initialize<20|44p14> X 13 a-iteint.ads 21k13*Iterator_Interfaces 8|34w10 75r10 13|39e28 24h9 Forward_Iterator 8|294r38[74] 9|49r30[8|74] 847r55[8|74] X 14 a-stream.ads 36K13*Streams 8|38w18 336r12 14|69e16 39H9*Root_Stream_Type 8|339r35 345r35 359r32 365r32 388r32 394r32 406r32 . 412r32 9|88r32 96r32 1014r35 1022r32 1030r32 1038r32 1050r32 1399r35 1407r32 . 1415r32 1423r32 1435r32 14|67e64 X 17 a-uncdea.ads 20u15*Unchecked_Deallocation 9|36w10 43r15 46r15 608r18 X 18 system.ads 42K9*System 9|38w6 38r23 18|160e11 69M9*Address 9|38r30 86V14*"="{boolean} 9|176r25 X 20 s-finroo.ads 42U14*Adjust