This file is indexed.

/usr/lib/x86_64-linux-gnu/ada/adalib/ahven/ahven-listeners-basic.ali is in libahven6-dev 2.6-1.2.

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
V "GNAT Lib v7"
A -O2
A -g
A -gnatf
A -gnatVa
A -gnato
A -gnatwe
A -gnatwa
A -gnatwl
A -gnatE
A -gnatwF
A -gnatyd
A -gnaty3
A -gnatyb
A -gnatym
A -gnatyh
A -gnatye
A -gnatyx
A -gnat95
A -g
A -fdebug-prefix-map=/build/ahven-f400BO/ahven-2.6=.
A -fstack-protector-strong
A -gnatA
P SL 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_DYNAMIC_SIZED_OBJECTS
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.pool_global%s	s-pooglo.adb		s-pooglo.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  2021b9fb 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		20170106103348 76789da1 ada%s
D a-calend.ads		20160420090448 2d5f01d4 ada.calendar%s
D a-charac.ads		20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads		20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-ioexce.ads		20140225151544 e4a01f64 ada.io_exceptions%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-string.ads		20070406091342 90ac6797 ada.strings%s
D a-strbou.ads		20140731124036 53ab54ae ada.strings.bounded%s
D a-strmap.ads		20140611123156 e8bb714a ada.strings.maps%s
D a-strsup.ads		20120309145048 a27dcb33 ada.strings.superbounded%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-textio.ads		20140717063745 386df5d4 ada.text_io%s
D a-unccon.ads		20170106103348 31484697 ada.unchecked_conversion%s
D ahven.ads		20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads	20160711072733 1b9f3e2c ahven.astrings%s
D ahven-listeners.ads	20160711072733 abe83d31 ahven.listeners%s
D ahven-listeners-basic.ads  20160711072733 a8fc582c ahven.listeners.basic%s
D ahven-listeners-basic.adb  20160711072733 57e55126 ahven.listeners.basic%b
D ahven-long_astrings.ads  20160711072733 26230525 ahven.long_astrings%s
D ahven-results.ads	20160711072733 c5fcc2f0 ahven.results%s
D ahven-slist.ads	20160711072733 664b6dad ahven.slist%s
D ahven-temporary_output.ads  20160711072733 cb961fc2 ahven.temporary_output%s
D interfac.ads		20160502101001 5ab55268 interfaces%s
D i-cstrea.ads		20140801100435 e53d8b8e interfaces.c_streams%s
D system.ads		20170510173650 4635ec04 system%s
D s-crtl.ads		20141120112812 0ebbdb71 system.crtl%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-ficobl.ads		20140718105747 078245e4 system.file_control_block%s
D s-finmas.ads		20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-pooglo.ads		20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads		20170112134946 9751b57e system.secondary_stack%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb		20140801093848 ed88f8fb system.storage_elements%b
D s-stopoo.ads		20131010103753 b16154c2 system.storage_pools%s
D s-stposu.ads		20151020120548 97a6219c system.storage_pools.subpools%s
D s-stratt.ads		20131014135145 aedef97e system.stream_attributes%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads		20160502101423 34867c83 system.unsigned_types%s
D s-wchcon.ads		20140718092328 1b7d22d2 system.wch_con%s
X 1 ada.ads
16K9*Ada 20e8 19|17r6 37r27 20|17r6 71r30 93r16 96r9 164r16 166r7 166r33
. 167r7
X 2 a-calend.ads
36K13*Calendar 395e17 19|17w10 37r31 20|71r34 93r20 96r13
44I9*Time<213I9> 19|37r40 20|93r29
58V13*Clock{44I9} 20|71s43 96s22
105V14*"-"{duration} 20|96s28
213I9 Time_Rep<long_long_integer>
X 6 a-finali.ads
53U14*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|50R9> 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|53P14 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|44I9} 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
77a27 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|54p14> 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 23r29 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 22|270e14
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 24r29 36r27 20|86r10 87r10 114r16 115r16
. 120r28 24|50e27
22R9*Temporary_File 19|36r44 24|48e14
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