/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-ravenscar-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 | 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_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.sporadic_server%b gnatcoll-ravenscar-sporadic_server.adb 9a151c6a 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.sporadic_server%s gnatcoll-ravenscar-sporadic_server.ads 8f861578 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-sporadic_server.ads 20170516111831 25745195 gnatcoll.ravenscar.sporadic_server%s
D gnatcoll-ravenscar-sporadic_server.adb 20170516111831 9ef01baf gnatcoll.ravenscar.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|62r6 72r24 72r46 106r29 8|83r29 90r26 111r11
X 3 a-reatim.ads
39K13*Real_Time 187e18 7|62w10 72r28 72r50 106r33 8|83r33 90r30 111r15
51O9*Time<duration> 7|72r38 106r43 8|83r43 112r22 113r22
56O9*Time_Span<duration>
63V13*Clock{51O9} 7|72s60 8|90s40
67V14*"+"{51O9} 8|120s36
121V13*Milliseconds{56O9} 8|120s38
X 5 gnatcoll.ads
24K9*GNATCOLL 27e13 7|88r9 123r5 8|30r6 32r14 33r8 124r5
X 6 gnatcoll-ravenscar.ads
35K18*Ravenscar 5|24k9 6|43e23 7|88r18 123r14 8|30r15 32r23 33r17 124r14
37I12*Millisecond{integer} 7|69r31
39I12*Queue_Size{integer} 7|79r9
X 7 gnatcoll-ravenscar-sporadic_server.ads
66i4 Task_Priority{12|109I12} 119r24
69i4 Minimum_Interelease_Time{6|37I12} 8|120r52
72o4 System_Start_Time{3|51O9} 8|112r30
75i4 Protocol_Ceiling{12|108I12} 101r24
79i4 QS{6|39I12} 95r30 8|53r42 61r46 67r23 100r43
82+9 Param 85r45 90r33 95r37 103r36 107r27 8|35r33 49r36 84r27 114r20
85U19 Sporadic_Operation 85>39 8|119s10
85*39 Par{82+9}
88k28*Sporadic_Server 6|35k18 7|66z4 69z4 72z4 75z4 79z4 82z9 85z19 95E9
. 123l24 123e39 8|32b33 124l24 124t39
90U14*Put_Request 90>27 8|35b14 39l8 39t19
90*27 Par{82+9} 8|35b27 38r29
95A9 Queue(82+9)<integer> 114r25
98w14 Protocol 8|38r7 41b19 108l8 108t16 118r10
103U17 Put_Request 103>30 8|38s16 49b17 80l11 80t22
103*30 Par{82+9} 8|49b30 52r35
105Y13 Get_Request 106<10 107<10 8|82b13 106l11 106t22 118s19
106o10 Release_Time{3|51O9} 8|90m10
107*10 Par{82+9} 8|98m10
110b7 Barrier{boolean} 8|45m10 84r39
111i7 Pending{integer} 8|45r21 67r13 68m13 68r24 102m10 102r21
112i7 Insert_Index{integer} 8|52r18 53m28 53r28 74r13 94r29
113i7 Extract_Index{integer} 8|61m31 61r31 74r28 94r13 98r32 100m28 100r28
114a7 Buffer{95A9} 8|52m10 98r24
115b7 Buffer_Overflow{boolean} 8|60r13 75m13 95m13
118t9 Sporadic_Task 8|110b14 122l8 122t21
X 8 gnatcoll-ravenscar-sporadic_server.adb
43U17 Update_Barrier 43b17 46l11 46t25 47r22 78s10 104s10
83o10 Release_Time{3|51O9}
84*10 Par{7|82+9}
112o7 Next_Time{3|51O9} 117r22 120m10
113o7 Release_Time{3|51O9} 118m32 120r23
114*7 Par{7|82+9} 118m46 119r30
X 9 gnatcoll-ravenscar-utils.ads
31K28*Utils 8|30w25 33r27 9|39e29
33U14*Increase_Counter 8|53s10 61s13 100s10
X 12 system.ads
37K9*System 7|61w6 66r20 75r23 12|156e11
108I12*Any_Priority{integer} 7|75r30
109I12*Priority{108I12} 7|66r27
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
|