This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-symbols.ali is in libgnatcoll1.6-dev 1.6gpl2014-9.

This file is owned by root:root, with mode 0o444.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_ALLOCATORS
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_CONVERSION
RV NO_UNCHECKED_DEALLOCATION
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV NO_ELABORATION_CODE
RV SPARK_05

U gnatcoll.symbols%b	gnatcoll-symbols.adb	b6f092bc NE OO PK IU
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.hash%s	a-strhas.adb		a-strhas.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.unchecked_conversion%s
W ada.unchecked_deallocation%s
W gnat%s		gnat.ads		gnat.ali
W gnat.io%s		g-io.adb		g-io.ali
W gnat.strings%s	g-string.ads		g-string.ali
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali
W system%s		system.ads		system.ali
W system.address_image%s  s-addima.adb		s-addima.ali
W system.finalization_masters%s  s-finmas.adb	s-finmas.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.img_lli%s	s-imglli.adb		s-imglli.ali
W system.img_uns%s	s-imguns.adb		s-imguns.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.storage_pools%s  s-stopoo.adb		s-stopoo.ali
W system.storage_pools.subpools%s  s-stposu.adb	s-stposu.ali
W system.unsigned_types%s  s-unstyp.ads		s-unstyp.ali

U gnatcoll.symbols%s	gnatcoll-symbols.ads	aa6f6d02 BN EE OO PF PK IU
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
Z ada.containers.hash_tables%s  a-cohata.ads	a-cohata.ali
Z ada.containers.hash_tables.generic_keys%s
Z ada.containers.hash_tables.generic_operations%s
W ada.containers.hashed_sets%s
Z ada.containers.prime_numbers%s  a-coprnu.adb	a-coprnu.ali
W ada.exceptions%s	a-except.adb		a-except.ali
Z ada.finalization%s	a-finali.adb		a-finali.ali
Z ada.iterator_interfaces%s
W ada.streams%s		a-stream.adb		a-stream.ali
W ada.tags%s		a-tags.adb		a-tags.ali
Z ada.unchecked_deallocation%s
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali
W gnatcoll.utils%s	gnatcoll-utils.adb	gnatcoll-utils.ali
W system%s		system.ads		system.ali
W system.finalization_masters%s  s-finmas.adb	s-finmas.ali
W system.pool_global%s	s-pooglo.adb		s-pooglo.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.ali
W system.storage_pools%s  s-stopoo.adb		s-stopoo.ali
W system.storage_pools.subpools%s  s-stposu.adb	s-stposu.ali
W system.stream_attributes%s  s-stratt.adb	s-stratt.ali

D ada.ads		20070406091342 3ffc8e18
D a-calend.ads		20120515092648 d86d6c8c
D a-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
D a-contai.ads		20101025135029 61e5e089
D a-cohata.ads		20110804151834 04abccc5
D a-chtgke.ads		20140219145932 a7b0f3a2
D a-chtgke.adb		20140220134615 ee7af212
D a-chtgop.ads		20140219145932 b47ea0e7
D a-chtgop.adb		20140220134615 c00683b2
D a-cohase.ads		20130411133353 1483927e
D a-cohase.adb		20140220134615 0e3e14a8
D a-coprnu.ads		20090409150019 0cdf1864
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-ioexce.ads		20140225151544 e4a01f64
D a-iteint.ads		20110906092602 7c7305e9
D a-stream.ads		20140122164720 1a984740
D a-string.ads		20070406091342 90ac6797
D a-strhas.ads		20140225151544 c71c2a52
D a-strmap.ads		20090409150019 9cb836fb
D a-strunb.ads		20120426100351 3f91d4c5
D a-tags.ads		20111212115430 6c0509d0
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D gnat.ads		20110801150502 fd2ad2f1
D g-expect.ads		20110801150502 8c6f1a8c
D g-io.ads		20110801150502 9f0d3ab2
D g-os_lib.ads		20090409150019 0db74523
D g-regpat.ads		20110801150502 b85d88ef
D g-string.ads		20090409150019 c6abc540
D gnatcoll.ads		20140810010057 6a5da479
D gnatcoll-symbols.ads	20140810010057 c9c62a05
D gnatcoll-symbols.adb	20140810010057 2934c17d
D gnatcoll-utils.ads	20140810010057 1d777100
D interfac.ads		20140225151838 69adb1b9
D system.ads		20150725181646 90249111
D s-addima.ads		20090409150019 a1ec9d3a
D s-atocou.ads		20131010110730 cd7c94ca
D s-atocou.adb		20131010121735 62bad392
D s-exctab.ads		20140225151139 54135002
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-imgint.ads		20090409150019 02dbe0c2
D s-imglli.ads		20090409150019 114f55d1
D s-imguns.ads		20090409150019 9ff43cf7
D s-imguns.adb		20090409150019 ec59adfa
D s-os_lib.ads		20140225151139 73b554c6
D s-parame.ads		20140225151139 ab8cb46a
D s-pooglo.ads		20110804083314 542f33d0
D s-regpat.ads		20120410054430 825a9b7f
D s-secsta.ads		20140225151139 86a2856d
D s-soflin.ads		20140225151139 aa763b52
D s-stache.ads		20140225151139 a37c21ec
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-stopoo.ads		20131010103753 b16154c2
D s-stposu.ads		20121005142121 ffeba1c5
D s-stratt.ads		20131014135145 aedef97e
D s-stratt.adb		20090409150019 56ef263e
D s-string.ads		20140225151139 8fe54fb7
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 33|31r6 69r38 90r51 94r33 34|24r6 24r38 25r6 26r6 27r6 63r14
. 175r31 178r39 201r39
X 5 a-contai.ads
16K13*Containers 24e19 33|31r10 69r42 90r55 94r37 34|24w10 24r42
19M9*Hash_Type 33|69r53 90r66 34|61r51 113r15 113r28 114r15 126r24 214r38
20I9*Count_Type<integer>
X 11 a-cohase.ads
41+9 Element_Type 33|95r7
43V18 Hash{5|19M9} 33|96r7
45V18 Equivalent_Elements{boolean} 33|97r7
48V19 "="{boolean} 33|98r8
50k24*Hashed_Sets 557e31 33|31w21 94r48
54R9*Set<15|48R9> 33|101r31[94]
62R9*Cursor 34|83r30[33|94] 110r29[33|94] 182r27[33|94]
73V13*Has_Element{boolean} 34|92s17[33|94] 119s13[33|94] 186s13[33|94]
101V13*Capacity{5|20I9} 34|142s58[33|94]
105U14*Reserve_Capacity 34|226s14[33|94]
116V13*Length{5|20I9} 34|141s29[33|94] 145s53[33|94]
122U14*Clear 34|193s18[33|94]
125V13*Element{35|34P9} 34|101s25[33|94] 120s17[33|94] 187s17[33|94]
193U14*Include 34|95s24[33|94]
301V13*First{62R9[33|94]} 34|110s49[33|94] 182s48[33|94]
313U14*Next 34|136s10[33|94] 188s10[33|94]
316V13*Find{62R9[33|94]} 34|90s31[33|94]
X 17 a-iteint.ads
24h9 Forward_Iterator
X 19 a-string.ads
16K13*Strings 35e16 34|25r10 63r18
X 20 a-strhas.ads
20V22*Hash{5|19M9} 34|25w18 63s26
X 24 a-unccon.ads
20v14*Unchecked_Conversion 34|26w10 175r35
X 25 a-uncdea.ads
20u15*Unchecked_Deallocation 34|27w10 178r43 201r43
X 26 gnat.ads
34K9*GNAT 37e9 34|28r6 28r38 29r6 176r29 179r18 181r13
X 28 g-io.ads
41K14*IO 91e12 34|28w11 28r43
72U14*Put_Line 34|127s16 135s10 139s7 140s7 142s7 143s7 144s7 146s7 147s7
X 31 g-string.ads
38K14*Strings=38:37 34|29w11 176r34 179r23 181r18
X 32 gnatcoll.ads
24K9*GNATCOLL 26e13 33|32r6 32r38 34r9 108r5 34|32r14 230r5
X 33 gnatcoll-symbols.ads
34K18*Symbols 32|24k9 33|83E9 108l14 108e21 34|32b23 230l14 230t21
36R9*Symbol_Table_Record 37r43 49p13 50r22 65p14 65r35 76p14 76r43 100c9
. 106e14 34|80r22 109r43 174r35 202r10 224r47
37P9*Symbol_Table_Access(36R9) 46r29 66r35 34|200r35 202r37 223r29 224r20
42P9*Symbol<35|34P9> 43r28 44r28 51r30 57r14 69r23 73r30 83c9 87r28 88r28
. 34|47r30 81r30 96r20 101r17 156r13 214r23
43p4*No_Symbol{42P9} 87c4 34|49r14 159r16
44p4*Empty_String{42P9} 88c4 34|87r17 161r39
46V13*Allocate{37P9} 34|223b13 228l8 228t16
49V13*Find{42P9} 50^7 51>7 34|79b13 103l8 103t12
50p7 Table(36R9) 34|80b7 89r10 89r33 90r20 93r13 93r33 95r13 98r13 98r33
51s7 Str{string} 34|81b7 86r10 90r37 93r52 94r32 98r52
56V13*Get{35|34P9} 57>8 57>22 59r26 34|155b13 168l8 168t11
57p8 Sym{42P9} 34|156b7 159r10 166r36
57b22 Empty_If_Null{boolean} 34|156b21 160r13
65U14*Free 65=20 34|174b14 194l8 194t12 205R10
65r20 Table{36R9} 34|174b20 182r37 193m7 193r7
66U14*Free 66=20 34|200b14 208l8 208t12
66p20 Table{37P9} 34|200b20 204r10 205r16 206m26
69V13*Hash{5|19M9} 69>19 34|214b13 217l8 217t12
69p19 S{42P9} 34|214b19 216r39
73V13*Debug_Print{string} 73>26 34|47b13 55l8 55t19
73p26 S{42P9} 34|47b26 49r10 52r53 53r21
76U14*Display_Stats 76^29 34|109b14 149l8 149t21
76p29 Self(36R9) 34|109b29 110r39 139r43 141r19 142r48 145r43 146r44 148r19
85a4 Cst_Empty_String{string} 88r38
90V13 Hash{5|19M9} 90>19 96r30 34|61b13 64l8 64t12 122s15 135s20 216s14
90p19 Str{35|34P9} 34|61b19 63r32
91V13 Key_Equal{boolean} 91>24 91>30 92r25 97r30 34|70b13 73l8 73t17
91p24 Key1{35|34P9} 34|70b24 72r14
91p30 Key2{35|34P9} 34|70b30 72r25
94K12 String_Htable[11|50] 101r17 34|34r8 83r16 110r15 182r13
101r7*Hash{11|54R9[94]} 34|90r26 95m19 110r44 141r24 142r53 145r48 182r43
. 193m13 226m9
103i7*Calls_To_Find{natural} 34|89m16 89r39 139r48
104i7*Total_Size{long_long_integer} 34|93m19 93r39 146r49
105i7*Size_Saved{long_long_integer} 34|98m19 98r39 148r24
X 34 gnatcoll-symbols.adb
36N4 Table_Size 226r32
83r7 Result{11|62R9[33|94]} 90m10 92r30 101r34
84p7 Tmp{35|34P9} 94m13 95r33 96r28
110r7 C{11|62R9[33|94]} 119r26 120r26 136m16 136r16
111p7 Tmp{35|34P9} 120m10 122r21 135r26 135r46
112i7 Count{natural} 124m13 124r22 127r56 131m13
113m7 Last{5|19M9} 123r17 126r16 127r37 130m13
114m7 H{5|19M9} 122m10 123r13 130r21
116i7 Bucket_Count{natural} 132m13 132r29 143r45 145r63
175V16 Convert[24|20]{62|45P9} 189s15
178U17 Unchecked_Free[25|20] 190s10
181p7 S{62|45P9} 189m10 190m26 190r26
182r7 C{11|62R9[33|94]} 186r26 187r26 188m16 188r16
183p7 Tmp{35|34P9} 187m10 189r24
201U17 Unchecked_Free[25|20] 206s10
224p7 T{33|37P9} 226r7 227r14
X 35 gnatcoll-utils.ads
32K18*Utils 33|32w15 32r47 35|240e19
34P9*Cst_String_Access(string) 33|58r14 83r23 90r25 91r37 95r30 34|61r25
. 70r37 84r16 111r15 156r61 161r20 166r17 176r10 183r13 216r20
X 37 system.ads
37K9*System 34|30r6 52r31 37|152e11
X 38 s-addima.ads
39V17*Address_Image{string} 34|30w13 52s38
X 62 s-string.ads
45P9*String_Access(string) 34|176r42 179r31 181r26