This file is indexed.

/usr/lib/ada/adalib/ahven/ahven-listeners-basic.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
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_ALLOCATORS
RV NO_CALENDAR
RV NO_DELAY
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_FIXED_POINT
RV NO_IO
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_RECURSION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U ahven.listeners.basic%b  ahven-listeners-basic.adb  dcebc2f2 DE NE OO PK
W ada%s			ada.ads			ada.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.listeners%s	ahven-listeners.adb	ahven-listeners.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W system.finalization_masters%s  s-finmas.adb	s-finmas.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.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

U ahven.listeners.basic%s  ahven-listeners-basic.ads  d513d4a3 DE EE OO PF PK
W ada%s			ada.ads			ada.ali
W ada.calendar%s	a-calend.adb		a-calend.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.listeners%s	ahven-listeners.adb	ahven-listeners.ali
W ahven.results%s	ahven-results.adb	ahven-results.ali  EA
W ahven.temporary_output%s  ahven-temporary_output.adb  ahven-temporary_output.ali  EA
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.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-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-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 ahven.ads		20140804204240 4ddcfc31
D ahven-astrings.ads	20140804204240 1b9f3e2c
D ahven-listeners.ads	20140804204240 abe83d31
D ahven-listeners-basic.ads  20140804204240 a8fc582c
D ahven-listeners-basic.adb  20140804204240 57e55126
D ahven-long_astrings.ads  20140804204240 26230525
D ahven-results.ads	20140804204240 c5fcc2f0
D ahven-slist.ads	20140804204240 664b6dad
D ahven-temporary_output.ads  20140804204240 cb961fc2
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-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-wchcon.ads		20140225151139 1b7d22d2
X 1 ada.ads
16K9*Ada 19e8 19|17r6 37r27 20|17r6 71r30 93r16 96r9 164r16 166r7 166r33
. 167r7
X 2 a-calend.ads
36K13*Calendar 375e17 19|17w10 37r31 20|71r34 93r20 96r13
38I9*Time<200I9> 19|37r40 20|93r29
52V13*Clock{38I9} 20|71s43 96s22
97V14*"-"{duration} 20|96s28
200I9 Time_Rep<long_integer>
X 6 a-finali.ads
58U14*Initialize<32|44p14>
X 10 a-strbou.ads
50R12*Bounded_String<12|47R9> 20|174r32[17|19]
55I15*Length_Range{natural}
57V16*Length{55I15[17|19]} 20|176s13[17|19]
67V16*To_String{string} 20|102s40[17|19] 177s26[17|19]
X 14 a-textio.ads
49K13*Text_IO 471e16 20|17w10 164r20 166r11 166r37 167r11
52P9*File_Type 20|164r28
53n32*Out_File{53E9} 20|166r45
92U14*Open 20|166s19
99U14*Delete 20|167s19
X 16 ahven.ads
18K9*Ahven 46e10 19|18r6 19r6 21r5 26r9 82r5 20|18r6 20r14 21r8 212r5
X 17 ahven-astrings.ads
19K15*AStrings[10|46] 20|18w12 21r14
X 18 ahven-listeners.ads
21K15*Listeners 16|18k9 18|75e20 19|26r15 82r11 20|20r20 212r11
22n36*TEST_RUN{22E9} 20|35r23 101r26
25n23*CONTAINER{25E9} 20|72r27
27R9*Context 38e14 19|41r42 45r45 49r45 53r43 57r44 61r42 74r52 20|31r52
. 44r42 50r45 56r44 62r43 68r44 92r42
27e18*Phase{22E9} 20|35r15 101r18
28r7*Test_Name{10|50R12[17|19]} 20|37r58 74r32
29e7*Test_Kind{25E9} 20|72r15
34r13*Routine_Name{10|50R12[17|19]} 20|36r61 102r56
35r13*Message{10|50R12[17|19]} 20|38r56
36r13*Long_Message{10|50R12[21|19]} 20|39r61
40H9*Result_Listener<6|55R9> 41e71 19|30r31
X 19 ahven-listeners-basic.ads
26K25*Basic 18|21k15 19|73E14 82l21 82e26 20|20b30 212l21 212t26
27E9*Result_Type 28e76 33r27 75r52 20|32r52
28n7*NO_RESULT{27E9} 33r42 20|110r42 132r36 137r42
28n18*PASS_RESULT{27E9} 20|46r43 128r21
28n31*FAILURE_RESULT{27E9} 20|52r43 130r21
28n47*ERROR_RESULT{27E9} 20|64r43 132r21
28n61*SKIPPED_RESULT{27E9} 20|58r43 134r21
30R9*Basic_Listener<18|40R9> 6|58P14 19|38e14 40P14 40r42 44P14 44r45 48P14
. 48r45 52P14 52r43 56P14 56r44 60P14 60r42 64p14 64r52 68p13 68r44 73p14
. 73r52 80P14 80r42 20|30r52 43r42 49r45 55r45 61r43 67r44 91r42 151r52 157r44
. 207r42 32|42p14
31r7*Main_Result{22|102R9} 20|78m33 147m31 209m30 210m33
32p7*Current_Result{22|106P9} 20|75r38 77r22 80r33 82m19 139m22 140r36 144r19
. 145r31
33e7*Last_Test_Result{27E9} 20|34m16 110r22 127r27 137m22
34r7*Last_Info{22|32R9} 20|36m45 37m42 38m40 39m45 99r44 123r57 124r67
35b7*Capture_Output{boolean} 20|83r22 111r25 154m16 160r23
36r7*Output_File{24|22R9} 20|86m49 87m53 115m54 120r64
37i7*Start_Time{2|38I9} 20|71m16 96r39
40U14*Add_Pass<18|48p14> 40=24 41>24 20|43b14 47l8 47t16
40r24 Listener{30R9} 20|43b24 46m27
41r24 Info{18|27R9} 20|44b24 46r37
44U14*Add_Failure<18|52p14> 44=27 45>27 20|49b14 53l8 53t19
44r27 Listener{30R9} 20|49b27 52m27
45r27 Info{18|27R9} 20|50b27 52r37
48U14*Add_Skipped<18|56p14> 48=27 49>27 20|55b14 59l8 59t19
48r27 Listener{30R9} 20|55b27 58m27
49r27 Info{18|27R9} 20|56b26 58r37
52U14*Add_Error<18|64p14> 52=25 53>25 20|61b14 65l8 65t17
52r25 Listener{30R9} 20|61b25 64m27
53r25 Info{18|27R9} 20|62b25 64r37
56U14*Start_Test<18|68p14> 56=26 57>26 20|67b14 89l8 89t18
56r26 Listener{30R9} 20|67b26 71m7 75r29 77r13 78m24 78r24 80r24 82m10 83r13
. 86m40 86r40 87m44 87r44
57r26 Info{18|27R9} 20|68b26 72r10 74r27
60U14*End_Test<18|72p14> 60=24 61>24 20|91b14 149l8 149t16
60r24 Listener{30R9} 20|91b24 96r30 99r35 110r13 111r16 115m45 115r45 120r55
. 123r48 124r58 127r18 137m13 139m13 140r27 144r10 145r22 147m22 147r22
61r24 Info{18|27R9} 20|92b24 101r13 102r51
64U14*Set_Output_Capture 64=34 65>34 20|151b14 155l8 155t26
64r34 Listener{30R9} 20|151b34 154m7
65b34 Capture{boolean} 20|152b34 154r34
68V13*Get_Output_Capture{boolean} 68>33 20|157b13 161l8 161t26
68r33 Listener{30R9} 20|157b33 160r14
73U14 Set_Last_Test_Info 73=34 74>34 75>34 20|30b14 41l8 41t26 46s7 52s7
. 58s7 64s7
73r34 Listener{30R9} 20|30b34 34m7 36m36 36r36 37m33 37r33 38m31 38r31 39m36
. 39r36
74r34 Info{18|27R9} 20|31b34 35r10 36r56 37r53 38r51 39r56
75e34 Result{27E9} 20|32b34 34r36
77U14 Remove_File 77>27 20|163b14 171l8 171t19 177s13
77s27 Name{string} 20|163b27 166r55
78U14 Remove_Files 78=28 20|173b14 202s10 205l8 205t20 209s7
78r28 Collection{22|102R9} 20|173b28 193r32 194r35 195r33 196r35 198r34
80U14 Finalize<6|59p14> 80=24 20|207b14 211l8 211t16
80r24 Listener{30R9} 20|207b24 209m21 209r21 210m24 210r24
X 20 ahven-listeners-basic.adb
69p7 R{22|106P9} 73m10 74r20 75r22 78r46 80r53 82r37
95o7 Execution_Time{duration} 125r50
98U17 Add_Result 98b17 98=29 142l11 142t21 145s10 147s10
98r29 Collection{22|102R9} 129m29 131m32 133m30 135m32
99r10 My_Info{22|32R9} 102m31 102r31 120m19 120r19 123m26 123r26 124m31 124r31
. 125m41 125r41 129r41 131r44 133r42 135r44
164p7 Handle{14|52P9} 166m25 166r25 167m27 167r27
174U17 Remove 174b17 174>25 179l11 179t17 186s13
174r25 Name{10|50R12[17|19]} 176r21 177r37
181U17 Remove_Loop 181b17 181>30 189l11 189t22 193s7 194s7 195s7 196s7
181p30 First_Item{22|176P9} 182r44
182p10 Loop_Iter{22|176P9} 185r37 186r44 187m13 187r32
191p7 Child_Iter{22|204P9} 198m7 201r45 202r30 203m10 203r30
199l7 Child_Loop 201r15 204l16 204e26
X 22 ahven-results.ads
29K15*Results 19|19w12 21r11 20|36r10 37r10 38r10 39r10 125r13 210r7 22|271e18
32R9*Result_Info 19|34r27 20|99r20 22|237e14
34r4*Empty_Result_Info{32R9} 19|34r42
38U14*Set_Test_Name 20|37s18
42U14*Set_Routine_Name 20|36s18
46U14*Set_Message 20|38s18
53U14*Set_Routine_Name 20|102s13
56U14*Set_Message 20|123s13
63U14*Set_Long_Message 20|39s18
68U14*Set_Long_Message 20|124s13
71U14*Set_Execution_Time 20|125s21
79U14*Set_Output_File 20|119s16
89V13*Get_Message{string} 20|123s35
92V13*Get_Long_Message{string} 20|124s40
98V13*Get_Output_File{10|50R12[17|19]} 20|186s21
102R9*Result_Collection 19|31r35 78r48 20|73r19 98r49 173r48
106P9*Result_Collection_Access(102R9) 19|32r27 20|69r11
108U14*Add_Child 20|78s13 80s13
112U14*Add_Error 20|133s19
116U14*Add_Skipped 20|135s19
120U14*Add_Failure 20|131s19
124U14*Add_Pass 20|129s19
128U14*Release 20|210s15
132U14*Set_Name 20|74s10
136U14*Set_Parent 20|75s10
168V13*Get_Parent{106P9} 20|140s15
176P9*Result_Info_Cursor<23|23P9[247]> 20|181r43 182r22
179V13*First_Pass{176P9} 20|193s20
183V13*First_Failure{176P9} 20|194s20
187V13*First_Skipped{176P9} 20|196s20
191V13*First_Error{176P9} 20|195s20
195V13*Next{176P9}<23|45p13> 20|187s26
198V13*Data{32R9}<23|48p13> 20|186s38
201V13*Is_Valid{boolean}<23|51p13> 20|185s27
204P9*Result_Collection_Cursor<23|23P9[255]> 20|191r20
207V13*First_Child{204P9} 20|198s21
211V13*Next{204P9}<23|45p13> 20|203s24
215V13*Is_Valid{boolean}<23|51p13> 20|201s35
218V13*Data{106P9} 20|202s24
X 23 ahven-slist.ads
23P9*Cursor<67P9[22|247]>
66R9 Node
67P9 Node_Access(66R9[22|247])
X 24 ahven-temporary_output.ads
19K15*Temporary_Output 19|18w12 36r27 20|86r10 87r10 114r16 115r16 120r28
. 24|50e27
22R9*Temporary_File 19|36r44
24U14*Create_Temp 20|86s27
28V13*Get_Name{string} 20|120s45
31U14*Redirect_Output 20|87s27
35U14*Restore_Output 20|114s33
41U14*Close_Temp 20|115s33
X 32 s-finroo.ads
42U14*Adjust