/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
|