/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-ravenscar-timers-one_shot_timer.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 | 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_PROTECTED_TYPES
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV SPARK_05
RV MAX_ENTRY_QUEUE_LENGTH=1+
U gnatcoll.ravenscar.timers.one_shot_timer%b gnatcoll-ravenscar-timers-one_shot_timer.adb c570ce87 NE OO PK GE IU
W gnatcoll.ravenscar.timers%s gnatcoll-ravenscar-timers.ads gnatcoll-ravenscar-timers.ali
U gnatcoll.ravenscar.timers.one_shot_timer%s gnatcoll-ravenscar-timers-one_shot_timer.ads 94895d1a BN EE NE OO PK GE IU
W ada%s ada.ads ada.ali
W ada.real_time%s a-reatim.adb a-reatim.ali
W ada.real_time.timing_events%s a-rttiev.adb a-rttiev.ali
W gnatcoll.ravenscar.timers%s gnatcoll-ravenscar-timers.ads gnatcoll-ravenscar-timers.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-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-reatim.ads 20160420090448 a87e2da7 ada.real_time%s
D a-rttiev.ads 20090409150019 22f35a33 ada.real_time.timing_events%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%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-timers.ads 20170516111831 0be04f59 gnatcoll.ravenscar.timers%s
D gnatcoll-ravenscar-timers-one_shot_timer.ads 20170516111831 53d189d3 gnatcoll.ravenscar.timers.one_shot_timer%s
D gnatcoll-ravenscar-timers-one_shot_timer.adb 20170516111831 96a14754 gnatcoll.ravenscar.timers.one_shot_timer%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-finroo.ads 20120426095924 4ff27390 system.finalization_root%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 12|33r6 34r6 40r17 50r16 59r25 62r20 71r30 13|37r17 53r7 63r25
. 75r20 79r10
X 4 a-reatim.ads
39K13*Real_Time 187e18 12|33w10 34r10 40r21 50r20 59r29 62r24 71r34 13|37r21
. 53r11 63r29 75r24 79r14
51O9*Time<duration> 12|40r31 62r34 13|37r31 75r34
X 5 a-rttiev.ads
38K23*Timing_Events 81e32 12|34w20 50r30 59r39 71r44 13|53r21 63r39 79r24
40R9*Timing_Event<3|50R9> 75e14 12|50r44 59r53 13|63r53
42P9*Timing_Event_Handler 12|71r58
45U14*Set_Handler 13|79s38
58U14*Cancel_Handler 13|53s35
X 9 gnatcoll.ads
24K9*GNATCOLL 27e13 12|37r9 67r20 74r5 13|30r14 85r5
X 10 gnatcoll-ravenscar.ads
35K18*Ravenscar 9|24k9 10|43e23 12|37r18 67r29 74r14 13|30r23 85r14
X 11 gnatcoll-ravenscar-timers.ads
32K28*Timers 10|35k18 11|36e30 12|37r28 67r39 74r24 13|30r33 85r24
34P9*Timer_Action 12|41r17 63r20 67r46 13|38r17 76r20
X 12 gnatcoll-ravenscar-timers-one_shot_timer.ads
37k35*One_Shot_Timer 11|32k28 12|50E4 74l31 74e45 13|30b40 85l31 85t45
39U14*Set 40>7 41>7 13|36b14 43l8 43t11
40o7 Instant{4|51O9} 13|37b7 42r26
41p7 Action{11|34P9} 13|38b7 42r35
45U14*Cancel 45<22 13|49b14 54l8 54t14
45b22 Success{boolean} 13|49b22 53m62
50r4 The_Event{5|40R9} 13|53m51 53r51 80m13 80r13
53w14 Events 72r26 13|42r7 56b19 83l8 83t14
58U17 Handler 59=10 72r33 13|62b17 68l11 68t18
59r10 Event{5|40R9} 13|63b10 65r31
61U17 Set_Action 62>10 63>10 13|42s14 74b17 81l11 81t21
62o10 Instant{4|51O9} 13|75b10 80r24
63p10 Action{11|34P9} 13|76b10 78r24
67p7 The_Action{11|34P9} 13|67r10 78m10
71p4 Events_Handler{5|42P9} 13|80r33
X 16 system.ads
37K9*System 12|32w6 56r24 16|156e11
108I12*Any_Priority{integer} 12|56r31
X 27 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
|