libgnatcoll16.1.0-dev 17.0.2017-3 / usr / lib / x86_64-linux-gnu / ada / adalib / gnatcoll / gnatcoll-ravenscar-timers-one_shot_timer.ali

This file is indexed.

/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

APT Browse - Built by Thomas Orozco.