libahven6-dev 2.6-1.2 / usr / lib / x86_64-linux-gnu / ada / adalib / ahven / ahven-xml_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_DIRECT_BOOLEAN_OPERATORS
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_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U ahven.xml_runner%b	ahven-xml_runner.adb	511dc098 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.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	ff57a390 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		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-xml_runner.ads	20160711072733 cefca7fe ahven.xml_runner%s
D ahven-xml_runner.adb	20160711072733 cc74d24a ahven.xml_runner%b
D ahven_compat.ads	20160711072733 8861d619 ahven_compat%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 20r6 21r6 29r8 30r8 31r8 78r11 104r11 106r13
. 136r11 139r16 160r59 182r59 194r35 206r59 217r35 234r59 245r35 292r46 320r18
. 355r40 358r10
X 2 a-charac.ads
16K13*Characters 18e19 28|17r10 78r15 104r15 136r15
X 3 a-chlat1.ads
18K24*Latin_1 296e27 28|17w21 82r40 109r34 109r47 142r37 142r50
35e4*LF{character} 28|109r55 142r58
38e4*CR{character} 28|109r42 142r45
63e4*Space{character} 28|82r48
X 8 a-string.ads
16K13*Strings 35e16 28|19w10 20r10 21r10 30r12 31r12 106r17 139r20 160r63
. 182r63 194r39 206r63 217r39 234r63 245r39 292r50 320r22
33n37*Both{33E9} 28|160r71 182r71 194r47 206r71 217r47 234r71 245r47 292r58
. 320r30
X 9 a-strbou.ads
50R12*Bounded_String<12|47R9>
55I15*Length_Range{natural}
57V16*Length{55I15[18|19]} 28|169s10[18|19] 221s10[18|19] 249s10[18|19]
67V16*To_String{string} 28|171s32[18|19] 223s32[18|19] 251s32[18|19] 276s32[18|19]
. 323s20[18|19] 356s38[18|19]
X 10 a-strfix.ads
18K21*Fixed 251e22 28|20w18 30r20
122V13*Translate{string} 28|98s14
123a7 Source{string} 28|98r25
124a7 Mapping{11|107A9} 28|99r25
195V13*Trim{string} 28|160s9 182s9 194s9 206s9 217s9 234s9 245s9 292s17 319s12
X 11 a-strmap.ads
38K21*Maps 411e21 28|21w18 31r20 106r25 139r28
95A12*Character_Sequence{string}<integer>
107A9*Character_Mapping(character) 28|41r13 94r13 106r30 139r33
121V13*To_Mapping{107A9} 28|108s14 141s17
122a7 From{95A12} 28|108r26 141r29
122a13 To{95A12} 28|110r26 143r29
X 14 a-textio.ads
49K13*Text_IO 471e16 28|18w10 29r12 355r44 358r14
52P9*File_Type 28|44r38 49r41 54r39 63r37 65r38 68r41 73r39 102r38 114r41
. 129r39 155r38 177r41 201r41 229r39 258r35 262r42 267r38 286r33 295r33 350r14
. 385r37 391r16
53n23*In_File{53E9} 28|423r21
53n32*Out_File{53E9} 28|355r52
86U14*Create 28|355s10
87p7 File{52P9} 28|355r18
88e7 Mode{53E9} 28|355r32
89a7 Name{string} 28|356r12
92U14*Open 28|423s7
98U14*Close 28|358s22 439s7
118V13*Standard_Output{52P9} 28|353s17
165U14*New_Line 28|435s13
171V13*End_Of_Line{boolean} 28|434s13
183V13*End_Of_File{boolean} 28|425s20
205U14*Get 28|426s10
207U14*Put 28|433s10
241U14*Put 28|111s7 119s7 122s7 124s7 170s10 191s7 195s7 215s7 218s7 222s10
. 243s7 246s7 250s10 309s10 311s10 313s10 315s10 317s10 321s10 417s19 428s13
259U14*Put_Line 28|126s7 131s7 172s10 196s7 197s7 219s7 220s7 224s10 247s7
. 248s7 252s10 306s10 324s10 347s10 441s10
X 17 ahven.ads
18K9*Ahven 46e10 27|16r6 17r6 18r6 20r9 37r5 28|23r6 26r6 28r14 33r8 34r8
. 35r8 462r5
X 18 ahven-astrings.ads
19K15*AStrings[9|46] 28|26w12 35r14
X 19 ahven-framework.ads
28K15*Framework 369e20 27|16w12 22r34 25r27 28|34r14 453r34 458r27
199R9*Test_Suite<41R9> 365e14 27|22r44 28|453r44
206P9*Test_Suite_Access(199R9) 27|25r37 28|458r37
X 23 ahven-parameters.ads
26K15*Parameters 87e21 27|18w12 36r40 28|446r40 449r23 450r23
30R9*Parameter_Info 86e14 27|36r51 28|446r51
62V13*Result_Dir{string} 28|449s34
68V13*Test_Class_Suffix{string} 28|450s34
X 24 ahven-results.ads
29K15*Results 271e18 27|17w12 30r39 35r40 28|33r14 445r40
32R9*Result_Info 237e14 28|46r38 51r41 56r39 157r38 179r41 203r41 231r39
. 260r35
86V13*Get_Routine_Name{string} 28|165s28 187s28 211s28 239s28
89V13*Get_Message{string} 28|194s15 196s23 217s15 219s23 245s15 247s23
95V13*Get_Execution_Time{duration} 28|160s31 182s31 206s31 234s31
98V13*Get_Output_File{9|50R12[18|19]} 28|169s18 171s43 221s18 223s43 249s18
. 251s43
102R9*Result_Collection 270e14 27|30r47 35r48 28|59r44 264r38 269r38 283r45
. 287r33 296r33 362r39 445r48
106P9*Result_Collection_Access(102R9)
140V13*Test_Count{natural} 28|316s49
144V13*Direct_Test_Count{natural} 28|376s16
152V13*Error_Count{natural} 28|310s50
156V13*Failure_Count{natural} 28|312s52
160V13*Skipped_Count{natural} 28|314s49
164V13*Get_Test_Name{9|50R12[18|19]} 28|276s43 323s31 356s49
172V13*Get_Execution_Time{duration} 28|319s34
176P9*Result_Info_Cursor<26|23P9[247]> 28|263r42 268r42 271r18
179V13*First_Pass{176P9} 28|338s27
183V13*First_Failure{176P9} 28|333s27
187V13*First_Skipped{176P9} 28|343s27
191V13*First_Error{176P9} 28|328s27
195V13*Next{176P9}<26|45p13> 28|279s22
198V13*Data{32R9}<26|48p13> 28|277s32
201V13*Is_Valid{boolean}<26|51p13> 28|274s24
204P9*Result_Collection_Cursor<26|23P9[255]> 28|365r18
207V13*First_Child{204P9} 28|367s19
211V13*Next{204P9}<26|45p13> 28|380s22
215V13*Is_Valid{boolean}<26|51p13> 28|369s24
218V13*Data{106P9} 28|370s26 371s30 373s29
222V13*Child_Depth{natural} 28|370s13
X 25 ahven-runner.ads
21K15*Runner 32e17 28|23w12 455r7
27U14*Run_Suite 28|455s14
X 26 ahven-slist.ads
23P9*Cursor<67P9[24|255]>
66R9 Node
67P9 Node_Access(66R9[24|247])
X 27 ahven-xml_runner.ads
20K15*XML_Runner 17|18k9 27|35E14 37l11 37e21 28|28b20 462l11 462t21
22U14*Run 22=19 28|453b14 456l8 456t11 460s7
22c19 Suite<19|199R9> 28|453b19 455m25
25U14*Run 25>19 28|458b14 461l8 461t11
25p19 Suite{19|206P9} 28|458b19 460r12
30U14*Report_Results 30>30 31>30 32>30 28|362b14 373s13 382l8 382t22 448s7
30r30 Result{24|102R9} 28|362b30 367r32 376r35 377r33
31a30 Dir{string} 28|363b30 371r51 373r50 377r41
32a30 Test_Suffix{string} 28|364b30 371r56 373r55 377r46
35U14 Do_Report 35>25 36>25 28|445b14 451l8 451t17 455r32
35r25 Test_Results{24|102R9} 28|445b25 448r23
36r25 Args{23|30R9} 28|446b25 449r46 450r53
X 28 ahven-xml_runner.adb
37V13 Filter_String{string} 37>28 77b13 90l8 90t21 120s43 123s38 125s38
37a28 Str{string} 77b28 79r24 81r16 82r13 82r30 85r27
39V13 Filter_String{string} 40>7 41>7 92b13 100l8 100t21 111s37 145s27
40a7 Str{string} 93b7 98r36
41a7 Map{11|107A9} 94b7 99r36
44U14 Print_Test_Pass 44>31 45>31 46>31 47>31 155b14 175l8 175t23 302r22
44p31 File{14|52P9} 155b31 163r28 170r15 171r26 172r20 174r25
45a31 Parent_Test{string} 156b31 164r28
46r31 Info{24|32R9} 157b31 160r51 165r46 169r35 171r60
47a31 Test_Suffix{string} 158b31 167r28
49U14 Print_Test_Failure 49>34 50>34 51>34 52>34 201b14 227l8 227t26 300r22
49p34 File{14|52P9} 201b34 209r28 215r12 216r24 218r12 219r17 220r17 222r15
. 223r26 224r20 226r25
50a34 Parent_Test{string} 202b34 210r28
51r34 Info{24|32R9} 203b34 206r51 211r46 217r28 219r36 221r35 223r60
52a34 Test_Suffix{string} 204b34 213r28
54U14 Print_Test_Error 54>32 55>32 56>32 57>32 229b14 255l8 255t24 298r22
54p32 File{14|52P9} 229b32 237r28 243r12 244r24 246r12 247r17 248r17 250r15
. 251r26 252r20 254r25
55a32 Parent_Test{string} 230b32 238r28
56r32 Info{24|32R9} 231b32 234r51 239r46 245r28 247r36 249r35 251r60
57a32 Test_Suffix{string} 232b32 241r28
59U14 Print_Test_Case 59>31 60>31 61>31 283b14 360l8 360t23 371s13 377s16
59r31 Collection{24|102R9} 283b31 353r34 356r64 357r23
60a31 Dir{string} 284b31 352r10 356r33
61a31 Test_Suffix{string} 285b31 330r28 335r28 340r28 345r28
63U14 Print_Log_File 63>30 63>48 171s10 223s10 251s10 385b14 443l8 443t22
63p30 File{14|52P9} 385b30 417r24 428r18 433r15 435r23 441r20
63a48 Filename{string} 385b48 423r30
65U14 Print_Attribute 65>31 65>49 66>31 102b14 112l8 112t23 120s7 123s7 125s7
. 193s7 216s7 244s7 310s10 312s10 314s10 316s10 318s10 322s10
65p31 File{14|52P9} 102b31 111r12
65a49 Attr{string} 102b49 111r18
66a31 Value{string} 103b31 111r52
68U14 Start_Testcase_Tag 68>34 69>34 69>51 70>34 71>34 114b14 127l8 127t26
. 162s7 184s7 208s7 236s7
68p34 File{14|52P9} 114b34 119r12 120r24 122r12 123r24 124r12 125r24 126r17
. 163r10 185r10 209r10 237r10
69a34 Parent{string} 115b34 120r58 164r10 186r10 210r10 238r10
69a51 Name{string} 115b51 123r53 165r10 187r10 211r10 239r10
70a34 Execution_Time{string} 116b34 125r53 166r10 188r10 212r10 240r10
71a34 Test_Suffix{string} 117b34 121r11 167r10 189r10 213r10 241r10
73U14 End_Testcase_Tag 73>32 129b14 132l8 132t24 174s7 198s7 226s7 254s7
73p32 File{14|52P9} 129b32 131r17
75V13 Create_Name{string} 75>26 75>40 134b13 153l8 153t19 356s20
75a26 Dir{string} 134b26 148r10 149r17
75a40 Name{string} 134b40 149r68 151r27
79a7 Result{string} 83m13 85m13 89r14
81i11 I{integer} 82r18 82r35 83r21 85r21 85r32
106a7 Map{11|107A9} 108m7 111r59
138V16 Filename{string} 138b16 138>26 146l11 146t19 149s58 151s17
138a26 Test{string} 145r42
139a10 Map{11|107A9} 141m10 145r48
159a7 Exec_Time{string} 166r28
177U14 Print_Test_Skipped 177b14 177>34 178>34 179>34 180>34 199l8 199t26
. 304r22
177p34 File{14|52P9} 185r28 191r12 193r24 195r12 196r17 197r17 198r25
178a34 Parent_Test{string} 186r28
179r34 Info{24|32R9} 182r51 187r46 194r28 196r36
180a34 Test_Suffix{string} 189r28
181a7 Exec_Time{string} 188r28
205a7 Exec_Time{string} 212r28
233a7 Exec_Time{string} 240r28
258U21 Print 258>28 259>28 260>28 261>28 275s10 298r13 300r13 302r13 304r13
258p28 File{14|52P9} 275r17
259a28 Parent_Test{string} 276r17
260r28 Info{24|32R9} 277r17
261a28 Test_Suffix{string} 278r17
262u14 Print_Results 262>29 263>29 264>29 265>29 267b14 281l8 281t21 297r40
. 299r42 301r40 303r39
262p29 Output{14|52P9} 267b29 275r32 327r13[297] 332r13[299] 337r13[301]
. 342r13[303]
263p29 First_Item{24|176P9} 268b29 271r40 328r13[297] 333r13[299] 338r13[301]
. 343r13[303]
264r29 Result{24|102R9} 269b29 276r58 329r13[297] 334r13[299] 339r13[301]
. 344r13[303]
265a29 Test_Suffix{string} 270b29 278r32 330r13[297] 335r13[299] 340r13[301]
. 345r13[303]
271p7 Position{24|176P9} 274r34 277r38 279m10 279r28
286U17 Print 286>24 287>24 295b17 348l11 348t16 353s10 357s10
286p24 Output{14|52P9} 295b24 306r20 309r15 310r27 311r15 312r27 313r15 314r27
. 315r15 316r27 317r15 318r27 321r15 322r27 324r20 327r23 332r23 337r23 342r23
. 347r20
287r24 Result{24|102R9} 296b24 310r63 312r67 314r64 316r61 319r54 323r46
. 328r40 329r23 333r42 334r23 338r39 339r23 343r42 344r23
290V16 Img{string} 290b16 290>21 293l11 293t14 310s45 312s47 314s44 316s44
290i21 Value{natural} 292r38
297U20 Print_Errors[262] 267b14 326s10
299U20 Print_Failures[262] 267b14 331s10
301U20 Print_Passes[262] 267b14 336s10
303U20 Print_Skips[262] 267b14 341s10
350p7 File{14|52P9} 355m26 355r26 357r17 358m29 358r29
365p7 Position{24|204P9} 367m7 369r34 370r32 371r36 373r35 380m10 380r28
386E12 CData_End_State 386e68 388r42 389r16 397r22 399r42 400r16 402r22
386n32 NONE{386E12} 397r41 402r41 407r18
386n38 FIRST_BRACKET{386E12} 409r32 411r18
386n53 SECOND_BRACKET{386E12} 413r32 415r18
388V16 State_Change{386E12} 388>30 399b16 421l11 421t23 431s26
388e30 Old_State{386E12} 399b30 406r15
391p7 Handle{14|52P9} 423m13 423r13 425r33 426r15 434r26 439m14 439r14
392e7 Char{character} 408r19 412r19 416r19 426m23 433r21
393b7 First{boolean} 427r13 429m13 440r14
397e7 CData_Ending{386E12} 431m10 431r40
402e10 New_State{386E12} 409m19 413m19 420r17
X 29 ahven_compat.ads
18K9*Ahven_Compat 28|25w6 149r23 29|21e17
19V13*Directory_Separator{string} 28|149s36