/usr/lib/ada/adalib/ahven/ahven-text_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 | 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_ACCESS_SUBPROGRAMS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_FIXED_POINT
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U ahven.text_runner%b ahven-text_runner.adb f3d93789 DE NE OO PK
W ada%s ada.ads ada.ali
W ada.characters%s a-charac.ads a-charac.ali
W ada.characters.latin_1%s a-chlat1.ads a-chlat1.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 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.xml_runner%s ahven-xml_runner.adb ahven-xml_runner.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.text_runner%s ahven-text_runner.ads 5ac390bf DE EE NE OO PK
W ahven%s ahven.adb ahven.ali
W ahven.framework%s ahven-framework.adb ahven-framework.ali EA
W ahven.parameters%s ahven-parameters.adb ahven-parameters.ali EA
W ahven.results%s ahven-results.adb ahven-results.ali EA
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-text_runner.ads 20140804204240 54f32ac8
D ahven-text_runner.adb 20140805191636 f16fcaac
D ahven-xml_runner.ads 20140804204240 f5a6a205
D interfac.ads 20140225151838 69adb1b9
D i-cstrea.ads 20130412125801 8128536b
D system.ads 20140727234634 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 25r5 26r5 79r26 88r11
X 2 a-charac.ads
16K13*Characters 18e19 27|19r10 79r30
X 3 a-chlat1.ads
18K24*Latin_1 296e27 27|19w21 79r41
35e4*LF{character} 27|79r49
X 8 a-string.ads
16K13*Strings 35e16 27|18r10 26r9 88r15
29n24*Left{29E9} 27|126r27
29n30*Right{29E9} 27|131r27
30n30*Right{30E9} 27|125r27 130r27
X 9 a-strbou.ads
50R12*Bounded_String<12|47R9>
55I15*Length_Range{natural}
57V16*Length{55I15[18|19]} 27|175s10[18|19] 185s13[18|19]
67V16*To_String{string} 27|177s20[18|19] 187s29[18|19]
X 10 a-strfix.ads
18K21*Fixed 251e22 27|18w18 26r17
25U14*Move 27|123s10 128s10
26s7 Source{string} 27|123r16 128r16
27s7 Target{string} 27|124r16 129r16
28e7 Drop{8|30E9} 27|125r16 130r16
29e7 Justify{8|29E9} 27|126r16 131r16
30e7 Pad{character} 27|127r16 132r16
X 14 a-textio.ads
49K13*Text_IO 471e16 27|17w10 25r9
52P9*File_Type 27|293r16
53n23*In_File{53E9} 27|297r21
92U14*Open 27|297s7
98U14*Close 27|310s7
166U14*New_Line 27|137s10 141s7 275s7 279s10 284s10 307s13
171V13*End_Of_Line{boolean} 27|306s13
183V13*End_Of_File{boolean} 27|299s20
205U14*Get 27|300s10
208U14*Put 27|78s10 305s10
242U14*Put 27|60s10 68s10 99s10 133s10 134s10
263U14*Put_Line 27|177s10 271s7 277s10 282s10 287s10 302s13 312s10
X 17 ahven.ads
18K9*Ahven 46e10 26|16r6 17r6 18r6 24r9 33r5 27|21r6 22r6 23r6 28r14 29r8
. 30r8 31r8 336r5
X 18 ahven-astrings.ads
19K15*AStrings[9|46] 27|23w12 31r14
X 19 ahven-framework.ads
27K15*Framework 365e20 26|16w12 25r34 28r27 27|30r14 327r34 332r27
40H9*Test<5|48R9> 40e74 26|25r44 27|327r44
202P9*Test_Suite_Access(195R9) 26|28r37 27|332r37
X 22 ahven-parameters.ads
25K15*Parameters 77e21 26|18w12 32r40 27|317r40 319r10 321r27 323r40
29R9*Parameter_Info 76e14 26|32r51 27|317r51
45V13*Verbose{boolean} 27|323s51
48V13*XML_Results{boolean} 27|319s21
57V13*Result_Dir{string} 27|321s38
X 23 ahven-results.ads
29K15*Results 271e18 26|17w12 31r40 27|29r14 316r40
32R9*Result_Info 237e14 27|36r35 85r35
86V13*Get_Routine_Name{string} 27|110s19 122s10
89V13*Get_Message{string} 27|103s39
92V13*Get_Long_Message{string} 27|136s10 138s25
95V13*Get_Execution_Time{duration} 27|128s43
98V13*Get_Output_File{9|50R12[18|19]} 27|185s21 187s40
102R9*Result_Collection 26|31r48 27|40r39 43r36 46r37 49r37 52r40 145r26
. 148r25 150r39 166r42 202r39 219r36 236r37 253r37 268r40 316r48
106P9*Result_Collection_Access(102R9)
148V13*Pass_Count{natural} 27|262r23 271s46
152V13*Error_Count{natural} 27|245r23 286s10 287s49
156V13*Failure_Count{natural} 27|211r23 281s10 282s49
160V13*Skipped_Count{natural} 27|228r23 276s10 277s50
164V13*Get_Test_Name{9|50R12[18|19]} 27|175s18 177s31
176P9*Result_Info_Cursor<25|23P9[247]> 27|168r42 173r18
179V13*First_Pass{176P9} 27|259s23
183V13*First_Failure{176P9} 27|208s23
187V13*First_Skipped{176P9} 27|225s23
191V13*First_Error{176P9} 27|242s23
195V13*Next{176P9}<25|45p13> 27|189s22
198V13*Data{32R9}<25|48p13> 27|183s22 185s38 187s57
201V13*Is_Valid{boolean}<25|51p13> 27|182s34
204P9*Result_Collection_Cursor<25|23P9[255]> 27|155r20
207V13*First_Child{204P9} 27|155s48
211V13*Next{204P9}<25|45p13> 27|162s24
215V13*Is_Valid{boolean}<25|51p13> 27|158s24
218V13*Data{106P9} 27|159s24 160s25
X 24 ahven-runner.ads
21K15*Runner 32e17 27|21w12 329r7
27U14*Run_Suite 27|329s14
X 25 ahven-slist.ads
23P9*Cursor<67P9[23|255]>
66R9 Node
67P9 Node_Access(66R9[23|247])
X 26 ahven-text_runner.ads
24K15*Text_Runner 17|18k9 26|31E14 33l11 33e22 27|28b20 336l11 336t22
25U14*Run 25=19 27|327b14 330l8 330t11 334s7
25c19 Suite<19|40R9> 27|327b19 329m25
28U14*Run 28>19 27|332b14 335l8 335t11
28p19 Suite{19|202P9} 27|332b19 334r12
31U14 Do_Report 31>25 32>25 27|316b14 325l8 325t17 329r32
31r25 Test_Results{23|102R9} 27|316b25 321r13 323r26
32r25 Args{22|29R9} 27|317b25 319r34 321r50 323r60
X 27 ahven-text_runner.adb
34U14 Pad 34>19 57b14 62l8 62t11 76s7 80s13 176s10
34i19 Level{natural} 57b19 59r35
36U14 Print_Test 36>26 37>26 38>26 85b14 142l8 142t18 183s10
36r26 Info{23|32R9} 85b26 103r52 110r37 122r28 128r63 136r28 138r43
37i26 Level{natural} 86b26 109r12 138r50
38s26 Result{string} 87b26 123r27
40U14 Print_Failures 40>30 41>30 202b14 209r23 213l8 213t22 283s10
40r30 Result{23|102R9} 202b30 206r23 208r38 283r26
41i30 Level{natural} 203b30 207r23 283r44
43U14 Print_Skips 43>27 44>27 219b14 226r23 230l8 230t19 278s10
43r27 Result{23|102R9} 219b27 223r23 225r38 278r23
44i27 Level{natural} 220b27 224r23 278r41
46U14 Print_Errors 46>28 47>28 236b14 243r23 247l8 247t20 288s10
46r28 Result{23|102R9} 236b28 240r23 242r36 288r24
47i28 Level{natural} 237b28 241r23 288r42
49U14 Print_Passes 49>28 50>28 253b14 260r23 264l8 264t20 273s10
49r28 Result{23|102R9} 253b28 257r23 259r35 273r24
50i28 Level{natural} 254b28 258r23 273r42
52U14 Report_Results 52>30 53>30 268b14 290l8 290t22 323s10
52r30 Result{23|102R9} 268b30 271r58 273r34 276r25 277r65 278r33 281r25 282r64
. 283r36 286r23 287r62 288r34
53b30 Verbose{boolean} 269b30 272r10
55U14 Print_Log_File 55>30 187s13 292b14 314l8 314t22
55s30 Filename{string} 292b30 297r30
59i11 A{integer}
64U14 Pad 64b14 64>19 65=19 71l8 71t11 109s7 117s10
64i19 Amount{natural} 67r35 70r24
65i19 Total{natural} 70m7 70r16
67i11 A{integer}
73U14 Multiline_Pad 73b14 73>29 74>29 83l8 83t21 138s10
73s29 Input{string} 77r16 78r15 79r14 79r63
74i29 Level{natural} 76r12 80r18
77i11 A{integer} 78r22 79r21 79r58
90N7 Max_Output_Width 116r23 117r15
91N7 Max_Result_Width 94r49
92N7 Max_Time_Out_Width 95r51
94I15 Result_Size{integer} 104r28
95I15 Time_Out_Size{integer} 105r28
97U17 Print_Text 97b17 97>29 97=43 101l11 101t21 110s7 112s10 113s10
97s29 Str{string} 99r15 100r27
97i43 Total{natural} 100m10 100r19
103a7 Msg{string} 111r10 113r22
104a7 Result_Out{string} 124m27 133r21
105a7 Time_Out{string} 129m27 134r21
106i7 Total_Text{natural} 109m23 109r23 110m44 110r44 112m29 112r29 113m27
. 113r27 116r10 117r34 117m46 117r46
144P9 Print_Child_Proc 145>17 145>45 152r39 169r42
145r17 Result{23|102R9}
145i45 Level{natural}
147P9 Child_Count_Proc(integer) 148>16 153r39 171r42
148r16 Result{23|102R9}
150U14 Print_Children 150b14 150>30 151>30 152>30 153>30 164l8 164t22 192s7
150r30 Result{23|102R9} 155r61 192r23
151i30 Level{natural} 160r48 193r23
152p30 Action{144P9} 160r13 194r23
153p30 Count{147P9} 159r13 195r23
155p7 Child_Iter{23|204P9} 158r34 159r30 160r31 162m10 162r30
166U14 Print_Statuses 166b14 166>30 167>30 168>30 169>30 170>30 171>30 172>30
. 196l8 196t22 205s7 222s7 239s7 256s7
166r30 Result{23|102R9} 175r33 177r46 192r33 206r10 223r10 240r10 257r10
167i30 Level{natural} 176r15 183r39 193r33 207r10 224r10 241r10 258r10
168p30 Start{23|176P9} 173r40 208r10 225r10 242r10 259r10
169p30 Action{144P9} 194r33 209r10 226r10 243r10 260r10
170s30 Status{string} 183r46 210r10 227r10 244r10 261r10
171p30 Count{147P9} 195r33 211r10 228r10 245r10 262r10
172b30 Print_Log{boolean} 184r13 212r10 229r10 246r10 263r10
173p7 Position{23|176P9} 182r44 183r28 185r44 187r63 189m10 189r28
180l7 Test_Loop 182r15 190l16 190e25
293p7 Handle{14|52P9} 297m13 297r13 299r33 300r15 306r26 310m14 310r14
294e7 Char{character} 300m23 305r15
295b7 First{boolean} 301r13 303m13 311r14
X 28 ahven-xml_runner.ads
20K15*XML_Runner 27|22w12 320r10 28|36e21
30U14*Report_Results 27|320s21
|