/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-ravenscar-sporadic_server_with_callback.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 | 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_ACCESS_SUBPROGRAMS
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
U gnatcoll.ravenscar.sporadic_server_with_callback%b gnatcoll-ravenscar-sporadic_server_with_callback.adb 7b975e90 NE OO PK GE IU
W gnatcoll.ravenscar%s gnatcoll-ravenscar.ads gnatcoll-ravenscar.ali
U gnatcoll.ravenscar.sporadic_server_with_callback%s gnatcoll-ravenscar-sporadic_server_with_callback.ads ea9787ac 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%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
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-reatim.ads 20090409150019 63f07669
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-sporadic_server_with_callback.ads 20140810010057 788eb40f
D gnatcoll-ravenscar-sporadic_server_with_callback.adb 20140810010057 0319ea9f
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 9|70r6 81r24 81r46
X 3 a-reatim.ads
39K13*Real_Time 139e18 9|70w10 81r28 81r50
41O9*Time<duration> 9|81r38
53V13*Clock{41O9} 9|81s60
X 5 gnatcoll.ads
24K9*GNATCOLL 26e13 9|71r6 102r9 124r36 134r5 10|30r14 58r5
X 6 gnatcoll-ravenscar.ads
35K18*Ravenscar 5|24k9 6|43e23 9|71r15 102r18 124r45 134r14 10|30r23 58r14
37I12*Millisecond{integer} 9|78r31
39I12*Queue_Size{integer} 9|88r9
X 7 gnatcoll-ravenscar-sporadic_server.ads
88k28*Sporadic_Server 123e39 9|71w25 124r55
90U14 Put_Request 10|40s24[9|124]
X 9 gnatcoll-ravenscar-sporadic_server_with_callback.ads
75i4 Task_Priority{14|106I12} 125r7
78i4 Minimum_Interelease_Time{6|37I12} 126r7
81o4 System_Start_Time{3|41O9} 127r7
84i4 Protocol_Ceiling{14|105I12} 128r7
88i4 QS{6|39I12} 129r7
91+9 In_Param 98r17 108r16 115r16 10|33r16
94+9 Out_Param 99r21 104r49 10|45r17
97U19 Sporadic_Operation 98>7 99<7 10|50s7
98*7 In_Par{91+9}
99*7 Out_par{94+9}
102k28*Sporadic_Server_With_Callback 6|35k18 9|75z4 78z4 81z4 84z4 88z4 91z9
. 94z9 97z19 114E9 134l24 134e53 10|30b33 58l24 58t53
104P9*Callback 104>39 109r18 116r12 10|34r18
104*39 Out_Par{94+9}
107U14*Put_Request 108>7 109>7 10|32b14 42l8 42t19
108*7 In_Par{91+9} 10|33b7 40r38
109p7 CB{104P9} 10|34b7 40r46
114R9 Queue_Item 117e14 120r30 130r7 10|44r30
115*7 In_Par{91+9} 10|50r31
116p7 CB{104P9} 10|54r11
120U14 Dispatch 120>24 131r7 10|44b14 56l8 56t16
120r24 Req{114R9} 10|44b24 50r27 54r7
124K12 My_Sporadic_Task[7|88] 10|40r7
X 10 gnatcoll-ravenscar-sporadic_server_with_callback.adb
45*7 Out_Par{9|94+9} 50m39 54r19
X 14 system.ads
37K9*System 9|69w6 75r20 84r23 14|152e11
105I12*Any_Priority{integer} 9|84r30
106I12*Priority{105I12} 9|75r27
X 24 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
|