/usr/lib/x86_64-linux-gnu/ada/adalib/alog/alog-protected_containers.ali is in libalog3-dev 0.5.2-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 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 | V "GNAT Lib v7"
A -O2
A -O2
A -gnatA
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatwa
A -gnatwl
A -gnatf
A -fstack-check=specific
A -gnato
A -gnatwe
A -g
A -fdebug-prefix-map=/build/libalog-FZCAPe/libalog-0.5.2=.
A -fstack-protector-strong
A -g
A -fdebug-prefix-map=/build/libalog-FZCAPe/libalog-0.5.2=.
A -fstack-protector-strong
A -mtune=generic
A -march=x86-64
P DB SS ZX
RN
RV SIMPLE_BARRIERS
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_IMPLICIT_CONDITIONALS
RV NO_LOCAL_ALLOCATORS
RV NO_NESTED_FINALIZATION
RV NO_PROTECTED_TYPES
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV PURE_BARRIERS
RV SPARK_05
RV MAX_PROTECTED_ENTRIES=2
U alog.protected_containers%b alog-protected_containers.adb cd2bfa7f NE OO PK
W ada.exceptions%s a-except.adb a-except.ali
W ada.tags%s a-tags.adb a-tags.ali
W alog%s alog.ads alog.ali
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.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.tasking.protected_objects%s s-taprob.adb s-taprob.ali
W system.tasking.protected_objects.entries%s s-tpoben.adb s-tpoben.ali
W system.tasking.protected_objects.operations%s s-tpobop.adb s-tpobop.ali
U alog.protected_containers%s alog-protected_containers.ads 5afbb137 EE OO PF PK
W ada%s ada.ads ada.ali
W ada.containers%s a-contai.ads a-contai.ali
W ada.containers.doubly_linked_lists%s
Z ada.containers.helpers%s a-conhel.adb a-conhel.ali
W ada.exceptions%s a-except.adb a-except.ali
Z ada.finalization%s a-finali.ads a-finali.ali
Z ada.iterator_interfaces%s
W ada.streams%s a-stream.adb a-stream.ali
W ada.tags%s a-tags.adb a-tags.ali
Z ada.unchecked_deallocation%s
W alog%s alog.ads alog.ali
W alog.log_request%s alog-log_request.adb alog-log_request.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.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
W system.tasking%s s-taskin.adb s-taskin.ali
W system.tasking.protected_objects%s s-taprob.adb s-taprob.ali
W system.tasking.protected_objects.entries%s s-tpoben.adb s-tpoben.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-contai.ads 20151020122137 61e5e089 ada.containers%s
D a-cdlili.ads 20151023123735 8e06b4f2 ada.containers.doubly_linked_lists%s
D a-cdlili.adb 20151023123735 8ed211ef ada.containers.doubly_linked_lists%b
D a-conhel.ads 20160420102926 20298884 ada.containers.helpers%s
D a-conhel.adb 20160427125518 9cc5095b ada.containers.helpers%b
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-iteint.ads 20110906092602 7c7305e9 ada.iterator_interfaces%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strunb.ads 20161012122725 ecdfa332 ada.strings.unbounded%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-taside.ads 20160420090448 c6417f71 ada.task_identification%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D alog.ads 20160708130246 7e9aed5d alog%s
D alog-log_request.ads 20160708130246 b0787bed alog.log_request%s
D alog-protected_containers.ads 20160708130246 1a1f9375 alog.protected_containers%s
D alog-protected_containers.adb 20160708130246 d734690a alog.protected_containers%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-atocou.ads 20151020101020 b45c2d8d system.atomic_counters%s
D s-atocou.adb 20151020114917 b65612c0 system.atomic_counters%b
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-linux.ads 20150107101203 2fda6ad1 system.linux%s
D s-memory.ads 20160622104833 597d6634 system.memory%s
D s-multip.ads 20101011073009 38ac9f73 system.multiprocessors%s
D s-oscons.ads 20170910215851 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-pooglo.ads 20151118103153 ede33ef8 system.pool_global%s
D s-secsta.ads 20170112134946 9751b57e system.secondary_stack%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-stalib.adb 20140225151139 f2fe2716 system.standard_library%b
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
D s-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b
D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s
D s-stposu.ads 20151020120548 97a6219c system.storage_pools.subpools%s
D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s
D s-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-ststop.ads 20140225151139 e6693757 system.strings.stream_ops%s
D s-tasinf.ads 20140613095942 2b3f8252 system.task_info%s
D s-taspri.ads 20141120144719 e3ab4429 system.task_primitives%s
D s-taskin.ads 20170112134946 05d6152c system.tasking%s
D s-taprob.ads 20170106114239 acd6094d system.tasking.protected_objects%s
D s-tpoben.ads 20170106115015 60ad3dae system.tasking.protected_objects.entries%s
D s-tpobop.ads 20090409150019 5f548bb3 system.tasking.protected_objects.operations%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 22|23r6 78r10
X 4 a-contai.ads
16K13*Containers 24e19 22|23r10 78r14
20I9*Count_Type<integer>
X 5 a-cdlili.ads
41+9 Element_Type 22|79r9
46k24*Doubly_Linked_Lists 406e39 22|23w21 78r25
51R9*List<10|43R9> 22|83r42[77]
74V13*Length{4|20I9} 23|75s35[22|77]
76V13*Is_Empty{boolean} 23|31s36[22|77] 66s22[22|77]
78U14*Clear 23|42s19[22|77]
148U14*Append 23|89s19[22|77]
150r7 New_Item{21|32R9} 23|89r27[22|77]
158U14*Delete_First 23|63s19[22|77]
200V13*First_Element{21|32R9} 23|62s30[22|77]
X 11 a-iteint.ads
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[5|69]>
X 20 alog.ads
27K9*Alog 50e9 22|25r6 29r9 75r13 85r5 23|23r14 95r5
X 21 alog-log_request.ads
28K14*Log_Request 70e21 22|25w11 39r32 42r32 75r18 79r25 23|59r32 87r32
32R9*Instance 66e14 22|39r44 42r44 75r30 79r37 23|59r44 87r44
X 22 alog-protected_containers.ads
29K14*Protected_Containers 20|27k9 22|77E12 85l10 85e30 23|23b19 95l10 95t30
35R9*Log_Request_Storage<5|51R9[77]> 65r28 83c9 83e63
37W19*Log_Request_List 65E7 69l8 69e24 23|27b19 93l8 93t24
39U17 Put 39>22 23|87b17 91l11 91t14
39r22 Element{21|32R9} 23|87b22 89r39
42Y13 Get 42<18 23|59b13 69l11 69t14
42r18 Element{21|32R9} 23|62m10
45U17 Done 23|49b17 55l11 55t15
48Y13 All_Done 23|31b13 36l11 36t19
54U17 Clear 23|40b17 45l11 45t16
57V16 Length{natural} 23|73b16 76l11 76t17
60V16 Pending{natural} 23|80b16 83l11 83t18
65r7 Requests{35R9} 23|31r27 42r10 62r21 63r10 66r13 75r26 89r10
66b7 Requests_Available{boolean} 23|43r10 59r59 67r13 90r10
67i7 Pending_Counter{natural} 23|32r18 44r10 51r13 54r10 54r29 64r10 64r29
. 82r17
77K12 List_Of_Log_Requests_Package[5|46] 81r26
81K12 LOLRP=81:26 83r36
X 23 alog-protected_containers.adb
59r18 Element{21|32R9}
X 26 system.ads
67M9*Address
X 34 s-memory.ads
53V13*Alloc{26|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{26|67M9} 105i<c,__gnat_realloc>22
X 43 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 45 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22
|