This file is indexed.

/usr/lib/ada/adalib/ahven/ahven-xml_runner.ali is in libahven4-dev 2.4+repack-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
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
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
V "GNAT Lib v4.9"
A -O2
A -fPIC
A -fstack-protector
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyi
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -gnatA
P SS ZX

RN
RV NO_DISPATCH
RV NO_FIXED_POINT
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_RECURSION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ahven.xml_runner%b	ahven-xml_runner.adb	08d1cd4f DE NE OO PK
W ada%s			ada.ads			ada.ali
W ada.strings%s		a-string.ads		a-string.ali
W ada.strings.fixed%s	a-strfix.adb		a-strfix.ali
W ada.strings.maps%s	a-strmap.adb		a-strmap.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.astrings%s	ahven-astrings.ads	ahven-astrings.ali
W ahven.runner%s	ahven-runner.adb	ahven-runner.ali
W ahven_compat%s	ahven_compat.adb	ahven_compat.ali
W interfaces%s		interfac.ads		interfac.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.img_lld%s	s-imglld.adb		s-imglld.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U ahven.xml_runner%s	ahven-xml_runner.ads	fb961872 DE EE NE OO PK
W ahven%s		ahven.adb		ahven.ali
W ahven.framework%s	ahven-framework.adb	ahven-framework.ali
W ahven.parameters%s	ahven-parameters.adb	ahven-parameters.ali
W ahven.results%s	ahven-results.adb	ahven-results.ali

D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chlat1.ads		20140225151544 66457d31
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-ioexce.ads		20140225151544 e4a01f64
D a-stream.ads		20140122164720 1a984740
D a-string.ads		20070406091342 90ac6797
D a-strbou.ads		20101008130255 9806fe84
D a-strfix.ads		20101008130255 d07c346e
D a-strmap.ads		20090409150019 9cb836fb
D a-strsup.ads		20120309145048 a27dcb33
D a-tags.ads		20111212115430 6c0509d0
D a-textio.ads		20140129155348 386df5d4
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D ahven.ads		20140804204240 4ddcfc31
D ahven-astrings.ads	20140804204240 1b9f3e2c
D ahven-framework.ads	20140804204240 7f496604
D ahven-listeners.ads	20140804204240 abe83d31
D ahven-long_astrings.ads  20140804204240 26230525
D ahven-parameters.ads	20140804204240 f959e2b2
D ahven-results.ads	20140804204240 c5fcc2f0
D ahven-runner.ads	20140804204240 3628f74f
D ahven-slist.ads	20140804204240 664b6dad
D ahven-xml_runner.ads	20140804204240 f5a6a205
D ahven-xml_runner.adb	20140804204240 bca4e0e6
D ahven_compat.ads	20140804204240 8861d619
D interfac.ads		20140225151838 69adb1b9
D i-cstrea.ads		20130412125801 8128536b
D system.ads		20140730121111 90249111
D s-crtl.ads		20140225151544 840e6817
D s-exctab.ads		20140225151139 54135002
D s-ficobl.ads		20120709130952 55a71d43
D s-finmas.ads		20140225151139 814daec4
D s-finroo.ads		20120426095924 4ff27390
D s-imgint.ads		20090409150019 02dbe0c2
D s-imglld.ads		20090409150019 f3220969
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-stratt.ads		20131014135145 aedef97e
D s-string.ads		20140225151139 8fe54fb7
D s-ststop.ads		20140225151139 e6693757
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 27|17r6 18r6 19r6 20r6 28r8 29r8 30r8 120r16 139r59 159r59
. 170r35 181r59 191r35 207r59 217r35 237r46 258r18 309r40 312r10
X 8 a-string.ads
16K13*Strings 35e16 27|18w10 19r10 20r10 29r12 30r12 120r20 139r63 159r63
. 170r39 181r63 191r39 207r63 217r39 237r50 258r22
33n37*Both{33E9} 27|139r71 159r71 170r47 181r71 191r47 207r71 217r47 237r58
. 258r30
X 9 a-strbou.ads
50R12*Bounded_String<12|47R9>
55I15*Length_Range{natural}
57V16*Length{55I15[18|19]} 27|147s10[18|19] 195s10[18|19] 221s10[18|19]
67V16*To_String{string} 27|149s32[18|19] 197s32[18|19] 223s32[18|19] 261s20[18|19]
. 269s15[18|19] 278s15[18|19] 287s15[18|19] 297s15[18|19] 310s38[18|19]
X 10 a-strfix.ads
18K21*Fixed 251e22 27|19w18 29r20
122V13*Translate{string} 27|89s14
123s7 Source{string} 27|89r25
124a7 Mapping{11|108A9} 27|90r25
195V13*Trim{string} 27|139s9 159s9 170s9 181s9 191s9 207s9 217s9 237s17 257s12
X 11 a-strmap.ads
38K21*Maps 412e21 27|20w18 30r20 120r28
96A12*Character_Sequence{string}<integer>
108A9*Character_Mapping(character) 27|40r13 85r13 120r33
122V13*To_Mapping{108A9} 27|122s17
123a7 From{96A12} 27|122r29
123a13 To{96A12} 27|123r29
X 14 a-textio.ads
49K13*Text_IO 471e16 27|17w10 28r12 309r44 312r14
52P9*File_Type 27|43r38 46r41 49r39 56r37 58r38 61r41 65r39 93r38 99r41 112r39
. 135r38 155r41 177r41 203r39 231r33 240r33 304r14 338r37 344r16
53n23*In_File{53E9} 27|376r21
53n32*Out_File{53E9} 27|309r52
86U14*Create 27|309s10
87p7 File{52P9} 27|309r18
88e7 Mode{53E9} 27|309r32
89s7 Name{string} 27|310r12
92U14*Open 27|376s7
98U14*Close 27|312s22 392s7
118V13*Standard_Output{52P9} 27|307s17
165U14*New_Line 27|388s13
171V13*End_Of_Line{boolean} 27|387s13
183V13*End_Of_File{boolean} 27|378s20
205U14*Get 27|379s10
207U14*Put 27|386s10
241U14*Put 27|96s7 103s7 105s7 107s7 148s10 167s7 171s7 189s7 192s7 196s10
. 215s7 218s7 222s10 247s10 249s10 251s10 253s10 255s10 259s10 370s19 381s13
259U14*Put_Line 27|109s7 114s7 150s10 172s7 173s7 193s7 194s7 198s10 219s7
. 220s7 224s10 244s10 262s10 301s10 394s10
X 17 ahven.ads
18K9*Ahven 46e10 26|16r6 17r6 18r6 20r9 36r5 27|22r6 25r6 27r14 32r8 33r8
. 34r8 414r5
X 18 ahven-astrings.ads
19K15*AStrings[9|46] 27|25w12 34r14
X 19 ahven-framework.ads
27K15*Framework 365e20 26|16w12 22r34 25r27 27|33r14 405r34 410r27
195R9*Test_Suite<40R9> 361e14 26|22r44 27|405r44
202P9*Test_Suite_Access(195R9) 26|25r37 27|410r37
X 22 ahven-parameters.ads
25K15*Parameters 77e21 26|18w12 35r40 27|399r40 402r23
29R9*Parameter_Info 76e14 26|35r51 27|399r51
57V13*Result_Dir{string} 27|402s34
X 23 ahven-results.ads
29K15*Results 271e18 26|17w12 30r39 34r40 27|32r14 398r40
32R9*Result_Info 237e14 27|45r38 48r41 51r39 137r38 157r41 179r41 205r39
86V13*Get_Routine_Name{string} 27|144s28 164s28 186s28 212s28
89V13*Get_Message{string} 27|170s15 172s23 191s15 193s23 217s15 219s23
95V13*Get_Execution_Time{duration} 27|139s31 159s31 181s31 207s31
98V13*Get_Output_File{9|50R12[18|19]} 27|147s18 149s43 195s18 197s43 221s18
. 223s43
102R9*Result_Collection 26|30r47 34r48 27|53r44 229r44 232r33 241r33 316r39
. 398r48
106P9*Result_Collection_Access(102R9)
140V13*Test_Count{natural} 27|254s49
144V13*Direct_Test_Count{natural} 27|329s16
152V13*Error_Count{natural} 27|248s50
156V13*Failure_Count{natural} 27|250s52
160V13*Skipped_Count{natural} 27|252s49
164V13*Get_Test_Name{9|50R12[18|19]} 27|261s31 269s26 278s26 287s26 297s26
. 310s49
172V13*Get_Execution_Time{duration} 27|257s34
176P9*Result_Info_Cursor<25|23P9[247]> 27|242r21
179V13*First_Pass{176P9} 27|282s22
183V13*First_Failure{176P9} 27|273s22
187V13*First_Skipped{176P9} 27|291s22
191V13*First_Error{176P9} 27|264s22
195V13*Next{176P9}<25|45p13> 27|270s25 279s25 288s25 298s25
198V13*Data{32R9}<25|48p13> 27|269s51 278s51 287s51 297s51
201V13*Is_Valid{boolean}<25|51p13> 27|267s38 276s40 285s37 294s37
204P9*Result_Collection_Cursor<25|23P9[255]> 27|318r18
207V13*First_Child{204P9} 27|320s19
211V13*Next{204P9}<25|45p13> 27|333s22
215V13*Is_Valid{boolean}<25|51p13> 27|322s24
218V13*Data{106P9} 27|323s26 324s30 326s29
222V13*Child_Depth{natural} 27|323s13
X 24 ahven-runner.ads
21K15*Runner 32e17 27|22w12 407r7
27U14*Run_Suite 27|407s14
X 25 ahven-slist.ads
23P9*Cursor<67P9[23|255]>
66R9 Node
67P9 Node_Access(66R9[23|255])
X 26 ahven-xml_runner.ads
20K15*XML_Runner 17|18k9 26|34E14 36l11 36e21 27|27b20 414l11 414t21
22U14*Run 22=19 27|405b14 408l8 408t11 412s7
22c19 Suite<19|195R9> 27|405b19 407m25
25U14*Run 25>19 27|410b14 413l8 413t11
25p19 Suite{19|202P9} 27|410b19 412r12
30U14*Report_Results 30>30 31>30 27|316b14 326s13 335l8 335t22 401s7
30r30 Result{23|102R9} 27|316b30 320r32 329r35 330r33
31s30 Dir{string} 27|317b30 324r51 326r50 330r41
34U14 Do_Report 34>25 35>25 27|398b14 403l8 403t17 407r32
34r25 Test_Results{23|102R9} 27|398b25 401r23
35r25 Args{22|29R9} 27|399b25 402r46
X 27 ahven-xml_runner.adb
36V13 Filter_String{string} 36>28 69b13 81l8 81t21 104s43 106s38 108s38
36s28 Str{string} 69b28 70r24 72r16 73r13 76r27
38V13 Filter_String{string} 39>7 40>7 83b13 91l8 91t21 125s27
39s7 Str{string} 84b7 89r36
40a7 Map{11|108A9} 85b7 90r36
43U14 Print_Test_Pass 43>31 44>31 45>31 135b14 153l8 153t23 286s13
43p31 File{14|52P9} 135b31 142r28 148r15 149r26 150r20 152r25
44s31 Parent_Test{string} 136b31 143r28
45r31 Info{23|32R9} 137b31 139r51 144r46 147r35 149r60
46U14 Print_Test_Failure 46>34 47>34 48>34 177b14 201l8 201t26 277s13
46p34 File{14|52P9} 177b34 184r28 189r12 190r24 192r12 193r17 194r17 196r15
. 197r26 198r20 200r25
47s34 Parent_Test{string} 178b34 185r28
48r34 Info{23|32R9} 179b34 181r51 186r46 191r28 193r36 195r35 197r60
49U14 Print_Test_Error 49>32 50>32 51>32 203b14 227l8 227t24 268s13
49p32 File{14|52P9} 203b32 210r28 215r12 216r24 218r12 219r17 220r17 222r15
. 223r26 224r20 226r25
50s32 Parent_Test{string} 204b32 211r28
51r32 Info{23|32R9} 205b32 207r51 212r46 217r28 219r36 221r35 223r60
53U14 Print_Test_Case 53>31 54>31 229b14 314l8 314t23 324s13 330s16
53r31 Collection{23|102R9} 229b31 307r34 310r64 311r23
54s31 Dir{string} 230b31 306r10 310r33
56U14 Print_Log_File 56>30 56>48 149s10 197s10 223s10 338b14 396l8 396t22
56p30 File{14|52P9} 338b30 370r24 381r18 386r15 388r23 394r20
56s48 Filename{string} 338b48 376r30
58U14 Print_Attribute 58>31 58>49 59>31 93b14 97l8 97t23 104s7 106s7 108s7
. 169s7 190s7 216s7 248s10 250s10 252s10 254s10 256s10 260s10
58p31 File{14|52P9} 93b31 96r12
58s49 Attr{string} 93b49 96r18
59s31 Value{string} 94b31 96r37
61U14 Start_Testcase_Tag 61>34 62>34 62>51 63>34 99b14 110l8 110t26 141s7
. 161s7 183s7 209s7
61p34 File{14|52P9} 99b34 103r12 104r24 105r12 106r24 107r12 108r24 109r17
. 142r10 162r10 184r10 210r10
62s34 Parent{string} 100b34 104r58 143r10 163r10 185r10 211r10
62s51 Name{string} 100b51 106r53 144r10 164r10 186r10 212r10
63s34 Execution_Time{string} 101b34 108r53 145r10 165r10 187r10 213r10
65U14 End_Testcase_Tag 65>32 112b14 115l8 115t24 152s7 174s7 200s7 226s7
65p32 File{14|52P9} 112b32 114r17
67V13 Create_Name{string} 67>26 67>40 117b13 133l8 133t19 310s20
67s26 Dir{string} 117b26 128r10 129r17
67s40 Name{string} 117b40 129r68 131r27
70a7 Result{string} 74m13 76m13 80r14
72i11 I{integer} 73r18 74r21 76r21 76r32
119V16 Filename{string} 119b16 119>26 126l11 126t19 129s58 131s17
119s26 Test{string} 125r42
120a10 Map{11|108A9} 122m10 125r48
138a7 Exec_Time{string} 145r28
155U14 Print_Test_Skipped 155b14 155>34 156>34 157>34 175l8 175t26 296s13
155p34 File{14|52P9} 162r28 167r12 169r24 171r12 172r17 173r17 174r25
156s34 Parent_Test{string} 163r28
157r34 Info{23|32R9} 159r51 164r46 170r28 172r36
158a7 Exec_Time{string} 165r28
180a7 Exec_Time{string} 187r28
206a7 Exec_Time{string} 213r28
231U17 Print 231>24 232>24 240b17 302l11 302t16 307s10 311s10
231p24 Output{14|52P9} 240b24 244r20 247r15 248r27 249r15 250r27 251r15 252r27
. 253r15 254r27 255r15 256r27 259r15 260r27 262r20 268r31 277r33 286r30 296r33
. 301r20
232r24 Result{23|102R9} 241b24 248r63 250r67 252r64 254r61 257r54 261r46
. 264r35 269r41 273r37 278r41 282r34 287r41 291r37 297r41
235V16 Img{string} 235b16 235>21 238l11 238t14 248s45 250s47 252s44 254s44
235i21 Value{natural} 237r38
242p10 Position{23|176P9} 264m10 267r48 269r57 270m13 270r31 273m10 276r50
. 278r57 279m13 279r31 282m10 285r47 287r57 288m13 288r31 291m10 294r47 297r57
. 298m13 298r31
265l10 Error_Loop 267r18 271l19 271e29
274l10 Failure_Loop 276r18 280l19 280e31
283l10 Pass_Loop 285r18 289l19 289e28
292l10 Skip_Loop 294r18 299l19 299e28
304p7 File{14|52P9} 309m26 309r26 311r17 312m29 312r29
318p7 Position{23|204P9} 320m7 322r34 323r32 324r36 326r35 333m10 333r28
339E12 CData_End_State 339e68 341r42 342r16 350r22 352r42 353r16 355r22
339n32 NONE{339E12} 350r41 355r41 360r18
339n38 FIRST_BRACKET{339E12} 362r32 364r18
339n53 SECOND_BRACKET{339E12} 366r32 368r18
341V16 State_Change{339E12} 341>30 352b16 374l11 374t23 384s26
341e30 Old_State{339E12} 352b30 359r15
344p7 Handle{14|52P9} 376m13 376r13 378r33 379r15 387r26 392m14 392r14
345e7 Char{character} 361r19 365r19 369r19 379m23 386r21
346b7 First{boolean} 380r13 382m13 393r14
350e7 CData_Ending{339E12} 384m10 384r40
355e10 New_State{339E12} 362m19 366m19 373r17
X 28 ahven_compat.ads
18K9*Ahven_Compat 27|24w6 129r23 28|21e17
19V13*Directory_Separator{string} 27|129s36