1V "GNAT Lib v9" 2A -gnatwa 3A -nostdinc 4A -O2 5A -Wextra 6A -Wall 7A -g 8A -gnatp 9A -gnatg 10A -mtune=generic 11A -march=x86-64 12P ZX 13 14RN 15RV NO_ALLOCATORS 16RV NO_LOCAL_ALLOCATORS 17RV NO_STANDARD_STORAGE_POOLS 18RV NO_UNCHECKED_DEALLOCATION 19RV NO_DEFAULT_INITIALIZATION 20RV NO_DYNAMIC_SIZED_OBJECTS 21RV NO_IMPLEMENTATION_ATTRIBUTES 22RV NO_IMPLEMENTATION_PRAGMAS 23RV SPARK_05 24 25U system.htable%b s-htable.adb 796f31f1 NE OL PK 26W ada%s ada.ads ada.ali 27W ada.unchecked_deallocation%s 28W system%s system.ads system.ali 29W system.string_hash%s s-strhas.adb s-strhas.ali 30 31U system.htable%s s-htable.ads 42f33b85 BN NE OL PR PK 32W system%s system.ads system.ali 33 34D ada.ads 20170911084841 76789da1 ada%s 35D a-uncdea.ads 20170908151217 eff36322 ada.unchecked_deallocation%s 36D system.ads 20190108095404 c631886f system%s 37D s-htable.ads 20190108095404 84c2b3ea system.htable%s 38D s-htable.adb 20190108095404 34c239ad system.htable%b 39D s-strhas.ads 20190108095404 269cd894 system.string_hash%s 40X 1 ada.ads 4116K9*Ada 20e8 5|34r6 239r9 42X 2 a-uncdea.ads 4320u15*Unchecked_Deallocation 5|34w10 239r13 44X 3 system.ads 4537K9*System 148e11 4|42r9 222r5 5|35r6 37r14 405r14 412r5 46X 4 s-htable.ads 4742K16*HTable 3|37k9 4|222l12 222e18 5|37b21 412l12 412t18 4856I12 Header_Num 67r49 5|246r23 4959+12 Element 62r20 72r35 79r37 87r33 92r32 98r52 105r51 5|234r17 261r37 50. 275r33 285r52 309r32 319r51 377r35 5162*7 No_Element{59+12} 5|265r20 279r20 289r18 313r20 323r18 5266+12 Key 67r32 68r37 72r26 79r25 83r29 98r39 105r38 5|233r17 243r48 252r23 53. 261r25 285r39 300r46 319r38 343r30 377r26 5467V21 Hash{56I12} 67>28 5|254r23 5567*28 F{66+12} 5668V21 Equal{boolean} 68>28 68>32 5|255r23 5768*28 F1{66+12} 5868*32 F2{66+12} 5970k12*Simple_HTable 56z12 59z12 62z7 66z12 67z21 68z21 113l8 113e21 5|228b17 60. 395l8 395t21 6172U17*Set 72>22 72>31 5|377b17 385l11 385t14 6272*22 K{66+12} 5|377b22 378r46 381r43 6372*31 E{59+12} 5|377b31 381r46 383r22 6476U17*Reset 5|359b17 371l11 371t16 6579V16*Get{59+12} 79>21 5|261b16 269l11 269t14 6679*21 K{66+12} 5|261b21 262r46 6783U17*Remove 83>25 5|343b17 353l11 353t17 6883*25 K{66+12} 5|343b26 347r26 350r25 6987V16*Get_First{59+12} 5|275b16 283l11 283t20 7092V16*Get_Next{59+12} 5|309b16 317l11 317t19 7198U17*Get_First 98=28 98<44 5|285b17 294l11 294t20 7298*28 K{66+12} 5|285b28 291m13 7398*44 E{59+12} 5|285b44 289m13 292m13 74105U17*Get_Next 105=27 105<43 5|319b17 328l11 328t19 75105*27 K{66+12} 5|319b27 325m13 76105*43 E{59+12} 5|319b43 323m13 326m13 77138I12 Header_Num 165r51 5|45r22 47r26 137r31 184r18 202r27 246r9 78141+12 Element 146r29 5|247r9 79151+12 Elmt_Ptr 155r18 158r36 158r53 159r36 159r53 164r34 179r26 182r37 189r40 80. 198r33 203r32 5|45r37 48r26 51r36 60r37 61r17 82r33 94r32 108r36 138r22 81. 139r22 183r26 195r40 203r18 248r9 82155*7 Null_Ptr{151+12} 5|66r23 67r23 97r20 110r31 113r23 129r28 144r20 154r31 83. 176r30 208r23 249r9 84158U22 Set_Next 158>32 158>46 5|158s19 187s10 209s16 250r9 85158*32 E{151+12} 86158*46 Next{151+12} 87159V22 Next{151+12} 159>32 5|73s24 99s29 148s30 152s29 158s35 217s24 251r9 88159*32 E{151+12} 89163+12 Key 164r51 165r34 166r39 182r25 186r29 194r29 5|60r25 127r29 136r30 90. 196r14 252r9 91164V21 Get_Key{163+12} 164>30 5|69s26 147s23 157s29 186s25 196s26 213s26 92. 253r9 93164*30 E{151+12} 94165V21 Hash{138I12} 165>30 5|64s25 137s45 186s19 202s41 254r9 95165*30 F{163+12} 96166V21 Equal{boolean} 166>30 166>34 5|69s19 147s16 157s22 213s19 255r9 97166*30 F1{163+12} 98166*34 F2{163+12} 99168k12*Static_HTable 138z12 141z12 151z12 155z7 158z22 159z22 163z12 164z21 100. 165z21 166z21 210l8 210e21 5|43b17 222l8 222t21 245r26 101170U17*Reset 5|172b17 177l11 177t16 370s14[245] 102179U17*Set 179>22 5|183b17 189l11 189t14 381s17[245] 103179*22 E{151+12} 5|183b22 186r34 187r20 188r27 104182V16*Get{151+12} 182>21 5|60b16 76l11 76t14 129s17 262s41[245] 347s21[245] 105. 378s41[245] 106182*21 K{163+12} 5|60b21 64r31 69r42 107186V16*Present{boolean} 186>25 5|127b16 130l11 130t18 108186*25 K{163+12} 5|127b25 129r22 109189V16*Set_If_Not_Present{boolean} 189>36 5|195b16 220l11 220t29 110189*36 E{151+12} 5|195b36 196r35 209r26 210r33 111194U17*Remove 194>25 5|136b17 166l11 166t17 350s17[245] 112194*25 K{163+12} 5|136b26 137r51 147r39 157r50 113198V16*Get_First{151+12} 5|82b16 88l11 88t20 276s41[245] 286s41[245] 363s20[245] 114203V16*Get_Next{151+12} 5|94b16 102l11 102t19 310s41[245] 320s41[245] 365s23[245] 115219I12 Header_Num 220r40 5|401r40 408r14 409r9 409r45 116220v13*Hash 220>19 5|401b13 410l8 410t12 117220a19 Key{string} 5|401b19 409r36 118X 5 s-htable.adb 11945a7 Table(4|151+12) 64r18 85r30 86r30 111r33 117r31 142r18 148m13 176m10 120. 187r23 188m10 206r18 209r29 210m16 12147*7 Iterator_Index{4|138I12} 85m10 86r37 111r16 116m13 116r31 117r38 12248*7 Iterator_Ptr{4|151+12} 86m10 99m13 99r35 110r16 117m13 120r17 12349b7 Iterator_Started{boolean} 84m10 96r17 112m16 12451V16 Get_Non_Null{4|151+12} 87s17 100s20 108b16 121l11 121t23 12561*10 Elmt{4|151+12} 64m10 66r16 69r35 70r23 73m16 73r30 126137*10 Index{4|138I12} 142r25 148r20 127138*10 Elmt{4|151+12} 142m10 144r13 147r32 148r36 152r35 158r29 162m19 128139*10 Next_Elmt{4|151+12} 152m16 154r19 157r38 158r41 162r27 129184*10 Index{4|138I12} 186m10 187r30 188r17 130196*10 K{4|163+12} 202r47 213r42 131202*10 Index{4|138I12} 206r25 209r36 210r23 132203*10 Elmt{4|151+12} 206m10 208r16 213r35 217m16 217r30 133230R12 Element_Wrapper 231r35 232c12 236e17 239r37 247r23 381r26 134231P12 Elmt_Ptr(230R12) 235r17 239r54 241r31 241r48 242r31 242r48 243r31 135. 248r23 262r25 276r25 286r25 300r29 310r25 320r25 334r26 334r43 344r16 360r19 136. 378r25 391r31 391r48 137233*10 K{4|66+12} 291r22 302r19 325r22 138234*10 E{4|59+12} 267r24 281r24 292r22 315r24 326r22 383m17 139235p10 Next{231P12} 336r19 393m12 140238U17 Free[2|20] 351s13 366s13 141241U17 Set_Next 241>27 241>41 250r23 391b17 394l11 394t19 142241p27 E{231P12} 391b27 393r10 143241p41 Next{231P12} 391b41 393r20 144242V17 Next{231P12} 242>27 251r23 334b16 337l11 337t15 145242p27 E{231P12} 334b22 336r17 146243V17 Get_Key{4|66+12} 243>27 253r23 300b16 303l11 303t18 147243p27 E{231P12} 300b25 302r17 148245K15 Tab[4|168] 262r37 276r37 286r37 310r37 320r37 347r17 350r13 363r16 149. 365r19 370r10 378r37 381r13 150262p10 Tmp{231P12} 264r13 267r20 151276p10 Tmp{231P12} 278r13 281r20 152286p10 Tmp{231P12} 288r13 291r18 292r18 153310p10 Tmp{231P12} 312r13 315r20 154320p10 Tmp{231P12} 322r13 325r18 326r18 155344p10 Tmp{231P12} 347m10 349r13 351m19 351r19 156360p10 E1{231P12} 363m10 364r16 366m19 366r19 367m13 157360p14 E2{231P12} 365m13 367r19 158378p10 Tmp{231P12} 380r13 383r13 159402M12 Uns 405r58 160404V16 Hash_Fun[6|60]{402M12} 409s26 161X 6 s-strhas.ads 16245K16*String_Hash 5|35w13 405r21 6|64e23 16360v13*Hash 5|405r33 164 165