libgnatcoll1.6-dev 1.6gpl2014-6 / usr / lib / x86_64-linux-gnu / ada / adalib / gnatcoll / gnatcoll-ravenscar-multiple_queue_cyclic_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_DELAY
RV NO_PROTECTED_TYPES
RV NO_STANDARD_STORAGE_POOLS
RV NO_TASKING
RV STATIC_PRIORITIES
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
RV MAX_ENTRY_QUEUE_LENGTH=1+

U gnatcoll.ravenscar.multiple_queue_cyclic_server%b  gnatcoll-ravenscar-multiple_queue_cyclic_server.adb  3706cf70 NE OO PK GE IU
W gnatcoll%s		gnatcoll.ads		gnatcoll.ali
W gnatcoll.ravenscar%s	gnatcoll-ravenscar.ads	gnatcoll-ravenscar.ali
W gnatcoll.ravenscar.utils%s  gnatcoll-ravenscar-utils.adb  gnatcoll-ravenscar-utils.ali

U gnatcoll.ravenscar.multiple_queue_cyclic_server%s  gnatcoll-ravenscar-multiple_queue_cyclic_server.ads  2b486208 BN EE NE OO PK GE
W ada%s			ada.ads			ada.ali
W ada.real_time%s	a-reatim.adb		a-reatim.ali
W gnatcoll.ravenscar%s	gnatcoll-ravenscar.ads	gnatcoll-ravenscar.ali
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
D a-reatim.ads		20090409150019 63f07669
D a-unccon.ads		20070406091342 f9eb8f06
D gnatcoll.ads		20140810010057 6a5da479
D gnatcoll-ravenscar.ads  20140810010057 44b9854e
D gnatcoll-ravenscar-multiple_queue_cyclic_server.ads  20140810010057 9c25003e
D gnatcoll-ravenscar-multiple_queue_cyclic_server.adb  20140810010057 8ab2991e
D gnatcoll-ravenscar-utils.ads  20140810010057 21915650
D interfac.ads		20140225151838 69adb1b9
D i-c.ads		20110801143639 5421119b
D system.ads		20140921225607 90249111
D s-atacco.ads		20120515093410 4c36d12f
D s-exctab.ads		20140225151139 54135002
D s-linux.ads		20140409145429 5b2f79a5
D s-multip.ads		20101011073009 38ac9f73
D s-oscons.ads		20140921225608 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 7|94r6 104r24 104r46 8|136r21 138r11
X 3 a-reatim.ads
39K13*Real_Time 139e18 7|94w10 104r28 104r50 8|136r25 138r15
41O9*Time<duration> 7|104r38 8|136r35
46O9*Time_Span<duration>
53V13*Clock{41O9} 7|104s60
55V14*"+"{41O9} 8|141s30 155s33
85V13*Milliseconds{46O9} 8|141s32 155s35
X 5 gnatcoll.ads
24K9*GNATCOLL 26e13 7|130r9 193r5 8|30r6 32r14 33r8 161r5
X 6 gnatcoll-ravenscar.ads
35K18*Ravenscar 5|24k9 6|43e23 7|130r18 193r14 8|30r15 32r23 33r17 161r14
37I12*Millisecond{integer} 7|101r13 107r12
39I12*Queue_Size{integer} 7|118r9
41I12*Queue_Range{positive} 7|149r58
X 7 gnatcoll-ravenscar-multiple_queue_cyclic_server.ads
98i4 Task_Priority{12|106I12} 189r24
101i4 Period{6|37I12} 8|155r49
104o4 System_Start_Time{3|41O9} 8|136r43
107i4 Phase{6|37I12} 8|141r46
110U19 Cyclic_Operation 8|152s13
114i4 Protocol_Ceiling{12|105I12} 170r24
118i4 QS{6|39I12} 143r38 152r50 8|60r49
121E9 Request_Kind 134r14 146r29 149r35 156r17 172r44 181r21 8|37r14 49r44
124+9 Request 127r35 133r18 140r40 143r53 172r28 174r32 8|36r18 49r28 92r45
. 120r32 135r17
127U19 Dispatch 127>29 8|150s13
127*29 Req{124+9}
130k28*Multiple_Queue_Cyclic_Server 6|35k18 7|98z4 101z4 104z4 107z4 110z19
. 114z4 118z4 121z9 124z9 127z19 140E9 193l24 193e52 8|32b33 161l24 161t52
132U14*Put_Request 133>7 134>7 8|35b14 45l8 45t19
133*7 Req{124+9} 8|36b7 43r21
134*7 Kind{121E9} 8|37b7 43r26
140P9 Request_Type_Ref(124+9) 157r13 8|50r25
143A9 Request_Queue(124+9)<integer> 146r52
146A9 All_Queue(143A9)<121E9> 177r37
149A9 All_Queue_Index(6|41I12)<121E9> 178r37
152i4 Pointer_Queue_Range_Max{integer} 165r32 8|61r23 70r13 81r16 109r13
155R9 Pointer_Queue_Item 158e14 161r46 166r24
156*7 Kind{121E9}
157p7 Req{140P9} 8|111r25
161P9 Pointer_Queue_Item_Ref(155R9) 8|93r16
164A9 Pointer_Queue(155R9)<integer> 180r37
169w14 Protocol 8|43r7 47b19 132l8 132t16 147r10
172U17 Put 172>22 172>37 8|43s16 49b17 90l11 90t14
172*22 Req{124+9} 8|49b22 56r51
172*37 Kind{121E9} 8|49b37 51r21 51r42 56r18 56r39 60r42 67r53
174U17 Get 174<22 174<41 8|120b17 130l11 130t14 147s19
174*22 Req{124+9} 8|120b22 127m31
174b41 Has_Pending{boolean} 8|120b41 125m10
177a7 Queues{146A9} 8|51m13 51r13 56m10
178a7 Insert_Index{149A9} 8|51r28 56r25 60m28 60r28
179i7 Pending{integer} 8|61r13 62m13 62r24 115m10 115r21 125r25 126r13
180a7 Ptr_Queue{164A9} 8|67m10 106m17 106r17
182i7 Pointer_Queue_Insert_Index{integer} 8|67r21 69m13 69r13 86r13 100r13
183i7 Pointer_Queue_Extract_Index{integer} 8|80m16 80r16 86r42 100r42 106r28
. 108m13 108r13
184b7 Pointer_Queue_Overflow{boolean} 8|78r13 87m13 101m13
188t9 Cyclic_Task 8|134b14 159l8 159t19
X 8 gnatcoll-ravenscar-multiple_queue_cyclic_server.adb
50p10 Ref{7|140P9} 67r59
92U17 Get_Next_Request 92b17 117l11 117t27 118r22 127s13
93p10 Ref{7|161P9} 106m10 111r21
135*7 Req{7|124+9} 147m24 150r23
136o7 Next_Time{3|41O9} 141m7 141r20 145r22 155m10 155r23
137b7 Has_Pending{boolean} 147m29 149r13
X 9 gnatcoll-ravenscar-utils.ads
31K28*Utils 8|30w25 33r27 9|39e29
33U14*Increase_Counter 8|60s10 68s10 79s13 107s10
X 12 system.ads
37K9*System 7|93w6 98r20 114r23 12|152e11
105I12*Any_Priority{integer} 7|114r30
106I12*Priority{105I12} 7|98r27
X 22 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22