/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-ravenscar-timed_out_sporadic_server.ali is in libgnatcoll1.6-dev 1.6gpl2014-9.
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_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
|