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