libahven6-dev 2.6-1.2 / usr / lib / x86_64-linux-gnu / ada / adalib / ahven / ahven-tap_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_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
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_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U ahven.tap_runner%b	ahven-tap_runner.adb	673ac087 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.name_list%s	ahven-name_list.ads	ahven-name_list.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	4da573f9 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		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-slist.ads	20160711072733 664b6dad ahven.slist%s
D ahven-tap_runner.ads	20160711072733 b81161e0 ahven.tap_runner%s
D ahven-tap_runner.adb	20160711072733 85ed4064 ahven.tap_runner%b
D ahven-temporary_output.ads  20160711072733 cb961fc2 ahven.temporary_output%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-memory.ads		20160622104833 597d6634 system.memory%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-stalib.adb		20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb		20140801093848 ed88f8fb system.storage_elements%b
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 26|17r6 18r6 19r6 27r8 32r11 45r27 48r31 132r11 133r11 149r11
. 150r11 186r11 187r11 215r16 218r10 218r36 220r10
X 2 a-charac.ads
16K13*Characters 18e19 26|19r10 45r31 48r35
X 3 a-chlat1.ads
18K24*Latin_1 296e27 26|19w21 45r42 48r46
35e4*LF{character} 26|45r50
38e4*CR{character} 26|48r54
X 5 a-finali.ads
53U14*Initialize<35|44p14>
54U14*Finalize<35|43p14>
X 8 a-string.ads
16K13*Strings 35e16 26|18r10 32r15 132r15 133r15 149r15 150r15 186r15 187r15
33n37*Both{33E9} 26|34r57
X 9 a-strbou.ads
50R12*Bounded_String<12|47R9>
55I15*Length_Range{natural}
57V16*Length{55I15[18|19]} 26|86s10[18|19] 89s24[21|19]
67V16*To_String{string} 26|87s33[18|19] 91s38[21|19] 142s12[18|19] 142s48[18|19]
. 159s12[18|19] 159s48[18|19] 196s12[18|19] 196s48[18|19] 197s25[18|19]
X 10 a-strfix.ads
18K21*Fixed 251e22 26|18w18 34r14 133r23 150r23 187r23
195V13*Trim{string} 26|34s20
X 14 a-textio.ads
49K13*Text_IO 471e16 26|17w10 27r12 215r20 218r14 218r40 220r14
52P9*File_Type 26|97r16 215r28
53n23*In_File{53E9} 26|102r21
53n32*Out_File{53E9} 26|218r48
92U14*Open 26|102s7 218s22
98U14*Close 26|120s7
99U14*Delete 26|220s22
166U14*New_Line 26|46s13 53s10 116s13 143s7 160s7 198s7
171V13*End_Of_Line{boolean} 26|115s13
183V13*End_Of_File{boolean} 26|104s20
205U14*Get 26|105s10
208U14*Put 26|49s13 114s10
242U14*Put 26|42s13 111s13 140s7 141s7 142s7 157s7 158s7 159s7 194s7 195s7
. 196s7 197s7
263U14*Put_Line 26|69s10 76s10 107s13 122s10 127s10
294X4*Name_Error 26|125r12 223r12
X 17 ahven.ads
18K9*Ahven 46e10 25|16r6 17r6 18r6 20r9 21r8 28r29 53r5 26|21r6 22r6 23r6
. 24r6 26r14 28r8 29r8 227r5
X 18 ahven-astrings.ads
19K15*AStrings[9|46] 26|23w12 29r14
X 19 ahven-framework.ads
28K15*Framework 369e20 25|16w12 23r34 30r22 26|28r14 57r34 70r10 77r10
32O12*Test_Duration{duration}
34I9*Test_Count_Type<integer> 25|30r32 26|31r34 34r26
41H9*Test<5|43R9> 41e74 25|23r44 26|57r44
109y13*Test_Count{34I9} 26|76R41
113y13*Test_Count{34I9} 26|69R41
121U14*Execute 26|77s20
131U14*Execute 26|70s20
131c23 T<41R9> 26|71r13
132r23 Test_Names{24|22R9[22|22]} 26|72r13
133c23 Listener<20|40R9> 26|73r13
134o23 Timeout{32O12} 26|74r13
X 20 ahven-listeners.ads
21K15*Listeners 75e20 25|17w12 21r14 28r35
25n34*ROUTINE{25E9} 26|204r27
27R9*Context 38e14 25|37r42 40r45 43r43 46r45 49r44 52r42 26|84r33 131r42
. 147r47 173r45 179r43 185r45 202r44 214r42
28r7*Test_Name{9|50R12[18|19]} 26|142r28 159r28 196r28
29e7*Test_Kind{25E9} 26|204r15
34r13*Routine_Name{9|50R12[18|19]} 26|142r64 159r64 196r64
35r13*Message{9|50R12[18|19]} 26|86r23 87r49 197r41
36r13*Long_Message{9|50R12[21|19]} 26|89r37 91r54
40H9*Result_Listener<5|50R9> 41e71 25|28r45
X 21 ahven-long_astrings.ads
19K15*Long_AStrings[9|46] 26|24w12 89r10 91r24
X 22 ahven-name_list.ads
22K15*Name_List[24|21] 26|21w12 60r18
X 23 ahven-parameters.ads
26K15*Parameters 87e21 26|22w12 59r18 62r7 62r36 64r27 65r34 67r10 68r19
. 74r27 77r46 80r12 81r10 81r28
28X4*Invalid_Parameter 26|80r23
30R9*Parameter_Info 86e14 26|59r29
32n47*TAP_PARAMETERS{32E9} 26|62r47 81r39
34U14*Parse_Parameters 26|62s18
40U14*Usage 26|81s21
43V13*Capture{boolean} 26|65s45
46V13*Verbose{boolean} 26|64s38
52V13*Single_Test{boolean} 26|67s21
58V13*Test_Names{24|22R9[22|22]} 26|68s30
65V13*Timeout{19|32O12} 26|74s38 77s57
X 24 ahven-slist.ads
22R9*List<5|43R9> 26|60r28[22|22]
X 25 ahven-tap_runner.ads
20K15*Tap_Runner 17|18k9 25|26E9 53l11 53e21 26|26b20 227l11 227t21
23U14*Run 23=19 26|57b14 82l8 82t11
23c19 Suite<19|41R9> 26|57b19 69r53 71m27 76r53 77m29
26E9 Tap_Result_Type 26e54 29r16
26n29 OK_RESULT{26E9}
26n40 NOT_OK_RESULT{26E9} 29r35
28R9 Tap_Listener<20|40R9> 5|53P14 54P14 25|34e14 36P14 36r42 39P14 39r45
. 42P14 42r43 45P14 45r45 48P14 48r44 51P14 51r42 26|58r18 130r42 146r47
. 172r45 178r43 184r45 201r44 213r42 35|42p14
29e7*Result{26E9}
30i7*Current_Test{19|34I9} 26|141r34 158r34 195r34 205m19 205r44
31b7*Verbose{boolean} 26|64m16 162r19
32r7*Output_File{27|22R9} 26|137m48 154m48 166r64 191m48 207m52 208m56 219r64
33b7*Capture_Output{boolean} 26|65m16 135r19 152r19 164r22 189r19 206r22
. 217r19
36U14 Add_Pass<20|48p14> 36=24 37>24 26|130b14 144l8 144t16
36r24 Listener{28R9} 26|130b24 135r10 137m39 137r39 141r25
37r24 Info{20|27R9} 26|131b24 142r23 142r59
39U14 Add_Failure<20|52p14> 39=27 40>27 26|172b14 176l8 176t19
39r27 Listener{28R9} 26|172b27 175m22
40r27 Info{20|27R9} 26|173b27 175r32
42U14 Add_Error<20|64p14> 42=25 43>25 26|178b14 182l8 182t17
42r25 Listener{28R9} 26|178b25 181m22
43r25 Info{20|27R9} 26|179b25 181r32
45U14 Add_Skipped<20|56p14> 45=27 46>27 26|184b14 199l8 199t19
45r27 Listener{28R9} 26|184b27 189r10 191m39 191r39 195r25
46r27 Info{20|27R9} 26|185b27 196r23 196r59 197r36
48U14 Start_Test<20|68p14> 48=26 49>26 26|201b14 211l8 211t18
48r26 Listener{28R9} 26|201b26 205m10 205r35 206r13 207m43 207r43 208m47
. 208r47
49r26 Info{20|27R9} 26|202b26 204r10
51U14 End_Test<20|72p14> 51=24 52>24 26|213b14 226l8 226t16
51r24 Listener{28R9} 26|213b24 217r10 219r55
52r24 Info{20|27R9} 26|214b24
X 26 ahven-tap_runner.adb
31V13 Count_Image{string} 31b13 31>26 35l8 35t19 69s28 76s28 141s12 158s12
. 195s12
31i26 Count{19|34I9} 34r49
37U14 Print_Data 37b14 37>26 37>44 55l8 55t18 87s10 90s10
37a26 Message{string} 40r16 45r13 48r16 49r18 87r22 91r13
37a44 Prefix{string} 42r18 87r59 92r13
38b7 Start_Of_Line{boolean} 41r13 43m13 47m13 52r14
40i11 I{integer} 45r22 48r25 49r27
58r7 Listener{25|28R9} 64m7 65m7 73m27 73r27 77m36 77r36
59r7 Params{23|30R9} 62m63 64r47 65r54 67r34 68r42 74r47 77r66
60r7 Tests{24|22R9[22|22]} 68m10 69r60 72r27
84U14 Print_Info 84b14 84>26 94l8 94t18 163s10
84r26 Info{20|27R9} 86r18 87r44 89r32 91r49
96U14 Print_Log_File 96b14 96>30 96>49 128l8 128t22 165s13
96a30 Filename{string} 102r30 166r16
96a49 Prefix{string} 107r23 111r18 122r20 127r20 167r16
97p7 Handle{14|52P9} 102m13 102r13 104r33 105r15 115r26 120m14 120r14
98e7 Char{character} 105m23 114r15
99b7 First{boolean} 106r13 108m13 121r14
100b7 Start_Of_Line{boolean} 110r13 112m13 117m13
146U14 Report_Not_Ok 146b14 146=29 147>29 148>29 170l8 170t21 175s7 181s7
146r29 Listener{25|28R9} 152r10 154m39 154r39 158r25 162r10 164r13 166r55
147r29 Info{20|27R9} 159r23 159r59 163r22
148a29 Severity{string}
215p7 Handle{14|52P9} 218m28 218r28 220m30 220r30
X 27 ahven-temporary_output.ads
19K15*Temporary_Output 25|18w12 32r21 26|136r10 137r10 153r10 154r10 166r28
. 190r10 191r10 207r13 208r13 219r28 27|50e27
22R9*Temporary_File 25|32r38 27|48e14
24U14*Create_Temp 26|207s30
28V13*Get_Name{string} 26|166s45 219s45
31U14*Redirect_Output 26|208s30
35U14*Restore_Output 26|136s27 153s27 190s27
41U14*Close_Temp 26|137s27 154s27 191s27
X 30 system.ads
67M9*Address
X 35 s-finroo.ads
42U14*Adjust
X 37 s-memory.ads
53V13*Alloc{30|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{30|67M9} 105i<c,__gnat_realloc>22
X 44 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22