This file is indexed.

/usr/lib/ada/adalib/alog/alog-helpers.ali is in libalog1-dev 0.5.0-1.

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
V "GNAT Lib v4.9"
A -O2
A -fstack-check=specific
A -fstack-protector-strong
A -gnatA
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatwa
A -gnatwl
A -gnatf
A -gnato
A -gnatwe
A -g
A -mtune=generic
A -march=x86-64
P DB SS ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_IO
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U alog.helpers%b	alog-helpers.adb	43fb9698 NE OO PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.fixed%s	a-strfix.adb		a-strfix.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W alog%s		alog.ads		alog.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.val_enum%s	s-valenu.adb		s-valenu.ali

U alog.helpers%s	alog-helpers.ads	76974ea1 EE OO PK
W ada%s			ada.ads			ada.ali
W ada.direct_io%s
Z ada.io_exceptions%s	a-ioexce.ads		a-ioexce.ali
W ada.tags%s		a-tags.adb		a-tags.ali
Z ada.unchecked_conversion%s
W alog%s		alog.ads		alog.ali
W alog.maps%s		alog-maps.adb		alog-maps.ali
Z interfaces%s		interfac.ads		interfac.ali
Z interfaces.c_streams%s  i-cstrea.adb		i-cstrea.ali
W system%s		system.ads		system.ali
Z system.crtl%s		s-crtl.ads		s-crtl.ali
Z system.direct_io%s	s-direio.adb		s-direio.ali
W system.exception_table%s  s-exctab.adb	s-exctab.ali
Z system.file_control_block%s  s-ficobl.ads	s-ficobl.ali
Z system.file_io%s	s-fileio.adb		s-fileio.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali
Z system.storage_elements%s  s-stoele.adb	s-stoele.ali

D ada.ads		20070406091342 3ffc8e18
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-cohama.ads		20130411133353 9f97b812
D a-direio.ads		20090410151215 5842da07
D a-direio.adb		20121001094122 ddb08ceb
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-strfix.ads		20101008130255 d07c346e
D a-strmap.ads		20090409150019 9cb836fb
D a-strunb.ads		20120426100351 3f91d4c5
D a-stunha.ads		20070406091342 115e053b
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D alog.ads		20141016080432 7e9aed5d
D alog-helpers.ads	20141016080432 28f60f7e
D alog-helpers.adb	20141016080432 831c585c
D alog-maps.ads		20141016080432 78b97685
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D system.ads		20141210093300 90249111
D s-atocou.ads		20131010110730 cd7c94ca
D s-atocou.adb		20131010121735 62bad392
D s-crtl.ads		20140225151544 840e6817
D s-direio.ads		20090409150019 068812e8
D s-exctab.ads		20140225151139 54135002
D s-ficobl.ads		20120709130952 55a71d43
D s-fileio.ads		20120709130952 45ce2f0f
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-imgint.ads		20090409150019 02dbe0c2
D s-parame.ads		20140225151139 ab8cb46a
D s-pooglo.ads		20110804083314 542f33d0
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-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-valenu.ads		20090409150019 bb1a4295
D s-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 23|23r6 64r24 24|23r6 24r6 81r20 86r7 87r33 90r17 91r10 99r45
. 101r29 107r25 112r22 121r49 123r35 124r49 126r35 135r28 154r7
X 7 a-direio.ads
43k13*Direct_IO 191e18 23|23w10 64r28
53P9*File_Type<32|81P9> 24|35r27[23|64] 36r27[23|64]
55E9*File_Mode
55n23*In_File{55E9[23|64]} 24|42r21[23|64] 46r21[23|64]
66I9*Count<long_integer>
80U14*Open 24|41s7[23|64] 45s7[23|64]
81p7 File{53P9[23|64]} 24|41r13[23|64] 45r13[23|64]
82e7 Mode{55E9[23|64]} 24|42r13[23|64] 46r13[23|64]
83s7 Name{string} 24|43r13[23|64] 47r13[23|64]
86U14*Close 24|51s10[23|64] 52s10[23|64] 67s7[23|64] 68s7[23|64]
86p22 File{53P9[23|64]} 24|51r17[23|64] 52r17[23|64] 67r14[23|64] 68r14[23|64]
106U14*Read 24|58s10[23|64] 59s10[23|64]
107p7 File{53P9[23|64]} 24|58r16[23|64] 59r16[23|64]
108r7 Item{23|60R9} 24|58r31[23|64] 59r31[23|64]
122V13*Size{66I9[23|64]} 24|50s10[23|64] 50s26[23|64]
124V13*End_Of_File{boolean}<32|90p13> 24|56s17[23|64]
X 12 a-iteint.ads
24h9 Forward_Iterator
X 14 a-string.ads
16K13*Strings 35e16 24|24r10 99r49 101r33 107r29 121r53 123r39 124r53 126r39
33n37*Both{33E9} 24|101r41 123r47 126r47
X 15 a-strfix.ads
18K21*Fixed 251e22 24|24w18 99r57 107r37 121r61 124r61
36V13*Index{natural} 24|107s43
37s7 Source{string} 24|108r22
38s7 Pattern{string} 24|109r22
195V13*Trim{string} 24|99s63 121s67 124s67
196s7 Source{string} 24|100r19 122r25 125r25
197e7 Side{14|33E9} 24|101r19 123r25 126r25
X 20 a-textio.ads
49K13*Text_IO 471e16 24|23w10 81r24 86r11 87r37 90r21 91r14 112r26 135r32
. 154r11
52P9*File_Type 24|81r32
53n23*In_File{53E9} 24|87r45
92U14*Open 24|86s19
93p7 File{52P9} 24|86r25
94e7 Mode{53E9} 24|87r25
95s7 Name{string} 24|88r25
98U14*Close 24|112s34 135s40 154s19
98p22 File{52P9} 24|112r41 135r47 154r26
183V13*End_Of_File{boolean} 24|90s29
183p26 File{52P9} 24|90r42
244U14*Get_Line 24|91s22
245p7 File{52P9} 24|92r13
246s7 Item{string} 24|93r13
247i7 Last{natural} 24|94r13
X 22 alog.ads
27K9*Alog 50e9 23|25r6 28r9 67r5 24|26r14 157r5
31E9*Log_Level 39e17 23|39r30 24|78r30 128r33 131r37
X 23 alog-helpers.ads
28K14*Helpers 22|27k9 23|60E9 67l10 67e17 24|26b19 157l10 157t17
30V13*Assert_Files_Equal{boolean} 31>7 32>7 24|30b13 72l8 72t26
31s7 Filename1{string} 24|31b7 43r21
32s7 Filename2{string} 24|32b7 47r21
37U14*Read_Loglevels 38>7 39=7 40<7 24|76b14 155l8 155t22
38s7 Filename{string} 24|77b7 88r33 114r26 137r32
39e7 Default_Level{22|31E9} 24|78b7 143m25
40r7 Identifiers{25|29R9} 24|79b7 145m25 145r25
56X4*Invalid_Config 24|113r28 136r34
60R9 My_Rec 62e14 64r39 24|37r22
61e7*Char{character}
64K12 D_IO[7|43] 65r8 24|35r22 36r22
X 24 alog-helpers.adb
35p7 File1{7|53P9[23|64]} 41m21 41r21 50r16 51m25 51r25 56r30 58r24 67m22
. 67r22
36p7 File2{7|53P9[23|64]} 45m21 45r21 50r32 52m25 52r25 59r24 68m22 68r22
37r7 Char1{23|60R9} 58m39 61r13
37r14 Char2{23|60R9} 59m39 61r22
38b7 Result{boolean} 62m13 70r14
81p7 Conf_File{20|52P9} 86m33 86r33 90r50 92r21 112m49 112r49 135m55 135r55
. 154m34 154r34
82i7 Line_Count{natural} 95m10 95r24 115r26 138r32
83a7 Line{string} 93m21 97r20 100r29 100r35
84i7 Last{integer} 94m21 97r13 100r49
99a16 Trimmed{string} 104r19 105r27 105r36 108r33 111r32 111r53 122r35 122r44
. 125r35 125r54
102i16 Eq{natural} 107m19 111r22 122r61 125r44
121a22 Key{string} 142r25 142r44 145r53
124a22 Value{string} 131r54 139r32
128e22 Loglevel{22|31E9} 131m25 143r42 146r53
X 25 alog-maps.ads
27K14*Maps 23|25w11 40r30 24|79r30 25|107e14
29R9*Wildcard_Level_Map 23|40r35 24|79r35 25|101e14
74U14*Insert 24|145s37
76s7 Key{string} 24|145r45
77e7 Item{22|31E9} 24|146r45
X 32 s-direio.ads
81P9*File_Type(53R9)