/usr/lib/ada/adalib/anet/anet-sockets.ali is in libanet0.3.1-dev 0.3.1-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 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 | V "GNAT Lib v4.9"
A -O2
A -fstack-check=specific
A -fstack-protector-strong
A -gnatyg
A -gnatyA
A -gnatyd
A -gnatyI
A -gnatyS
A -gnatyu
A -gnatyx
A -gnatyo
A -gnatVa
A -gnat05
A -gnatf
A -gnato
A -g
A -gnatwa
A -gnatwl
A -gnatwe
A -g
A -gnatA
P DB SS ZX
RN
RV NO_DISPATCH
RV NO_DISPATCHING_CALLS
RV NO_ENUMERATION_MAPS
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_IMPLICIT_CONDITIONALS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U anet.sockets%b anet-sockets.adb e0d4623e NE OO PK
W ada.exceptions%s a-except.adb a-except.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 gnat%s gnat.ads gnat.ali
W gnat.os_lib%s g-os_lib.ads g-os_lib.ali
W interfaces%s interfac.ads interfac.ali
W system%s system.ads system.ali
W system.img_bool%s s-imgboo.adb s-imgboo.ali
W system.img_enum_new%s s-imenne.adb s-imenne.ali
W system.img_int%s s-imgint.adb s-imgint.ali
W system.img_lli%s s-imglli.adb s-imglli.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
U anet.sockets%s anet-sockets.ads 9bdb89a8 EE OO PF PK
W ada%s ada.ads ada.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 anet%s anet.adb anet.ali
W anet.constants%s anet-constants.ads anet-constants.ali
W anet.socket_families%s anet-socket_families.ads anet-socket_families.ali
W interfaces%s interfac.ads interfac.ali
W interfaces.c%s i-c.adb i-c.ali
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.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
D ada.ads 20070406091342 3ffc8e18
D a-except.ads 20140129161953 f86a4103
D a-finali.ads 20111121113555 52ecdc1b
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 anet.ads 20140811220322 062d45a5
D anet-constants.ads 20140811220322 ee8dd842
D anet-os_constants.ads 20140811220322 bdafab0d
D anet-socket_families.ads 20140811220322 09edb115
D anet-sockets.ads 20140811220322 7c5b68da
D anet-sockets.adb 20140811220322 139a1dbb
D anet-sockets-thin.ads 20140811220322 82a2527c
D gnat.ads 20110801150502 fd2ad2f1
D g-os_lib.ads 20090409150019 0db74523
D interfac.ads 20140225151838 69adb1b9
D i-c.ads 20110801143639 5421119b
D system.ads 20140727234634 90249111
D s-exctab.ads 20140225151139 54135002
D s-finroo.ads 20120426095924 4ff27390
D s-imgboo.ads 20090409150019 f5d971eb
D s-imenne.ads 20140225151139 614c06c0
D s-imgint.ads 20090409150019 02dbe0c2
D s-imglli.ads 20090409150019 114f55d1
D s-oscons.ads 20140727234635 a445b120
D s-os_lib.ads 20140225151139 73b554c6
D s-parame.ads 20140225151139 ab8cb46a
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-string.ads 20140225151139 8fe54fb7
D s-traent.ads 20140225151139 b5116092
X 1 ada.ads
16K9*Ada 19e8 12|24r14 50r16 55r20 56r20 74r16 79r20 80r20 143r28 160r19
. 13|56r19 60r11 169r20 170r20 172r16 190r34 198r16
X 3 a-finali.ads
40K13*Finalization 73e21 12|24w18 143r32
55H9*Limited_Controlled<21|40R9> 71e55 12|143r45
X 4 a-stream.ads
36K13*Streams 84e16 12|50r20 55r24 56r24 74r20 79r24 80r24 160r23 13|56r23
. 60r15 169r24 170r24 172r20 190r38 198r20
42M9*Stream_Element
44I9*Stream_Element_Offset<long_integer> 12|56r32 80r32 13|62r29 63r26 170r32
. 172r28 190r46
51A9*Stream_Element_Array(42M9)<44I9> 12|50r28 55r32 74r28 79r32 160r31 13|56r31
. 169r32 198r28
X 8 anet.ads
36K9*Anet 136e9 12|28r6 29r6 31r9 187r5 13|26r6 28r14 264r5
51I9*Double_Byte<integer> 12|145r18 156r25 13|130r25
113N4*C_Failure 13|37r19 83r19 107r19 138r16 159r16 207r16 235r16 258r16
116V13*Get_Errno_String{string} 13|109s17 141s14 161s36 188s17 209s14 237s55
. 260s53
X 9 anet-constants.ads
28K14*Constants 77e19 12|28w11 125r29 126r29 127r29 131r26 135r27 136r27
. 140r28 13|38r33 84r33
30K12*Sys=30:31 12|125r39 127r39 131r36 135r37 136r37 13|38r43 84r43
42N4*SOCK_RAW 12|126r39
55N4*SO_BINDTODEVICE 12|140r38
X 11 anet-socket_families.ads
28K14*Socket_Families 46e25 12|29w11 154r25 13|128r25 134r41
30E9*Family_Type 35e19 12|154r41 13|128r41
38a4*Families(18|35I9) 13|134r57
X 12 anet-sockets.ads
31K14*Sockets 8|36k9 12|124E4 187l10 187e17 13|26r11 28b19 264l10 264t17
33E9*Mode_Type 36e21 124r28 155r25 13|129r25
34n7*Datagram_Socket{33E9} 125r10
35n7*Raw_Socket{33E9} 126r10
36n7*Stream_Socket{33E9} 127r10
39E9*Level_Type 39e37 130r29
39n24*Socket_Level{39E9} 131r10 13|230r29 253r29
42H9*Socket_Type<3|55R9> 3|58P14 12|45p14 45r37 48p14 49r16 53p14 54r20 61p14
. 62r17 104p14 105r16 110p14 111r16 143c9 146e14 149P14 149r40 152p14 153r25
. 13|101r37 118r40 121r7 127r25 151r17 168r20 197r16 221r16 244r16 21|42p14
45U14*Close 45=21 13|101b14 114l8 114t13 121R34
45r21 Socket{42R9} 13|101b21 105r10 106r31 111m10 112m10
48U14*Send 49>7 50>7 13|196b14 216l8 216t12
49r7 Socket{42R9} 13|197b7 202r36
50a7 Item{4|51A9} 13|198b7 203r36 204r36 213r23
53U14*Receive 54>7 55<7 56<7 13|167b14 192l8 192t15
54r7 Socket{42R9} 13|168b7 178r36
55a7 Item{4|51A9} 13|169b7 179m36 179r36 180r36 190r21
56i7 Last{4|44I9} 13|170b7 176m7 190m13
61U14*Listen 62>7 63>7 13|150b14 163l8 163t14
62r7 Socket{42R9} 13|151b7 156r40
63i7 Backlog{positive} 13|152b7 157r47 161r14
66h9*Dgram_Socket_Type
69h9*Stream_Socket_Type 72p14 73r16 77p14 78r20 85p14 86r17 90p14 91r24 92r24
72x14*Send 73>7 74>7
73r7 Socket{69R9}
74a7 Item{4|51A9}
77x14*Receive 78>7 79<7 80<7
78r7 Socket{69R9}
79a7 Item{4|51A9}
80i7 Last{4|44I9}
85x14*Listen 86>7 87>7
86r7 Socket{69R9}
87i7 Backlog{positive}
90x14*Accept_Connection 91>7 92<7
91r7 Socket{69R9}
92r7 New_Socket{69R9}
96E9*Option_Name_Bool 98e21 106r16 134r35 13|222r16
97n7*Broadcast{96E9} 136r10
98n7*Reuse_Address{96E9} 135r10
101E9*Option_Name_Str 101e44 112r16 139r34 13|245r16
101n29*Bind_To_Device{101E9} 140r10
104U14*Set_Socket_Option 105>7 106>7 107>7 13|220b14 239l8 239t25
105r7 Socket{42R9} 13|221b7 229r21
106e7 Option{96E9} 13|222b7 231r35 237r14
107b7 Value{boolean} 13|223b7 225r42 237r36
110U14*Set_Socket_Option 111>7 112>7 113>7 13|243b14 262l8 262t25
111r7 Socket{42R9} 13|244b7 252r21
112e7 Option{101E9} 13|245b7 254r34 260r14
113s7 Value{string} 13|246b7 248r46 260r37
116X4*Socket_Error 13|66r16 108r19 139r16 160r16 187r19 208r16 236r16 259r16
124a4 Modes(18|35I9) 13|135r41
130a4 Levels(18|35I9) 13|230r21 253r21
134a4 Options_Bool(18|35I9) 13|231r21
139a4 Options_Str(18|35I9) 13|254r21
144i7*Sock_FD{18|35I9} 13|105r17 106r38 111m17 144m14 156r47 178r43 202r43
. 229r28 252r28
145i7*Protocol{8|51I9} 13|112m17 145m14
149U14 Finalize<3|59p14> 149=24 13|118b14 122l8 122t16
149r24 Socket{42R9} 13|118b24 121m26 121r26
152U14 Init 153=7 154>7 155>7 156>7 13|126b14 146l8 146t12
153r7 Socket{42R9} 13|127b7 144m7 145m7
154e7 Family{11|30E9} 13|128b7 134r67 139r64
155e7 Mode{33E9} 13|129b7 135r48 140r14
156i7 Protocol{8|51I9} 13|130b7 136r48 140r40 145r26
159U14 Check_Complete_Send 160>7 161>7 162>7 13|55b14 69l8 69t27 212s7
160a7 Item{4|51A9} 13|56b7 63r12 63r59 65r24 67r14 213r10
161i7 Result{18|37I9} 13|57b7 63r49 214r10
162s7 Error_Msg{string} 13|58b7 66r34 215r10
168E9 Recv_Result_Type 172e32 175r63 13|73r63
169n7 Recv_Op_Ok{168E9} 13|96r14 189r15
170n7 Recv_Op_Aborted{168E9} 13|88r20 185r42
171n7 Recv_Op_Error{168E9} 13|93r17 186r15
172n7 Recv_Op_Orderly_Shutdown{168E9} 13|80r17 185r15
175V13 Check_Receive{168E9} 175>28 13|73b13 97l8 97t21 183s12
175i28 Result{18|37I9} 13|73b28 76r10 83r10 183r27
178E9 Accept_Result_Type 181e23 184r61 13|34r61
179n7 Accept_Op_Ok{178E9} 13|50r14
180n7 Accept_Op_Aborted{178E9} 13|42r20
181n7 Accept_Op_Error{178E9} 13|47r17
184V13 Check_Accept{178E9} 184>27 13|34b13 51l8 51t20
184i27 Result{18|35I9} 13|34b27 37r10
X 13 anet-sockets.adb
30K12 C=30:33 103r13 132r13 136r41 154r13 157r40 174r13 200r13 225r13 225r22
. 226r13 248r22 248r38 249r13
62i7 Sent_Bytes{4|44I9} 65r10 66r57
103i7 Res{18|35I9} 106m10 107r13
132i7 Res{18|35I9} 134m7 138r10 144r26
154i7 Res{18|35I9} 156m7 159r10
174i7 Res{18|37I9} 178m7 183r37 190r69
200i7 Res{18|37I9} 202m7 207r10 214r23
225i7 Val{18|35I9} 232m21 232r21 233r21
226i7 Res{18|35I9} 228m7 235r10
248a7 Val{18|79A9} 255r21 256r21
249i7 Res{18|35I9} 251m7 258r10
X 14 anet-sockets-thin.ads
26K22*Thin 13|26w19 106r17 134r14 156r14 178r14 202r14 228r14 251r14 14|128e22
46V13*C_Socket{18|35I9} 13|134s19
47i7 Domain{18|35I9} 13|134r29
48i7 Typ{18|35I9} 13|135r29
49i7 Protocol{18|35I9} 13|136r29
67V13*C_Recv{18|37I9} 13|178s19
68i7 S{18|35I9} 13|178r27
69m7 Msg{19|64M9} 13|179r27
70m7 Len{18|60M9} 13|180r27
71i7 Flags{18|35I9} 13|181r27
85V13*C_Send{18|37I9} 13|202s19
86i7 S{18|35I9} 13|202r27
87m7 Buf{19|64M9} 13|203r27
88m7 Len{18|60M9} 13|204r27
89i7 Flags{18|35I9} 13|205r27
103V13*C_Setsockopt{18|35I9} 13|228s19 251s19
104i7 S{18|35I9} 13|229r10 252r10
105i7 Level{18|35I9} 13|230r10 253r10
106i7 Optname{18|35I9} 13|231r10 254r10
107m7 Optval{19|64M9} 13|232r10 255r10
108m7 Optlen{18|45M9} 13|233r10 256r10
119V13*C_Listen{18|35I9} 13|156s19
120i7 Socket{18|35I9} 13|156r29
121i7 Backlog{18|35I9} 13|157r29
125V13*C_Close{18|35I9} 13|106s22
X 15 gnat.ads
34K9*GNAT 13|24r6 38r13 84r13 15|37e9
X 16 g-os_lib.ads
51K14*OS_Lib=51:36 13|24w11 38r18 84r18
X 17 interfac.ads
38K9*Interfaces 12|26r6 120r13 121r13 122r13 124r42 130r44 134r56 139r54
. 144r18 161r19 175r37 184r36 13|30r22 34r36 57r19 73r37 17|179e15
X 18 i-c.ads
18K20*C 12|26w17 120r24 121r24 122r24 124r53 130r55 134r67 139r65 144r29
. 161r30 175r48 184r47 13|30r33 34r47 57r30 73r48 18|230e17
35I9*int<integer> 12|120r26 124r55 130r57 134r69 139r67 144r31 184r49 13|34r49
. 103r15 132r15 136r43 154r15 157r42 225r15 225r24 226r15 249r15
37I9*long<long_integer> 12|121r26 161r32 175r50 13|57r32 73r50 174r15 200r15
45M9*unsigned_long 12|122r26
60M9*size_t
72E9*char<character>
79A9*char_array(72E9)<60M9> 13|248r24
84V13*To_C{79A9} 13|248s40
X 19 system.ads
64M9*Address
X 26 s-oscons.ads
122N4*EINTR 13|38r47 84r47
239N4*SOCK_STREAM 12|127r43
240N4*SOCK_DGRAM 12|125r43
263N4*SOL_SOCKET 12|131r40
285N4*SO_REUSEADDR 12|135r41
289N4*SO_BROADCAST 12|136r41
X 27 s-os_lib.ads
960V13*Errno{integer} 13|38s25 84s25
|