/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-ravenscar-simple_sporadic_task.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 | 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.simple_sporadic_task%b gnatcoll-ravenscar-simple_sporadic_task.adb 5bf3651f NE OO PK GE IU
W gnatcoll.ravenscar%s gnatcoll-ravenscar.ads gnatcoll-ravenscar.ali
U gnatcoll.ravenscar.simple_sporadic_task%s gnatcoll-ravenscar-simple_sporadic_task.ads 5254ebea 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-simple_sporadic_task.ads 20170516111831 f8a6af07 gnatcoll.ravenscar.simple_sporadic_task%s
D gnatcoll-ravenscar-simple_sporadic_task.adb 20170516111831 a355ca18 gnatcoll.ravenscar.simple_sporadic_task%b
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|65r6 76r24 76r46 98r38 8|51r38 57r26 65r11
X 3 a-reatim.ads
39K13*Real_Time 187e18 7|65w10 76r28 76r50 98r42 8|51r42 57r30 65r15
51O9*Time<duration> 7|76r38 98r52 8|51r52 66r22 67r22
56O9*Time_Span<duration>
63V13*Clock{51O9} 7|76s60 8|57s40
67V14*"+"{51O9} 8|73s36
121V13*Milliseconds{56O9} 8|73s38
X 5 gnatcoll.ads
24K9*GNATCOLL 27e13 7|86r9 109r5 8|30r14 77r5
X 6 gnatcoll-ravenscar.ads
35K18*Ravenscar 5|24k9 6|43e23 7|86r18 109r14 8|30r23 77r14
37I12*Millisecond{integer} 7|73r31
X 7 gnatcoll-ravenscar-simple_sporadic_task.ads
70i4 Task_Priority{11|109I12} 106r24
73i4 Minimum_Interelease_Time{6|37I12} 8|73r52
76o4 System_Start_Time{3|51O9} 8|66r30
79i4 Protocol_Ceiling{11|108I12} 94r24
83U19 Sporadic_Operation 8|72s10
86k28*Simple_Sporadic_Task 6|35k18 7|70z4 73z4 76z4 79z4 83z19 93E14 109l24
. 109e44 8|30b33 77l24 77t44
88U14*Release 8|32b14 35l8 35t15
93w14 Protocol 8|34r7 37b19 62l8 62t16 71r10
96U17 Release 8|34s16 45b17 49l11 49t18
98Y13 Wait 98<19 8|51b13 60l11 60t15 71s19
98o19 Release_Time{3|51O9} 8|57m10
101b7 Barrier{boolean} 8|41m10 51r63
102i7 Pending{integer} 8|41r21 47m10 47r21 58m10 58r26
105t9 Simple_Sporadic_Task 8|64b14 75l8 75t28
X 8 gnatcoll-ravenscar-simple_sporadic_task.adb
39U17 Update_Barrier 39b17 42l11 42t25 43r22 48s10 59s10
51o19 Release_Time{3|51O9}
66o7 Next_Time{3|51O9} 70r22 73m10
67o7 Release_Time{3|51O9} 71m25 73r23
X 11 system.ads
37K9*System 7|66w6 70r20 79r23 11|156e11
108I12*Any_Priority{integer} 7|79r30
109I12*Priority{108I12} 7|70r27
X 21 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
|