1V "GNAT Lib v5" 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_IMPLEMENTATION_ATTRIBUTES 21RV NO_IMPLEMENTATION_PRAGMAS 22RV SPARK_05 23 24U system.htable%b s-htable.adb c3335bfd NE OL PK 25W ada%s ada.ads ada.ali 26W ada.unchecked_deallocation%s 27W system%s system.ads system.ali 28W system.string_hash%s s-strhas.adb s-strhas.ali 29 30U system.htable%s s-htable.ads 3b4bca56 BN NE OL PR PK 31W system%s system.ads system.ali 32 33D ada.ads 20070406091342 3ffc8e18 ada%s 34D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s 35D system.ads 20150428105438 bf8979bc system%s 36D s-htable.ads 20140225151139 84c2b3ea system.htable%s 37D s-htable.adb 20140225151139 90376e52 system.htable%b 38D s-strhas.ads 20090623093900 269cd894 system.string_hash%s 39X 1 ada.ads 4016K9*Ada 19e8 5|34r6 239r9 41X 2 a-uncdea.ads 4220u15*Unchecked_Deallocation 5|34w10 239r13 43X 3 system.ads 4437K9*System 144e11 4|42r9 222r5 5|35r6 37r14 405r14 412r5 45X 4 s-htable.ads 4642K16*HTable 3|37k9 4|222l12 222e18 5|37b21 412l12 412t18 4756I12 Header_Num 67r49 5|246r23 4859+12 Element 62r20 72r35 79r37 87r33 92r32 98r52 105r51 5|234r17 261r38 49. 275r33 285r52 309r32 319r51 377r35 5062*7 No_Element{59+12} 5|265r20 279r20 289r18 313r20 323r18 5166+12 Key 67r32 68r37 72r26 79r25 83r29 98r39 105r38 5|233r17 243r48 252r23 52. 261r26 285r39 300r46 319r38 343r30 377r26 5367V21 Hash{56I12} 67>28 5|254r23 5467*28 F{66+12} 5568V21 Equal{boolean} 68>28 68>32 5|255r23 5668*28 F1{66+12} 5768*32 F2{66+12} 5870k12*Simple_HTable 56z12 59z12 62z7 66z12 67z21 68z21 113l8 113e21 5|228b17 59. 395l8 395t21 6072U17*Set 72>22 72>31 5|377b17 385l11 385t14 6172*22 K{66+12} 5|377b22 378r46 381r43 6272*31 E{59+12} 5|377b31 381r46 383r22 6376U17*Reset 5|359b17 371l11 371t16 6479V16*Get{59+12} 79>21 5|261b17 269l11 269t14 6579*21 K{66+12} 5|261b22 262r46 6683U17*Remove 83>25 5|343b17 353l11 353t17 6783*25 K{66+12} 5|343b26 347r26 350r25 6887V16*Get_First{59+12} 5|275b16 283l11 283t20 6992V16*Get_Next{59+12} 5|309b16 317l11 317t19 7098U17*Get_First 98=28 98<44 5|285b17 294l11 294t20 7198*28 K{66+12} 5|285b28 291m13 7298*44 E{59+12} 5|285b44 289m13 292m13 73105U17*Get_Next 105=27 105<43 5|319b17 328l11 328t19 74105*27 K{66+12} 5|319b27 325m13 75105*43 E{59+12} 5|319b43 323m13 326m13 76138I12 Header_Num 165r51 5|45r22 47r26 137r31 184r18 202r27 246r9 77141+12 Element 146r29 5|247r9 78151+12 Elmt_Ptr 155r18 158r36 158r53 159r36 159r53 164r34 179r26 182r37 189r40 79. 198r33 203r32 5|45r37 48r26 51r36 60r37 61r17 82r33 94r32 108r36 138r22 80. 139r22 183r26 195r40 203r18 248r9 81155*7 Null_Ptr{151+12} 5|66r23 67r23 97r20 110r31 113r23 129r28 144r20 154r31 82. 175r26 208r23 249r9 83158U22 Set_Next 158>32 158>46 5|158s19 187s10 209s16 250r9 84158*32 E{151+12} 85158*46 Next{151+12} 86159V22 Next{151+12} 159>32 5|73s24 99s29 148s30 152s30 158s35 217s24 251r9 87159*32 E{151+12} 88163+12 Key 164r51 165r34 166r39 182r25 186r29 194r29 5|60r25 127r29 136r30 89. 196r14 252r9 90164V21 Get_Key{163+12} 164>30 5|69s26 147s23 157s29 186s25 196s26 213s26 91. 253r9 92164*30 E{151+12} 93165V21 Hash{138I12} 165>30 5|64s25 137s45 186s19 202s41 254r9 94165*30 F{163+12} 95166V21 Equal{boolean} 166>30 166>34 5|69s19 147s16 157s22 213s19 255r9 96166*30 F1{163+12} 97166*34 F2{163+12} 98168k12*Static_HTable 138z12 141z12 151z12 155z7 158z22 159z22 163z12 164z21 99. 165z21 166z21 210l8 210e21 5|43b17 222l8 222t21 245r26 100170U17*Reset 5|172b17 177l11 177t16 370s14[245] 101179U17*Set 179>22 5|183b17 189l11 189t14 381s17[245] 102179*22 E{151+12} 5|183b22 186r34 187r20 188r27 103182V16*Get{151+12} 182>21 5|60b16 76l11 76t14 129s17 262s41[245] 347s21[245] 104. 378s41[245] 105182*21 K{163+12} 5|60b21 64r31 69r42 106186V16*Present{boolean} 186>25 5|127b16 130l11 130t18 107186*25 K{163+12} 5|127b25 129r22 108189V16*Set_If_Not_Present{boolean} 189>36 5|195b16 220l11 220t29 109189*36 E{151+12} 5|195b36 196r35 209r26 210r33 110194U17*Remove 194>25 5|136b17 166l11 166t17 350s17[245] 111194*25 K{163+12} 5|136b26 137r51 147r39 157r50 112198V16*Get_First{151+12} 5|82b16 88l11 88t20 276s41[245] 286s41[245] 363s20[245] 113203V16*Get_Next{151+12} 5|94b16 102l11 102t19 310s41[245] 320s41[245] 365s23[245] 114219I12 Header_Num 220r40 5|401r40 408r14 409r9 409r45 115220v13*Hash 220>19 5|401b13 410l8 410t12 116220a19 Key{string} 5|401b19 409r36 117X 5 s-htable.adb 11845a7 Table(4|151+12) 64r18 85r28 86r26 111r33 117r31 142r18 148m13 174r19 119. 175m13 187r23 188m10 206r18 209r29 210m16 12047*7 Iterator_Index{4|138I12} 85m10 86r33 111r16 116m13 116r31 117r38 12148*7 Iterator_Ptr{4|151+12} 86m10 99m13 99r35 110r16 117m13 120r17 12249b7 Iterator_Started{boolean} 84m10 96r17 112m16 12351V16 Get_Non_Null{4|151+12} 87s17 100s20 108b16 121l11 121t23 12461*10 Elmt{4|151+12} 64m10 66r16 69r35 70r23 73m16 73r30 125137*10 Index{4|138I12} 142r25 148r20 126138*10 Elmt{4|151+12} 142m10 144r13 147r32 148r36 152r36 158r29 162m19 127139*10 Next_Elmt{4|151+12} 152m16 154r19 157r38 158r41 162r27 128174i14 J 175r20 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|56]{402M12} 409s26 161X 6 s-strhas.ads 16241K16*String_Hash 5|35w13 405r21 6|60e23 16356v13*Hash 5|405r33 164 165