libgnatcoll1.6-dev 1.6gpl2014-9 / usr / lib / x86_64-linux-gnu / ada / adalib / gnatcoll / gnatcoll-ravenscar-timed_out_sporadic_server.ali

V "GNAT Lib v4.9"
A -O2
A -O2
A -fPIC
A -fstack-protector-strong
A -gnatA
A -gnatn
A -gnatws
A -gnat05
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_TASKING
RV STATIC_PRIORITIES
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05

U gnatcoll.ravenscar.timed_out_sporadic_server%b  gnatcoll-ravenscar-timed_out_sporadic_server.adb  5c88e481 NE OO PK GE IU
W gnatcoll.ravenscar%s	gnatcoll-ravenscar.ads	gnatcoll-ravenscar.ali

U gnatcoll.ravenscar.timed_out_sporadic_server%s  gnatcoll-ravenscar-timed_out_sporadic_server.ads  c63a17b3 BN EE NE OO PK GE
W ada%s			ada.ads			ada.ali
W ada.real_time%s	a-reatim.adb		a-reatim.ali
Z ada.real_time.timing_events%s  a-rttiev.adb	a-rttiev.ali
W ada.synchronous_task_control%s  a-sytaco.adb	a-sytaco.ali
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali
W gnatcoll.ravenscar%s	gnatcoll-ravenscar.ads	gnatcoll-ravenscar.ali
W gnatcoll.ravenscar.sporadic_server%s  gnatcoll-ravenscar-sporadic_server.adb  gnatcoll-ravenscar-sporadic_server.ali
W gnatcoll.ravenscar.timers%s  gnatcoll-ravenscar-timers.ads  gnatcoll-ravenscar-timers.ali
W gnatcoll.ravenscar.timers.one_shot_timer%s  gnatcoll-ravenscar-timers-one_shot_timer.adb  gnatcoll-ravenscar-timers-one_shot_timer.ali
Z gnatcoll.ravenscar.utils%s  gnatcoll-ravenscar-utils.adb  gnatcoll-ravenscar-utils.ali
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
D a-finali.ads		20111121113555 52ecdc1b
D a-reatim.ads		20090409150019 63f07669
D a-rttiev.ads		20090409150019 22f35a33
D a-stream.ads		20140122164720 1a984740
D a-sytaco.ads		20090409150019 a7cf8eb9
D a-tags.ads		20111212115430 6c0509d0
D a-unccon.ads		20070406091342 f9eb8f06
D gnatcoll.ads		20140810010057 6a5da479
D gnatcoll-ravenscar.ads  20140810010057 44b9854e
D gnatcoll-ravenscar-sporadic_server.ads  20140810010057 25745195
D gnatcoll-ravenscar-sporadic_server.adb  20140810010057 9ef01baf
D gnatcoll-ravenscar-timed_out_sporadic_server.ads  20140810010057 a03d237a
D gnatcoll-ravenscar-timed_out_sporadic_server.adb  20140810010057 fcb5c7fb
D gnatcoll-ravenscar-timers.ads  20140810010057 0be04f59
D gnatcoll-ravenscar-timers-one_shot_timer.ads  20140810010057 53d189d3
D gnatcoll-ravenscar-timers-one_shot_timer.adb  20140810010057 96a14754
D gnatcoll-ravenscar-utils.ads  20140810010057 21915650
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D system.ads		20150725181646 90249111
D s-atacco.ads		20120515093410 4c36d12f
D s-exctab.ads		20140225151139 54135002
D s-finroo.ads		20120426095924 4ff27390
D s-linux.ads		20140409145429 5b2f79a5
D s-multip.ads		20101011073009 38ac9f73
D s-oscons.ads		20150725181656 a445b120
D s-osinte.ads		20140409145429 59011f13
D s-parame.ads		20140225151139 ab8cb46a
D s-soflin.ads		20140225151139 aa763b52
D s-stache.ads		20140225151139 a37c21ec
D s-stausa.ads		20110804134155 017a0a05
D s-stalib.ads		20140225151139 a891183f
D s-stoele.ads		20140225151139 2dc34a04
D s-stoele.adb		20140225151139 ed88f8fb
D s-tasinf.ads		20120730151500 21316953
D s-taspri.ads		20110927094500 15f617a8
D s-taprop.ads		20111212143339 1dd2e1b6
D s-taskin.ads		20140131154341 3f821f32
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 14|74r6 76r6 92r24 92r46 131r29 15|36r11 38r7 42r11 49r10 54r10
. 73r11 74r40
X 4 a-reatim.ads
39K13*Real_Time 139e18 14|74w10 92r28 92r50 15|36r15 42r15 73r15 74r44
41O9*Time<duration> 14|92r38 15|74r54
46O9*Time_Span<duration>
53V13*Clock{41O9} 14|92s60 15|65s13 75s10
55V14*"+"{41O9} 15|65s19 75s16
85V13*Milliseconds{46O9} 15|65s21 75s18
X 7 a-sytaco.ads
40K13*Synchronous_Task_Control 78e33 14|76w10 131r33 15|38r11 49r14 54r14
44R9*Suspension_Object<3|55R9> 69e14 14|131r58
46U14*Set_True 15|38s36
48U14*Set_False 15|49s39
52U14*Suspend_Until_True 15|54s39
X 10 gnatcoll.ads
24K9*GNATCOLL 26e13 14|77r6 78r6 112r9 141r28 147r30 150r5 15|30r14 88r5
X 11 gnatcoll-ravenscar.ads
35K18*Ravenscar 10|24k9 11|43e23 14|77r15 78r15 112r18 141r37 147r39 150r14
. 15|30r23 88r14
37I12*Millisecond{integer} 14|85r31 88r31
39I12*Queue_Size{integer} 14|99r9
X 12 gnatcoll-ravenscar-sporadic_server.ads
88k28*Sporadic_Server 123e39 14|77w25 121r45
90U14 Put_Request 15|33r32[14|121]
X 14 gnatcoll-ravenscar-timed_out_sporadic_server.ads
82i4 Task_Priority{22|106I12} 122r7 135r24
85i4 Minimum_Interelease_Time{11|37I12} 123r7
88i4 Maximum_Interelease_Time{11|37I12} 15|65r35 75r32
92o4 System_Start_Time{4|41O9} 124r7
95i4 Protocol_Ceiling{22|105I12} 125r7
99i4 QS{11|39I12} 126r7
102+9 Param 105r45 114r33 119r50 127r7 15|32r33 72r50
105U19 Sporadic_Operation 105>39 15|84s7
105*39 Par{102+9}
108U19 Time_Out_Handler 15|59s10
112k28*Timed_Out_Sporadic_Server 11|35k18 14|82z4 85z4 88z4 92z4 95z4 99z4
. 102z9 105z19 108z19 119E14 150l24 150e49 15|30b33 88l24 88t49
114U14*Put_Request 114>27 15|32b14
114*27 Par{102+9} 15|32b27
119U14 Timed_Out_Sporadic_Operation 119>44 128r7 15|72b14 86l8 86t36
119*44 Par{102+9} 15|72b44 84r27
121K12 Timed_Out_Sporadic_Server[12|88] 15|33r6
131r4 Timer_Server_Suspender{7|44R9} 15|38m46 38r46 49m50 49r50 55m13 55r13
134t9 Timer_Server 15|41b14 70l8 70t20
141K12 My_Timer[17|37] 15|64r10 80r7
145U14 Handler 148r23 15|35b14 39l8 39t15
147p4 Handler_Access{16|34P9} 15|66r13 80r44
X 15 gnatcoll-ravenscar-timed_out_sporadic_server.adb
74o7 Next_Time_Out_Instant{4|41O9} 80r21
X 16 gnatcoll-ravenscar-timers.ads
32K28*Timers 14|78r25 141r47 147r49 16|36e30
34P9*Timer_Action 14|147r56
X 17 gnatcoll-ravenscar-timers-one_shot_timer.ads
37k35*One_Shot_Timer 14|78w32 141r54 17|74e45
39U14 Set 15|64s19[14|141] 80s16[14|141]
X 22 system.ads
37K9*System 14|75w6 82r20 95r23 22|152e11
105I12*Any_Priority{integer} 14|95r30
106I12*Priority{105I12} 14|82r27
X 33 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22