/usr/lib/ada/adalib/anet/anet-sockets-unix.ali is in libanet1-dev 0.3.3-1.
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 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 | V "GNAT Lib v6"
A -O2
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -fstack-check=specific
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -fstack-protector-strong
A -gnatA
P DB SS ZX
RN
RV NO_DISPATCHING_CALLS
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U anet.sockets.unix%b anet-sockets-unix.adb edc1dca3 NE OO PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.fixed%s a-strfix.adb a-strfix.ali
W ada.tags%s a-tags.adb a-tags.ali
W anet%s anet.adb anet.ali
W anet.errno%s anet-errno.adb anet-errno.ali
W anet.os%s anet-os.adb anet-os.ali
W anet.sockets%s anet-sockets.adb anet-sockets.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
U anet.sockets.unix%s anet-sockets-unix.ads 7a2e2126 EE OO PF PK
W ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.strings%s a-string.ads a-string.ali
W ada.strings.unbounded%s a-strunb.adb a-strunb.ali
W ada.tags%s a-tags.adb a-tags.ali
W anet%s anet.adb anet.ali
W anet.sockets%s anet-sockets.adb anet-sockets.ali
W anet.sockets.thin%s anet-sockets-thin.ads anet-sockets-thin.ali
W anet.sockets.thin.unix%s anet-sockets-thin-unix.ads anet-sockets-thin-unix.ali
W system%s system.ads system.ali
W system.soft_links%s s-soflin.adb s-soflin.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
D ada.ads 20070406091342 3ffc8e18 ada%s
D a-charac.ads 20070912115821 2d3ec45b ada.characters%s
D a-chlat1.ads 20140225151544 66457d31 ada.characters.latin_1%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-finali.ads 20151020095656 bf4f806b ada.finalization%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-string.ads 20070406091342 90ac6797 ada.strings%s
D a-strfix.ads 20101008130255 d07c346e ada.strings.fixed%s
D a-strmap.ads 20140611123156 e8bb714a ada.strings.maps%s
D a-strunb.ads 20140717072738 3f91d4c5 ada.strings.unbounded%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D anet.ads 20160718084454 db94a232 anet%s
D anet-constants.ads 20160718084454 ee8dd842 anet.constants%s
D anet-errno.ads 20160718084454 56fdad5f anet.errno%s
D anet-os.ads 20160718084454 548be767 anet.os%s
D anet-os_constants.ads 20160718084454 790c2382 anet.os_constants%s
D anet-socket_families.ads 20160718084454 09edb115 anet.socket_families%s
D anet-sockets.ads 20160718084454 ec471120 anet.sockets%s
D anet-sockets-thin.ads 20160718084454 5b615886 anet.sockets.thin%s
D anet-sockets-thin-unix.ads 20160718084454 4abc779e anet.sockets.thin.unix%s
D anet-sockets-unix.ads 20160718084454 e344935d anet.sockets.unix%s
D anet-sockets-unix.adb 20160718084454 dc8f31a8 anet.sockets.unix%b
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
D g-os_lib.ads 20090409150019 0db74523 gnat.os_lib%s
D interfac.ads 20151118101227 4be8ce1b interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D system.ads 20151123113124 6326c08a system%s
D s-atocou.ads 20151020101020 b45c2d8d system.atomic_counters%s
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-memory.ads 20140225151139 597d6634 system.memory%s
D s-oscons.ads 20160724174210 4bd50652 system.os_constants%s
D s-os_lib.ads 20151118101046 53e9e388 system.os_lib%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads 20140225151139 86a2856d 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-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-traent.ads 20140730135025 005bf670 system.traceback_entries%s
D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s
X 1 ada.ads
16K9*Ada 19e8 23|24r14 72r20 73r20 97r25 24|24r6 82r22 92r38 150r20 151r20
. 153r33 166r14 168r20
X 5 a-finali.ads
53U14*Initialize<33|44p14>
X 6 a-stream.ads
36K13*Streams 87e16 23|72r24 73r24 24|150r24 151r24
42M9*Stream_Element
44I9*Stream_Element_Offset<long_long_integer> 23|73r32 24|151r32
54A9*Stream_Element_Array(42M9)<44I9> 23|72r32 24|150r32
X 7 a-string.ads
16K13*Strings 35e16 23|24r18 97r29 24|24r10 82r26 92r42 153r37 166r18 168r24
33n30*Right{33E9} 24|168r32
X 8 a-strfix.ads
18K21*Fixed 251e22 24|24w18 166r26
195V13*Trim{string} 24|166s32
196a7 Source{string} 24|167r10
197e7 Side{7|33E9} 24|168r10
X 10 a-strunb.ads
76K21*Unbounded 489e26 23|24w26 97r37 24|82r34 92r50 153r45
79R9*Unbounded_String<5|43R9> 473e14 23|97r47
94V13*To_Unbounded_String{79R9} 24|82s44
100V13*To_String{string} 24|92s60 153s55
X 14 anet.ads
36K9*Anet 136e9 23|26r6 28r9 107r5 24|26r6 27r6 29r14 171r5
116X4*Socket_Error 24|53r19
X 16 anet-errno.ads
34K14*Errno 49e15 24|27w11 54r31 75r7 109r7
37V13*Get_Errno_String=41:27{string} 24|54s37
45U14*Check_Or_Raise 24|75s13 109s13
46i7 Result{28|35I9} 24|76r10 110r10
47a7 Message{string} 24|80r10 114r10
X 17 anet-os.ads
24K14*OS 43e12 24|26w11 71r7 92r10
34U14*Delete_File 24|71s10 92s13
35a7 Filename{string} 24|71r23 92r26
X 19 anet-socket_families.ads
28K14*Socket_Families 46e25 24|123r23 133r23
35n7*Family_Unix{30E9} 24|123r39 133r39
X 20 anet-sockets.ads
31K14*Sockets 14|36k9 20|191e17 23|26r11 28r14 107r10 24|29r19 171r10
34n7*Datagram_Socket{33E9} 24|124r23
36n7*Stream_Socket{33E9} 24|134r23
42H9*Socket_Type<5|50R9> 150e14 23|45r42 96r42 24|94r10 156r7
45U14*Close 24|94s31
48U14*Send
53U14*Receive 24|156s28
55a7 Item{6|54A9} 24|156r37
56i7 Last{6|44I9} 24|157r37
61U14*Listen
68U14*Set_Nonblocking_Mode
72h9*Dgram_Socket_Type 23|63r10 102r10
75h9*Stream_Socket_Type 23|81r10 105r10
110U14*Set_Socket_Option
116U14*Set_Socket_Option
148i7*Sock_FD{28|35I9} 24|43m18 45r47 56m24 77r31 91r17 111r31
153U14 Finalize<5|54p14>
156U14 Init 24|122s7 132s7
157r7 Socket{23|62R9} 24|122r13 132r13
158e7 Family{19|30E9} 24|123r13 133r13
159e7 Mode{33E9} 24|124r13 134r13
183n7 Accept_Op_Ok{182E9} 24|55r15
184n7 Accept_Op_Aborted{182E9} 24|51r15
185n7 Accept_Op_Error{182E9} 24|52r15
188V13 Check_Accept{182E9} 24|49s12
188i27 Result{28|35I9} 24|49r26
X 21 anet-sockets-thin.ads
26K22*Thin 135e22 23|26r19 30r46 24|40r14 45r14 69r16 76r21 105r16 110r21
53V13*C_Bind{28|35I9} 24|76s26
54i7 S{28|35I9} 24|77r13
55m7 Name{29|67M9} 24|78r13
56m7 Namelen{28|45M9} 24|79r13
60V13*C_Connect{28|35I9} 24|110s26
61i7 S{28|35I9} 24|111r13
62m7 Name{29|67M9} 24|112r13
63m7 Namelen{28|45M9} 24|113r13
112V13*C_Accept{28|35I9} 24|45s19
113i7 S{28|35I9} 24|45r29
114m7 Name{29|67M9} 24|46r29
115p7 Namelen(28|35I9) 24|47r29
X 22 anet-sockets-thin-unix.ads
23K27*Unix 37e27 23|26w24 30r51 24|40r19 69r21 105r21
25N4*UNIX_PATH_MAX 23|30r56
27R9*Sockaddr_Un_Type 33e14 24|40r24 69r26 105r26
30a7*Pathname{28|79A9} 24|73m13 107m13
X 23 anet-sockets-unix.ads
28K22*Unix 20|31k14 23|96E9 107l18 107e22 24|29b27 171l18 171t22
30I12*Path_Range{positive} 33r29 36r41 24|142r29
33A9*Path_Type(character)<integer> 36r30 54r23 59r23 24|66r23 102r23 158r41
36A12*Full_Path_Type{33A9}<integer> 42r31 71r20 24|149r20 163r31
39V13*Is_Valid{boolean} 39>23 24|139b13 143l8 143t16
39a23 Path{string} 24|139b23 142r14
42V13*To_String{string} 42>24 24|163b13 169l8 169t17
42a24 Path{36A12} 24|163b24 167r28
45H9*Unix_Socket_Type<20|42R9> 5|53P14 20|48p14 53p14 61p14 68p14 110p14
. 116p14 153P14 156p14 23|49P14 49r37 52p14 53r23 57p14 58r23 62r32 80r32
. 96c9 99e14 101r32 104r32 24|65r23 88r37 101r23 33|42p14
49U14*Close<20|45p14> 49=21 24|88b14 96l8 96t13
49r21 Socket{45R9} 24|88b21 91r10 91r40 93r27 94m23 94r23
52U14*Bind 53=7 54>7 24|64b14 84l8 84t12
53r7 Socket{45R9} 24|65b7 77r24 82m7
54a7 Path{33A9} 24|66b7 68r57 71r43 80r69 83r18
57U14*Connect 58=7 59>7 24|100b14 115l8 115t15
58r7 Socket{45R9} 24|101b7 111r24
59a7 Path{33A9} 24|102b7 104r57 114r72
62R9*UDP_Socket_Type<45R9><20|72R9> 5|53P14 20|48p14 53p14 61p14 68p14 110p14
. 116p14 153P14 156p14 23|49P14 52p14 57p14 66p14 66r36 69p14 70r20 101c9
. 102e44 24|119r36 148r20 33|42p14
66U14*Init 66=20 24|119b14 125l8 125t12
66r20 Socket{62R9} 24|119b20 122m23
69U14*Receive 70>7 71<7 72<7 73<7 24|147b14 159l8 159t15
70r7 Socket{62R9} 24|148b7 153r66 156r20
71a7 Src{36A12} 24|149b7 155m7 158m7 158r12
72a7 Item{6|54A9} 24|150b7 156m45
73i7 Last{6|44I9} 24|151b7 157m45
80R9*TCP_Socket_Type<45R9><20|75R9> 5|53P14 20|48p14 53p14 61p14 68p14 110p14
. 116p14 153P14 156p14 23|49P14 52p14 57p14 84p14 84r36 88P14 89r24 90r24
. 104c9 105e45 24|36r24 37r24 129r36 33|42p14
84U14*Init 84=20 24|129b14 135l8 135t12
84r20 Socket{80R9} 24|129b20 132m23
88U14*Accept_Connection<20|96p14> 89>7 90<7 24|35b14 60l8 60t25
89r7 Socket{80R9} 24|36b7 45r40 57r43
90r7 New_Socket{80R9} 24|37b7 43m7 56m13 57m13 58m13
97r7 Path{10|79R9} 24|57m24 57r50 82m14 93r34 153r73
98b7 Delete_On_Close{boolean} 24|58m24 91r47
X 24 anet-sockets-unix.adb
31K12 C=31:33 39r14 41r22 68r25 68r41 104r25 104r41
39i7 Res{28|35I9} 45m7 49r36 56r43
40r7 Sock{22|27R9} 41r31 46m40 46r40
41i7 Len{28|35I9} 47m40 47r40
68a7 C_Path{28|79A9} 73r28 73r46
69r7 Value{22|27R9} 73m7 78m24 78r24 79r24
104a7 C_Path{28|79A9} 107r28 107r46
105r7 Value{22|27R9} 107m7 112m24 112r24 113r24
153a7 Path{string} 158r25 158r52
X 27 interfac.ads
38K9*Interfaces 24|31r22 27|183e15
X 28 i-c.ads
18K20*C 24|31r33 28|230e17
35I9*int<integer> 24|39r16 41r24
45M9*unsigned_long
72E9*char<character>
79A9*char_array(72E9)<60M9> 24|68r27 104r27
84V13*To_C{79A9} 24|68s43 104s43
X 29 system.ads
67M9*Address
X 33 s-finroo.ads
42U14*Adjust
X 34 s-memory.ads
53V13*Alloc{29|67M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{29|67M9} 105i<c,__gnat_realloc>22
X 42 s-stalib.adb
93U14 Break_Start 94i<c,__gnat_break_start>22
|