/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-ravenscar-multiple_queue_cyclic_server.ali is in libgnatcoll1.6-dev 1.6gpl2014-6.
This file is owned by root:root, with mode 0o444.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 | 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
|