libahven4-dev 2.4+repack-1 / usr / lib / ada / adalib / ahven / ahven-tap_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_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IO
RV NO_IMPLICIT_CONDITIONALS
RV NO_NESTED_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U ahven.tap_runner%b	ahven-tap_runner.adb	79a4c33b 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.exceptions%s	a-except.adb		a-except.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.long_astrings%s	ahven-long_astrings.ads	ahven-long_astrings.ali
W ahven.parameters%s	ahven-parameters.adb	ahven-parameters.ali
W interfaces%s		interfac.ads		interfac.ali
W system.img_int%s	s-imgint.adb		s-imgint.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.standard_library%s  s-stalib.adb	s-stalib.ali

U ahven.tap_runner%s	ahven-tap_runner.ads	eafad926 DE EE OO PF PK
W ada.tags%s		a-tags.adb		a-tags.ali
W ahven%s		ahven.adb		ahven.ali
W ahven.framework%s	ahven-framework.adb	ahven-framework.ali
W ahven.listeners%s	ahven-listeners.adb	ahven-listeners.ali
W ahven.temporary_output%s  ahven-temporary_output.adb  ahven-temporary_output.ali
W system%s		system.ads		system.ali
W system.soft_links%s	s-soflin.adb		s-soflin.ali
W system.storage_elements%s  s-stoele.adb	s-stoele.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-slist.ads	20140804204240 664b6dad
D ahven-tap_runner.ads	20140804204240 b81161e0
D ahven-tap_runner.adb	20140804204240 8b04c7eb
D ahven-temporary_output.ads  20140804204240 cb961fc2
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-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 25|17r6 18r6 19r6 26r8 31r11 44r27 47r31 130r11 131r11 147r11
. 148r11 184r11 185r11 213r16 216r10 216r36 218r10
X 2 a-charac.ads
16K13*Characters 18e19 25|19r10 44r31 47r35
X 3 a-chlat1.ads
18K24*Latin_1 296e27 25|19w21 44r42 47r46
35e4*LF{character} 25|44r50
38e4*CR{character} 25|47r54
X 5 a-finali.ads
58U14*Initialize<34|44p14>
59U14*Finalize<34|43p14>
X 8 a-string.ads
16K13*Strings 35e16 25|18r10 31r15 130r15 131r15 147r15 148r15 184r15 185r15
33n37*Both{33E9} 25|33r57
X 9 a-strbou.ads
50R12*Bounded_String<12|47R9>
55I15*Length_Range{natural}
57V16*Length{55I15[18|19]} 25|84s10[18|19] 87s24[21|19]
67V16*To_String{string} 25|85s33[18|19] 89s38[21|19] 140s12[18|19] 140s48[18|19]
. 157s12[18|19] 157s48[18|19] 194s12[18|19] 194s48[18|19] 195s25[18|19]
X 10 a-strfix.ads
18K21*Fixed 251e22 25|18w18 33r14 131r23 148r23 185r23
195V13*Trim{string} 25|33s20
X 14 a-textio.ads
49K13*Text_IO 471e16 25|17w10 26r12 213r20 216r14 216r40 218r14
52P9*File_Type 25|95r16 213r28
53n23*In_File{53E9} 25|100r21
53n32*Out_File{53E9} 25|216r48
92U14*Open 25|100s7 216s22
98U14*Close 25|118s7
99U14*Delete 25|218s22
166U14*New_Line 25|45s13 52s10 114s13 141s7 158s7 196s7
171V13*End_Of_Line{boolean} 25|113s13
183V13*End_Of_File{boolean} 25|102s20
205U14*Get 25|103s10
208U14*Put 25|48s13 112s10
242U14*Put 25|41s13 109s13 138s7 139s7 140s7 155s7 156s7 157s7 192s7 193s7
. 194s7 195s7
263U14*Put_Line 25|66s10 74s10 105s13 120s10 125s10
294X4*Name_Error 25|123r12 221r12
X 17 ahven.ads
18K9*Ahven 46e10 24|16r6 17r6 18r6 20r9 21r8 28r29 53r5 25|21r6 22r6 23r6
. 25r14 27r8 28r8 225r5
X 18 ahven-astrings.ads
19K15*AStrings[9|46] 25|22w12 28r14
X 19 ahven-framework.ads
27K15*Framework 365e20 24|16w12 23r34 30r22 25|27r14 56r34 68r10 75r10
31O12*Test_Duration{duration}
33I9*Test_Count_Type<integer> 24|30r32 25|30r34 33r26
40H9*Test<5|48R9> 40e74 24|23r44 25|56r44
108y13*Test_Count{33I9} 25|74R41
112y13*Test_Count{33I9} 25|66R41
117U14*Execute 25|75s20
127U14*Execute 25|68s20
127c23 T<40R9> 25|69r13
128s23 Test_Name{string} 25|70r13
129c23 Listener<20|40R9> 25|71r13
130o23 Timeout{31O12} 25|72r13
X 20 ahven-listeners.ads
21K15*Listeners 75e20 24|17w12 21r14 28r35
25n34*ROUTINE{25E9} 25|202r27
27R9*Context 38e14 24|37r42 40r45 43r43 46r45 49r44 52r42 25|82r33 129r42
. 145r47 171r45 177r43 183r45 200r44 212r42
28r7*Test_Name{9|50R12[18|19]} 25|140r28 157r28 194r28
29e7*Test_Kind{25E9} 25|202r15
34r13*Routine_Name{9|50R12[18|19]} 25|140r64 157r64 194r64
35r13*Message{9|50R12[18|19]} 25|84r23 85r49 195r41
36r13*Long_Message{9|50R12[21|19]} 25|87r37 89r54
40H9*Result_Listener<5|55R9> 41e71 24|28r45
X 21 ahven-long_astrings.ads
19K15*Long_AStrings[9|46] 25|23w12 87r10 89r24
X 22 ahven-parameters.ads
25K15*Parameters 77e21 25|21w12 58r18 60r7 60r36 62r27 63r34 65r10 67r20
. 70r26 72r26 75r46 78r12 79r10 79r28
27X4*Invalid_Parameter 25|78r23
29R9*Parameter_Info 76e14 25|58r29
31n47*TAP_PARAMETERS{31E9} 25|60r47 79r39
33U14*Parse_Parameters 25|60s18
39U14*Usage 25|79s21
42V13*Capture{boolean} 25|63s45
45V13*Verbose{boolean} 25|62s38
51V13*Single_Test{boolean} 25|65s21
54V13*Test_Name{string} 25|67s31 70s37
60V13*Timeout{19|31O12} 25|72s37 75s57
X 24 ahven-tap_runner.ads
20K15*Tap_Runner 17|18k9 24|26E9 53l11 53e21 25|25b20 225l11 225t21
23U14*Run 23=19 25|56b14 80l8 80t11
23c19 Suite<19|40R9> 25|56b19 67r13 69m26 74r53 75m29
26E9 Tap_Result_Type 26e54 29r16
26n29 OK_RESULT{26E9}
26n40 NOT_OK_RESULT{26E9} 29r35
28R9 Tap_Listener<20|40R9> 5|58P14 59P14 24|34e14 36P14 36r42 39P14 39r45
. 42P14 42r43 45P14 45r45 48P14 48r44 51P14 51r42 25|57r18 128r42 144r47
. 170r45 176r43 182r45 199r44 211r42 34|42p14
29e7*Result{26E9}
30i7*Current_Test{19|33I9} 25|139r34 156r34 193r34 203m19 203r44
31b7*Verbose{boolean} 25|62m16 160r19
32r7*Output_File{26|22R9} 25|135m48 152m48 164r64 189m48 205m52 206m56 217r64
33b7*Capture_Output{boolean} 25|63m16 133r19 150r19 162r22 187r19 204r22
. 215r19
36U14 Add_Pass<20|48p14> 36=24 37>24 25|128b14 142l8 142t16
36r24 Listener{28R9} 25|128b24 133r10 135m39 135r39 139r25
37r24 Info{20|27R9} 25|129b24 140r23 140r59
39U14 Add_Failure<20|52p14> 39=27 40>27 25|170b14 174l8 174t19
39r27 Listener{28R9} 25|170b27 173m22
40r27 Info{20|27R9} 25|171b27 173r32
42U14 Add_Error<20|64p14> 42=25 43>25 25|176b14 180l8 180t17
42r25 Listener{28R9} 25|176b25 179m22
43r25 Info{20|27R9} 25|177b25 179r32
45U14 Add_Skipped<20|56p14> 45=27 46>27 25|182b14 197l8 197t19
45r27 Listener{28R9} 25|182b27 187r10 189m39 189r39 193r25
46r27 Info{20|27R9} 25|183b27 194r23 194r59 195r36
48U14 Start_Test<20|68p14> 48=26 49>26 25|199b14 209l8 209t18
48r26 Listener{28R9} 25|199b26 203m10 203r35 204r13 205m43 205r43 206m47
. 206r47
49r26 Info{20|27R9} 25|200b26 202r10
51U14 End_Test<20|72p14> 51=24 52>24 25|211b14 224l8 224t16
51r24 Listener{28R9} 25|211b24 215r10 217r55
52r24 Info{20|27R9} 25|212b24
X 25 ahven-tap_runner.adb
30V13 Count_Image{string} 30b13 30>26 34l8 34t19 66s28 74s28 139s12 156s12
. 193s12
30i26 Count{19|33I9} 33r49
36U14 Print_Data 36b14 36>26 36>44 54l8 54t18 85s10 88s10
36s26 Message{string} 39r16 44r13 47r16 48r18 85r22 89r13
36s44 Prefix{string} 41r18 85r59 90r13
37b7 Start_Of_Line{boolean} 40r13 42m13 46m13 51r14
39i11 I{integer} 44r22 47r25 48r27
57r7 Listener{24|28R9} 62m7 63m7 71m26 71r26 75m36 75r36
58r7 Params{22|29R9} 60m63 62r47 63r54 65r34 67r42 70r48 72r46 75r66
82U14 Print_Info 82b14 82>26 92l8 92t18 161s10
82r26 Info{20|27R9} 84r18 85r44 87r32 89r49
94U14 Print_Log_File 94b14 94>30 94>49 126l8 126t22 163s13
94s30 Filename{string} 100r30 164r16
94s49 Prefix{string} 105r23 109r18 120r20 125r20 165r16
95p7 Handle{14|52P9} 100m13 100r13 102r33 103r15 113r26 118m14 118r14
96e7 Char{character} 103m23 112r15
97b7 First{boolean} 104r13 106m13 119r14
98b7 Start_Of_Line{boolean} 108r13 110m13 115m13
144U14 Report_Not_Ok 144b14 144=29 145>29 146>29 168l8 168t21 173s7 179s7
144r29 Listener{24|28R9} 150r10 152m39 152r39 156r25 160r10 162r13 164r55
145r29 Info{20|27R9} 157r23 157r59 161r22
146s29 Severity{string}
213p7 Handle{14|52P9} 216m28 216r28 218m30 218r30
X 26 ahven-temporary_output.ads
19K15*Temporary_Output 24|18w12 32r21 25|134r10 135r10 151r10 152r10 164r28
. 188r10 189r10 205r13 206r13 217r28 26|50e27
22R9*Temporary_File 24|32r38
24U14*Create_Temp 25|205s30
28V13*Get_Name{string} 25|164s45 217s45
31U14*Redirect_Output 25|206s30
35U14*Restore_Output 25|134s27 151s27 188s27
41U14*Close_Temp 25|135s27 152s27 189s27
X 34 s-finroo.ads
42U14*Adjust