libahven6-dev 2.6-1.2 / usr / lib / x86_64-linux-gnu / ada / adalib / ahven / ahven-text_runner.ali

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_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_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ahven.text_runner%b	ahven-text_runner.adb	8fc25f89 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	65582ea6 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		20170106103348 76789da1 ada%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-strfix.ads		20101008130255 d07c346e ada.strings.fixed%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 a-uncdea.ads		20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D ahven.ads		20160711072733 4ddcfc31 ahven%s
D ahven-astrings.ads	20160711072733 1b9f3e2c ahven.astrings%s
D ahven-framework.ads	20160711072733 d816ccdb ahven.framework%s
D ahven-listeners.ads	20160711072733 abe83d31 ahven.listeners%s
D ahven-long_astrings.ads  20160711072733 26230525 ahven.long_astrings%s
D ahven-name_list.ads	20160711072733 88b390f5 ahven.name_list%s
D ahven-parameters.ads	20160711072733 619df674 ahven.parameters%s
D ahven-results.ads	20160711072733 c5fcc2f0 ahven.results%s
D ahven-runner.ads	20160711072733 3628f74f ahven.runner%s
D ahven-slist.ads	20160711072733 664b6dad ahven.slist%s
D ahven-text_runner.ads	20160711072733 54f32ac8 ahven.text_runner%s
D ahven-text_runner.adb	20160711072733 b62ea757 ahven.text_runner%b
D ahven-xml_runner.ads	20160711072733 cefca7fe ahven.xml_runner%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-imgint.ads		20090409150019 02dbe0c2 system.img_int%s
D s-imglld.ads		20090409150019 f3220969 system.img_lld%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-stopoo.ads		20131010103753 b16154c2 system.storage_pools%s
D s-stratt.ads		20131014135145 aedef97e system.stream_attributes%s
D s-string.ads		20140225151139 8fe54fb7 system.strings%s
D s-ststop.ads		20140225151139 e6693757 system.strings.stream_ops%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 28|17r6 18r6 19r6 25r5 26r5 79r26 88r11
X 2 a-charac.ads
16K13*Characters 18e19 28|19r10 79r30
X 3 a-chlat1.ads
18K24*Latin_1 296e27 28|19w21 79r41
35e4*LF{character} 28|79r49
X 8 a-string.ads
16K13*Strings 35e16 28|18r10 26r9 88r15
29n24*Left{29E9} 28|126r27
29n30*Right{29E9} 28|131r27
30n30*Right{30E9} 28|125r27 130r27
X 9 a-strbou.ads
50R12*Bounded_String<12|47R9>
55I15*Length_Range{natural}
57V16*Length{55I15[18|19]} 28|175s10[18|19] 185s13[18|19]
67V16*To_String{string} 28|177s20[18|19] 186s29[18|19]
X 10 a-strfix.ads
18K21*Fixed 251e22 28|18w18 26r17
25U14*Move 28|123s10 128s10
26a7 Source{string} 28|123r16 128r16
27a7 Target{string} 28|124r16 129r16
28e7 Drop{8|30E9} 28|125r16 130r16
29e7 Justify{8|29E9} 28|126r16 131r16
30e7 Pad{character} 28|127r16 132r16
X 14 a-textio.ads
49K13*Text_IO 471e16 28|17w10 25r9
52P9*File_Type 28|292r16
53n23*In_File{53E9} 28|296r21
92U14*Open 28|296s7
98U14*Close 28|309s7
166U14*New_Line 28|137s10 141s7 274s7 278s10 283s10 306s13
171V13*End_Of_Line{boolean} 28|305s13
183V13*End_Of_File{boolean} 28|298s20
205U14*Get 28|299s10
208U14*Put 28|78s10 304s10
242U14*Put 28|60s10 68s10 99s10 133s10 134s10
263U14*Put_Line 28|177s10 270s7 276s10 281s10 286s10 301s13 311s10
X 17 ahven.ads
18K9*Ahven 46e10 27|16r6 17r6 18r6 24r9 33r5 28|21r6 22r6 23r6 28r14 29r8
. 30r8 31r8 336r5
X 18 ahven-astrings.ads
19K15*AStrings[9|46] 28|23w12 31r14
X 19 ahven-framework.ads
28K15*Framework 369e20 27|16w12 20r29 25r34 28r27 28|30r14 327r34 332r27
41H9*Test<5|43R9> 41e74 27|25r44 28|327r44
206P9*Test_Suite_Access(199R9) 27|28r37 28|332r37
X 23 ahven-parameters.ads
26K15*Parameters 87e21 27|18w12 22r29 32r40 28|316r40 318r10 320r27 321r13
. 323r40
30R9*Parameter_Info 86e14 27|32r51 28|316r51
46V13*Verbose{boolean} 28|323s51
49V13*XML_Results{boolean} 28|318s21
62V13*Result_Dir{string} 28|320s38
68V13*Test_Class_Suffix{string} 28|321s24
X 24 ahven-results.ads
29K15*Results 271e18 27|17w12 21r29 31r40 28|29r14 315r40
32R9*Result_Info 237e14 28|36r35 85r35
86V13*Get_Routine_Name{string} 28|110s19 122s10
89V13*Get_Message{string} 28|103s39
92V13*Get_Long_Message{string} 28|136s10 138s25
95V13*Get_Execution_Time{duration} 28|128s43
98V13*Get_Output_File{9|50R12[18|19]} 28|185s21 186s40
102R9*Result_Collection 270e14 27|31r48 28|40r39 43r36 46r37 49r37 52r40
. 145r26 148r25 150r39 166r42 201r39 218r36 235r37 252r37 267r40 315r48
106P9*Result_Collection_Access(102R9)
148V13*Pass_Count{natural} 28|261r23 270s46
152V13*Error_Count{natural} 28|244r23 285s10 286s49
156V13*Failure_Count{natural} 28|210r23 280s10 281s49
160V13*Skipped_Count{natural} 28|227r23 275s10 276s50
164V13*Get_Test_Name{9|50R12[18|19]} 28|175s18 177s31
176P9*Result_Info_Cursor<26|23P9[247]> 28|168r42 173r18
179V13*First_Pass{176P9} 28|258s23
183V13*First_Failure{176P9} 28|207s23
187V13*First_Skipped{176P9} 28|224s23
191V13*First_Error{176P9} 28|241s23
195V13*Next{176P9}<26|45p13> 28|188s22
198V13*Data{32R9}<26|48p13> 28|183s22 185s38 186s57
201V13*Is_Valid{boolean}<26|51p13> 28|182s34
204P9*Result_Collection_Cursor<26|23P9[255]> 28|155r20
207V13*First_Child{204P9} 28|155s48
211V13*Next{204P9}<26|45p13> 28|162s24
215V13*Is_Valid{boolean}<26|51p13> 28|158s24
218V13*Data{106P9} 28|159s24 160s25
X 25 ahven-runner.ads
21K15*Runner 32e17 28|21w12 329r7
27U14*Run_Suite 28|329s14
X 26 ahven-slist.ads
23P9*Cursor<67P9[24|255]>
66R9 Node
67P9 Node_Access(66R9[24|255])
X 27 ahven-text_runner.ads
24K15*Text_Runner 17|18k9 27|31E14 33l11 33e22 28|28b20 336l11 336t22
25U14*Run 25=19 28|327b14 330l8 330t11 334s7
25c19 Suite<19|41R9> 28|327b19 329m25
28U14*Run 28>19 28|332b14 335l8 335t11
28p19 Suite{19|206P9} 28|332b19 334r12
31U14 Do_Report 31>25 32>25 28|315b14 325l8 325t17 329r32
31r25 Test_Results{24|102R9} 28|315b25 320r13 323r26
32r25 Args{23|30R9} 28|316b25 318r34 320r50 321r43 323r60
X 28 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{24|32R9} 85b26 103r52 110r37 122r28 128r63 136r28 138r43
37i26 Level{natural} 86b26 109r12 138r50
38a26 Result{string} 87b26 123r27
40U14 Print_Failures 40>30 41>30 201b14 208r23 212l8 212t22 282s10
40r30 Result{24|102R9} 201b30 205r23 207r38 282r26
41i30 Level{natural} 202b30 206r23 282r44
43U14 Print_Skips 43>27 44>27 218b14 225r23 229l8 229t19 277s10
43r27 Result{24|102R9} 218b27 222r23 224r38 277r23
44i27 Level{natural} 219b27 223r23 277r41
46U14 Print_Errors 46>28 47>28 235b14 242r23 246l8 246t20 287s10
46r28 Result{24|102R9} 235b28 239r23 241r36 287r24
47i28 Level{natural} 236b28 240r23 287r42
49U14 Print_Passes 49>28 50>28 252b14 259r23 263l8 263t20 272s10
49r28 Result{24|102R9} 252b28 256r23 258r35 272r24
50i28 Level{natural} 253b28 257r23 272r42
52U14 Report_Results 52>30 53>30 267b14 289l8 289t22 323s10
52r30 Result{24|102R9} 267b30 270r58 272r34 275r25 276r65 277r33 280r25 281r64
. 282r36 285r23 286r62 287r34
53b30 Verbose{boolean} 268b30 271r10
55U14 Print_Log_File 55>30 186s13 291b14 313l8 313t22
55a30 Filename{string} 291b30 296r30
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
73a29 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
97a29 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{24|102R9}
145i45 Level{natural}
147P9 Child_Count_Proc(integer) 148>16 153r39 171r42
148r16 Result{24|102R9}
150U14 Print_Children 150b14 150>30 151>30 152>30 153>30 164l8 164t22 191s7
150r30 Result{24|102R9} 155r61 191r23
151i30 Level{natural} 160r48 192r23
152p30 Action{144P9} 160r13 193r23
153p30 Count{147P9} 159r13 194r23
155p7 Child_Iter{24|204P9} 158r34 159r30 160r31 162m10 162r30
166U14 Print_Statuses 166b14 166>30 167>30 168>30 169>30 170>30 171>30 172>30
. 195l8 195t22 204s7 221s7 238s7 255s7
166r30 Result{24|102R9} 175r33 177r46 191r33 205r10 222r10 239r10 256r10
167i30 Level{natural} 176r15 183r39 192r33 206r10 223r10 240r10 257r10
168p30 Start{24|176P9} 173r40 207r10 224r10 241r10 258r10
169p30 Action{144P9} 193r33 208r10 225r10 242r10 259r10
170a30 Status{string} 183r46 209r10 226r10 243r10 260r10
171p30 Count{147P9} 194r33 210r10 227r10 244r10 261r10
172b30 Print_Log{boolean} 184r13 211r10 228r10 245r10 262r10
173p7 Position{24|176P9} 182r44 183r28 185r44 186r63 188m10 188r28
180l7 Test_Loop 182r15 189l16 189e25
292p7 Handle{14|52P9} 296m13 296r13 298r33 299r15 305r26 309m14 309r14
293e7 Char{character} 299m23 304r15
294b7 First{boolean} 300r13 302m13 310r14
X 29 ahven-xml_runner.ads
20K15*XML_Runner 28|22w12 319r10 29|37e21
30U14*Report_Results 28|319s21