/usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll/gnatcoll-refcount-weakref.ali is in libgnatcoll1.6-dev 1.6gpl2014-9.
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 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 | 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_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U gnatcoll.refcount.weakref%b gnatcoll-refcount-weakref.adb 70c00fef NE OO PK IU
W ada.tags%s a-tags.adb a-tags.ali
W gnatcoll.refcount%s gnatcoll-refcount.adb gnatcoll-refcount.ali
W interfaces%s interfac.ads interfac.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
U gnatcoll.refcount.weakref%s gnatcoll-refcount-weakref.ads 1feb691e BN EE OO PF PK IU
W ada.exceptions%s a-except.adb a-except.ali
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
W gnatcoll.refcount%s gnatcoll-refcount.adb gnatcoll-refcount.ali AD
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.secondary_stack%s s-secsta.adb s-secsta.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
W system.storage_pools%s s-stopoo.adb s-stopoo.ali
W system.storage_pools.subpools%s s-stposu.adb s-stposu.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-calfor.ads 20140127164329 0a6f9afc
D a-catizo.ads 20120123093331 409d7e5b
D a-charac.ads 20070912115821 2d3ec45b
D a-chahan.ads 20131010125231 1c00991d
D a-chlat1.ads 20140225151544 66457d31
D a-contai.ads 20101025135029 61e5e089
D a-except.ads 20140129161953 f86a4103
D a-exctra.ads 20130102111339 5c8e2c9f
D a-finali.ads 20111121113555 52ecdc1b
D a-ioexce.ads 20140225151544 e4a01f64
D a-stream.ads 20140122164720 1a984740
D a-string.ads 20070406091342 90ac6797
D a-strfix.ads 20101008130255 d07c346e
D a-strmap.ads 20090409150019 9cb836fb
D a-strunb.ads 20120426100351 3f91d4c5
D a-tags.ads 20111212115430 6c0509d0
D a-textio.ads 20140129155348 386df5d4
D a-unccon.ads 20070406091342 f9eb8f06
D a-uncdea.ads 20070406091342 f15a5ed1
D gnat.ads 20110801150502 fd2ad2f1
D g-calend.ads 20120515094453 a65b01a8
D g-catiio.ads 20140122165324 b8a4f3d4
D g-dirope.ads 20110801150502 940c4438
D g-expect.ads 20110801150502 8c6f1a8c
D g-os_lib.ads 20090409150019 0db74523
D g-regpat.ads 20110801150502 b85d88ef
D g-souinf.ads 20140204144939 a510dad3
D g-string.ads 20090409150019 c6abc540
D g-tasloc.ads 20110801150502 9c49392e
D g-traceb.ads 20120314163337 dee80ba3
D gnatcoll.ads 20140810010057 6a5da479
D gnatcoll-io.ads 20140810010057 54261358
D gnatcoll-io-native.ads 20140810010057 6e98f0b4
D gnatcoll-mmap.ads 20140810010057 5a47807f
D gnatcoll-path.ads 20140810010057 44783065
D gnatcoll-refcount.ads 20140810010057 b9955a59
D gnatcoll-refcount.adb 20140810010057 e0f89537
D gnatcoll-refcount-sync_counters.adb 20151025183408 aac7ffcb gnatcoll.refcount.sync_counters
D gnatcoll-refcount-weakref.ads 20140810010057 a67e3347
D gnatcoll-refcount-weakref.adb 20140810010057 15d472da
D gnatcoll-traces.ads 20140810010057 f6bb7e36
D gnatcoll-traces.adb 20140810010057 11c82066
D gnatcoll-utils.ads 20140810010057 1d777100
D gnatcoll-vfs.ads 20140810010057 34a2f66e
D gnatcoll-vfs_types.ads 20140810010057 14be4a8d
D gnatcoll-vfs_utils.ads 20140810010057 94352d11
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D i-cstrin.ads 20130104124955 341d0ddf
D i-cstrea.ads 20130412125801 8128536b
D system.ads 20150725181646 90249111
D s-addima.ads 20090409150019 a1ec9d3a
D s-assert.ads 20140225151544 cd8d2c94
D s-atocou.ads 20131010110730 cd7c94ca
D s-atocou.adb 20131010121735 62bad392
D s-crtl.ads 20140225151544 840e6817
D s-exctab.ads 20140225151139 54135002
D s-ficobl.ads 20120709130952 55a71d43
D s-finmas.ads 20140225151139 814daec4
D s-finroo.ads 20120426095924 4ff27390
D s-imgint.ads 20090409150019 02dbe0c2
D s-memory.ads 20140225151139 597d6634
D s-os_lib.ads 20140225151139 73b554c6
D s-parame.ads 20140225151139 ab8cb46a
D s-pooglo.ads 20110804083314 542f33d0
D s-regpat.ads 20120410054430 825a9b7f
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-tasloc.ads 20130206104934 618a376e
D s-traent.ads 20140225151139 b5116092
D s-unstyp.ads 20140225151139 510692af
D s-wchcon.ads 20140225151139 1b7d22d2
X 33 gnatcoll.ads
24K9*GNATCOLL 26e13 41|40r9 43r22 50r22 142r22 147r5 42|27r14 63r15 65r29
. 122r5
X 38 gnatcoll-refcount.ads
36K18*Refcount 33|24k9 38|124e22 41|40r18 43r31 50r31 142r31 147r14 42|27r23
. 63r24 65r38 122r14
38H9*Refcounted 117e14 41|43r40 50r40 142r40 42|40r13 65r47
39P9*Refcounted_Access(38R9) 41|51r17 42|66r45
49U14*Free 42|40s7
68k12*Smart_Pointers 111e22 41|53r34 73r31
69P12 Encapsulated_Access(41|71R12) 41|74r47[73] 87r39[73] 42|57r32[41|53]
71R12 Ref<11|48R9> 41|76r31[73] 91r42[53] 144r30[53] 42|56r32[41|53] 80r51[41|53]
. 91r51[41|53]
72r7 Null_Ref{71R12[41|73]} 41|77r43[73] 92r69[53] 42|36r39[41|53] 38r39[41|53]
. 64r32[41|53]
74U17 Set 41|80r26[73]
75U17 Set 41|82r26[73] 42|67s13[41|53] 94R15[41|73] 101R18[41|73] 104R18[41|73]
87V16 Get{69P12[41|73]} 41|84r27[73] 42|37s17[41|53] 55R54[41|73] 80s31[41|53]
. 91s31[41|53]
93V28 "="{boolean} 41|86r27[73] 88r27[73] 94r33[53]
116i7*Refcount{49|51I9} 42|100r26
X 41 gnatcoll-refcount-weakref.ads
40K27*Weakref 38|36k18 41|141E9 147l23 147e30 42|27b32 63r33 122l23 122t30
42H9*Weak_Refcounted<38|38R9> 46P25 46r45 71r41 141c9 145e14 42|34r45 63r41
. 68r13
46U25*Free<38|49p14> 46=31 42|34b25 41l8 41t12
46r31 Self{42R9} 42|34b31 36r10 37r22 38m10 40m25 40r25
50R9*Proxy<38|38R9> 38|49p14 41|52e14 53r50 42|37r10 65r22 79r30 90r30
51p7*Proxied{38|39P9} 42|37m39 66m34 82r36 100r17 100r18 104r46
53K12*Proxy_Pointers[38|68] 91r27 92r54 94r17 144r15 42|28r8 36r24 38r24
. 56r17 57r17 64r17 80r16 80r36 91r16 91r36
71H12 Encapsulated<42R9> 46P25 73r47 79r48 81r55
72k12*Weakref_Pointers 71z12 137l8 137e24 42|47b17 120l8 120t24
73K15*Pointers[38|68] 74r38 76r22 77r34 80r17 82r17 84r18 86r17 87r30 88r17
. 42|48r11
74P15*Encapsulated_Access{38|69P12[73]} 83r37 42|55r26 104r23
76R15*Ref{38|71R12[73]} 77r27 79r36 81r36 83r25 85r30 96r37 109r51 110r53
. 42|54r37 89r53 113r51 114r19
77r7*Null_Ref{76R15}
79U17*Set=80:26
79r22 Self{76R15}
79*41 Data<71R12>
81U17*Set=82:26
81r22 Self{76R15}
81p41 Data(71R12)
83V16*Get=84:27{38|69P12[73]}
83r21 P{76R15}
85V17*"="=86:26{boolean}
85r21 P1{76R15}
85r25 P2{76R15}
87V17*"="=88:26{boolean} 42|59r18
87p21 P1{38|69P12[73]}
87p25 P2{38|69P12[73]}
91R15*Weak_Ref{38|71R12[53]} 92r32 92r44 93r30 96r55 103r34 109r28 110r29
. 42|54r55 71r17 78r34 89r29 113r28
92r7*Null_Weak_Ref{91R15} 42|60r20
93V17*"="=94:32{boolean} 42|64s15
93r21 P1{91R15}
93r25 P2{91R15}
96V16*Get_Weak_Ref{91R15} 96>30 42|54b16 72l11 72t23
96c30 Self<38|71R12[73]> 42|54b30 55r49
103V16*Was_Freed{boolean} 103>27 42|78b16 83l11 83t20 93s13
103c27 Self<38|71R12[53]> 42|78b27 80r56
109V16*Get{76R15} 109>21 42|113b16 118l11 118t14
109c21 Self<38|71R12[53]> 42|113b21 116r15
110U17*Get 110>22 110<45 42|89b17 107l11 107t14 116s10
110c22 Self<38|71R12[53]> 42|89b22 91r56 93r24
110c45 R<38|71R12[73]> 42|89b45 94m13 94r13 101m16 101r16 104m16 104r16
144r7 Proxy{38|71R12[53]} 42|36r15 37r27 38m15 63r74 68m46
X 42 gnatcoll-refcount-weakref.adb
55p10 Data{41|74P15} 59r13 63r64 66r64 68r36
56r10 P{38|71R12[41|53]} 63m10 64r13 67m18 67r18 68r55 71r27
57p10 D{38|69P12[41|53]} 65m13 67r21
79p10 P(41|50R9) 82r17 82r34
90p10 P(41|50R9) 100r16 104r44
114r10 Result{41|76R15} 116m21 117r17
X 49 interfac.ads
38K9*Interfaces 42|25w6 25r23 49|179e15
51I9*Integer_32<integer>
X 53 system.ads
64M9*Address
X 64 s-memory.ads
53V13*Alloc{53|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{53|64M9} 105i<c,__gnat_realloc>22
|