/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-ravenscar-multiple_queue_sporadic_server.ali is in libgnatcoll16.1.0-dev 17.0.2017-3.
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 144 145 146 147 148 | V "GNAT Lib v7"
A -O2
A -O2
A -gnatA
A -gnatn
A -gnatwa
A -gnatwC
A -gnatwJ
A -g
A -fdebug-prefix-map=/build/libgnatcoll-6424vb/libgnatcoll-17.0.2017=.
A -fstack-protector-strong
A -fPIC
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_PROTECTED_ENTRIES=1
RV MAX_ENTRY_QUEUE_LENGTH=1+
U gnatcoll.ravenscar.multiple_queue_sporadic_server%b gnatcoll-ravenscar-multiple_queue_sporadic_server.adb 6d0064a7 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_sporadic_server%s gnatcoll-ravenscar-multiple_queue_sporadic_server.ads a0bd2a2e 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 20170106103348 76789da1 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-reatim.ads 20160420090448 a87e2da7 ada.real_time%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D gnatcoll.ads 20170516111831 6a5da479 gnatcoll%s
D gnatcoll-ravenscar.ads 20170516111831 44b9854e gnatcoll.ravenscar%s
D gnatcoll-ravenscar-multiple_queue_sporadic_server.ads 20170516111831 0a4f6ec3 gnatcoll.ravenscar.multiple_queue_sporadic_server%s
D gnatcoll-ravenscar-multiple_queue_sporadic_server.adb 20170516111831 46de5c34 gnatcoll.ravenscar.multiple_queue_sporadic_server%b
D gnatcoll-ravenscar-utils.ads 20170516111831 21915650 gnatcoll.ravenscar.utils%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D system.ads 20170510173650 4635ec04 system%s
D s-atacco.ads 20120515093410 4c36d12f system.address_to_access_conversions%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-linux.ads 20150107101203 2fda6ad1 system.linux%s
D s-multip.ads 20101011073009 38ac9f73 system.multiprocessors%s
D s-oscons.ads 20170923094238 7b5577db system.os_constants%s
D s-osinte.ads 20170314092617 ad16bc4a system.os_interface%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s
D s-stausa.ads 20110804134155 017a0a05 system.stack_usage%s
D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-tasinf.ads 20140613095942 2b3f8252 system.task_info%s
D s-taspri.ads 20141120144719 e3ab4429 system.task_primitives%s
D s-taprop.ads 20140521131406 1dd2e1b6 system.task_primitives.operations%s
D s-taskin.ads 20170112134946 05d6152c system.tasking%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20160502101423 34867c83 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 20e8 7|85r6 95r24 95r46 164r29 8|127r29 130r26 139r22 140r22 141r11
X 3 a-reatim.ads
39K13*Real_Time 187e18 7|85w10 95r28 95r50 164r33 8|127r33 130r30 139r26
. 140r26 141r15
51O9*Time<duration> 7|95r38 164r43 8|127r43 139r36 140r36
56O9*Time_Span<duration>
63V13*Clock{51O9} 7|95s60 8|130s40
67V14*"+"{51O9} 8|153s36
121V13*Milliseconds{56O9} 8|153s38
X 5 gnatcoll.ads
24K9*GNATCOLL 27e13 7|114r9 183r5 8|30r6 32r14 33r8 159r5
X 6 gnatcoll-ravenscar.ads
35K18*Ravenscar 5|24k9 6|43e23 7|114r18 183r14 8|30r15 32r23 33r17 159r14
37I12*Millisecond{integer} 7|92r31
39I12*Queue_Size{integer} 7|102r9
41I12*Queue_Range{positive} 7|133r58
X 7 gnatcoll-ravenscar-multiple_queue_sporadic_server.ads
89i4 Task_Priority{12|109I12} 179r24
92i4 Minimum_Interelease_Time{6|37I12} 8|153r52
95o4 System_Start_Time{3|51O9} 8|140r44
98i4 Protocol_Ceiling{12|108I12} 156r24
102i4 QS{6|39I12} 127r38 136r50 8|69r49
105E9 Request_Kind 118r14 130r29 133r35 140r17 160r17 172r21 8|37r14 57r17
108+9 Request 111r35 117r18 124r40 127r53 159r21 163r25 8|36r18 56r21 104r45
. 126r25 138r18
111U19 Dispatch 111>29 8|151s10
111*29 Req{108+9}
114k28*Multiple_Queue_Sporadic_Server 6|35k18 7|89z4 92z4 95z4 98z4 102z4
. 105z9 108z9 111z19 124E9 183l24 183e54 8|32b33 159l24 159t54
116U14*Put_Request 117>7 118>7 8|35b14 45l8 45t19
117*7 Req{108+9} 8|36b7 43r21
118*7 Kind{105E9} 8|37b7 43r26
124P9 Request_Type_Ref(108+9) 141r13 8|59r25
127A9 Request_Queue(108+9)<integer> 130r52
130A9 All_Queue(127A9)<105E9> 168r37
133A9 All_Queue_Index(6|41I12)<105E9> 169r37
136i4 Pointer_Queue_Range_Max{integer} 149r32 8|70r23 79r13 90r16 116r13
139R9 Pointer_Queue_Item 142e14 145r46 150r24
140*7 Kind{105E9}
141p7 Req{124P9} 8|118r25
145P9 Pointer_Queue_Item_Ref(139R9) 8|105r16
148A9 Pointer_Queue(139R9)<integer> 171r37
153w14 Protocol 8|43r7 47b19 135l8 135t16 149r10
158U17 Put 159>10 160>10 8|43s16 55b17 102l11 102t14
159*10 Req{108+9} 8|56b10 65r51
160*10 Kind{105E9} 8|57b10 60r21 60r42 65r18 65r39 69r42 76r53
162Y13 Get 163<10 164<10 8|125b13 133l11 133t14 149s19
163*10 Req{108+9} 8|131m28
164o10 Release_Time{3|51O9} 8|130m10
167b7 Barrier{boolean} 8|51m10 127r54
168a7 Queues{130A9} 8|60m13 60r13 65m10
169a7 Insert_Index{133A9} 8|60r28 65r25 69m28 69r28
170i7 Pending{integer} 8|51r21 70r13 71m13 71r24 120m10 120r21
171a7 Ptr_Queue{148A9} 8|76m10 113m17 113r17
173i7 Pointer_Queue_Insert_Index{integer} 8|76r21 78m13 78r13 94r13 108r13
174i7 Pointer_Queue_Extract_Index{integer} 8|89m16 89r16 94r42 108r42 113r28
. 115m13 115r13
175b7 Pointer_Queue_Overflow{boolean} 8|87r13 95m13 109m13
178t9 Sporadic_Task 8|137b14 157l8 157t21
X 8 gnatcoll-ravenscar-multiple_queue_sporadic_server.adb
49U17 Update_Barrier 49b17 52l11 52t25 53r22 100s10 132s10
59p10 Ref{7|124P9} 76r59
104U17 Get_Next_Request 104b17 122l11 122t27 123r22 131s10
105p10 Ref{7|145P9} 113m10 118r21
126*10 Req{7|108+9}
127o10 Release_Time{3|51O9}
138*7 Req{7|108+9} 149m24 151r20
139o7 Release_Time{3|51O9} 149m29 153r23
140o7 Next_Time{3|51O9} 147r22 153m10
X 9 gnatcoll-ravenscar-utils.ads
31K28*Utils 8|30w25 33r27 9|39e29
33U14*Increase_Counter 8|69s10 77s10 88s13 114s10
X 12 system.ads
37K9*System 7|84w6 89r20 98r23 12|156e11
108I12*Any_Priority{integer} 7|98r30
109I12*Priority{108I12} 7|89r27
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
|