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