/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-refcount.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 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 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 | 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 SS ZX
RN
RV NO_ALLOCATORS
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U gnatcoll.refcount%b gnatcoll-refcount.adb f1e3a82b OO PK IU
W ada%s ada.ads ada.ali
W ada.tags%s a-tags.adb a-tags.ali
W ada.unchecked_deallocation%s
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W gnatcoll.traces%s gnatcoll-traces.adb gnatcoll-traces.ali AD
W interfaces%s interfac.ads interfac.ali
W system.finalization_masters%s s-finmas.adb s-finmas.ali
W system.pool_global%s s-pooglo.adb s-pooglo.ali
U gnatcoll.refcount%s gnatcoll-refcount.ads e8899382 BN EE OO PF PK IU
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.finalization%s a-finali.adb a-finali.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W gnatcoll%s gnatcoll.ads gnatcoll.ali
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.ali
W system.finalization_masters%s s-finmas.adb s-finmas.ali
W system.pool_global%s s-pooglo.adb s-pooglo.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.stream_attributes%s s-stratt.adb s-stratt.ali
D ada.ads 20070406091342 3ffc8e18
D a-calend.ads 20120515092648 d86d6c8c
D a-contai.ads 20101025135029 61e5e089
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-tags.ads 20111212115430 6c0509d0
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D gnat.ads 20110801150502 fd2ad2f1
D g-os_lib.ads 20090409150019 0db74523
D g-souinf.ads 20140204144939 a510dad3
D g-string.ads 20090409150019 c6abc540
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-io.ads 20140810010057 54261358
D gnatcoll-io-native.ads 20140810010057 6e98f0b4
D gnatcoll-path.ads 20140810010057 44783065
D gnatcoll-refcount.ads 20140810010057 b9955a59
D gnatcoll-refcount.adb 20140810010057 e0f89537
D gnatcoll-refcount-sync_counters.adb 20141006220415 aac7ffcb gnatcoll.refcount.sync_counters
D gnatcoll-traces.ads 20140810010057 f6bb7e36
D gnatcoll-vfs.ads 20140810010057 34a2f66e
D gnatcoll-vfs_types.ads 20140810010057 14be4a8d
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D i-cstrin.ads 20130104124955 341d0ddf
D system.ads 20140921225607 90249111
D s-exctab.ads 20140225151139 54135002
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-os_lib.ads 20140225151139 73b554c6
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-secsta.ads 20140225151139 86a2856d
D s-soflin.ads 20140225151139 aa763b52
D s-stache.ads 20140225151139 a37c21ec
D s-stalib.ads 20140225151139 a891183f
D s-stoele.ads 20140225151139 2dc34a04
D s-stoele.adb 20140225151139 ed88f8fb
D s-stopoo.ads 20131010103753 b16154c2
D s-stposu.ads 20121005142121 ffeba1c5
D s-stratt.ads 20131014135145 aedef97e
D s-stratt.adb 20090409150019 56ef263e
D s-string.ads 20140225151139 8fe54fb7
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
X 1 ada.ads
16K9*Ada 19e8 19|34r14 101r23 110r21 20|24r6 26r6 26r23 32r36
X 5 a-finali.ads
40K13*Finalization 73e21 19|34w18 101r27 110r25
48H9*Controlled<31|40R9> 64e72 19|101r40 110r38
X 8 a-tags.ads
39K13*Tags 581e13 20|26w10 26r27
56V13*External_Tag{string} 20|112s25
X 10 a-uncdea.ads
20u15*Unchecked_Deallocation 20|24w10 32r40
X 15 gnatcoll.ads
24K9*GNATCOLL 26e13 19|36r9 124r5 20|27r6 27r27 29r14 148r5 21|24r11
X 19 gnatcoll-refcount.ads
36K18*Refcount 15|24k9 19|115E9 124l14 124e22 20|29b23 148l14 148t22 21|24r20
38H9*Refcounted 39r41 49p14 49r34 67r41 115c9 117e14 20|33r7
39P9*Refcounted_Access(38R9) 102r17 20|33r25 49r25 59r26 97r17
49U14*Free 49=20 20|113R16
49r20 Self{38R9}
52K12*Sync_Counters 60l8 60e21 20|35b17 108r16 128r22 21|25b14 44l5 44t18
53V16*Sync_Add_And_Fetch{25|51I9} 54^10 55>10 20|108s30 128s36 21|31b13 42l8
. 42t26
54p10 Ptr(25|51I9) 21|32b7 41r44
55i10 Value{25|51I9} 21|33b7 41r49
67H12 Encapsulated<38R9> 49p14 69r46 74r48 75r55 20|47r55 68r48 69r52
68k12*Smart_Pointers 67z12 101E12 111l8 111e22 20|41b17 146l8 146t22
69P12*Encapsulated_Access(67R12) 87r37 20|69r25 78r37 80r17
71R12*Ref<5|48R9> 5|51P14 19|72r27 74p17 74r36 75p17 75r36 87p16 87r25 93P28
. 93r41 96p16 96r37 101c12 103e17 105P28 105r49 106P28 106r49 109r27 20|47r36
. 68r36 78r25 87r41 96r49 112r39 123r47 137r37
72r7*Null_Ref{71R12} 109c7
74U17*Set 74=22 74>41 20|68b17 72l11 72t14
74r22 Self{71R12} 20|68b22 71m15
74*41 Data<67R12> 20|68b41 69r72
75U17*Set 75=22 75^41 20|47b17 62l11 62t14 71s10
75r22 Self{71R12} 20|47b22 49r13 54r13 55m23 59m13 60m21
75p41 Data(67R12) 20|47b41 49r44 58r13 59r45
87V16*Get{69P12} 87>21 88r22 20|78b16 81l11 81t14
87r21 P{71R12} 20|78b21 80r38
93V28*"="{boolean} 93>32 93>36 20|87b28 90l12 90t14
93r32 P1{71R12} 20|87b32 89r17
93r36 P2{71R12} 20|87b36 89r27
96V16*Get_Refcount{natural} 96>30 20|137b16 144l11 144t23
96r30 Self{71R12} 20|137b30 139r13 142r29
102p10 Data{39P9} 110m54 20|49r18 54r18 59m18 80r40 89r20 89r30 97r40 102m12
. 127r15 129r17 129r18 139r18 142r33 142r34
105U28 Finalize<5|53p14> 105=38 20|55s13 96b28 117l11 117t19
105r38 P{71R12} 20|96b38 97r38 102m10 112r50
106U28 Adjust<5|52p14> 106=38 20|60s13 123b28 131l11 131t17
106r38 P{71R12} 20|123b36 127r13 129r16
116i7*Refcount{25|51I9} 20|108m55 129m23 142r39
X 20 gnatcoll-refcount.adb
30p4 Me{22|36P9} 111r23
32U14 Unchecked_Free[10|20] 114s16
69p10 Tmp{19|69P12} 71r21
97p10 Data{19|39P9} 107r13 108r50 113r22 114m32 114r32
124i10 Dummy{25|51I9} 125r31 128m13
X 21 gnatcoll-refcount-sync_counters.adb
35V16*Intrinsic_Sync_Add_And_Fetch{25|51I9} 36^10 37>10 39b21 41s14
36p10 Ptr(25|51I9)
37i10 Value{25|51I9}
X 22 gnatcoll-traces.ads
33K18*Traces 20|27w15 27r36 22|512e20
36P9*Trace_Handle(35R9) 20|30r18
161n56*Off{161E9} 20|30r54
162V13*Create{36P9} 20|30s34
258U14*Trace 20|111s16
X 25 interfac.ads
38K9*Interfaces 19|33w6 54r25 55r18 55r48 116r26 20|25w6 25r23 21|32r22 33r15
. 33r45 36r25 37r18 37r48 25|179e15
51I9*Integer_32<integer> 19|54r36 55r29 55r59 116r37 20|124r18 21|32r33 33r26
. 33r56 36r36 37r29 37r59
|