libahven4-dev 2.4+repack-1 / usr / lib / ada / adalib / ahven / ahven-text_runner.ali

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	20140806231202 f16fcaac
D ahven-xml_runner.ads	20140804204240 f5a6a205
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 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