/usr/lib/ada/adalib/anet/anet-sockets.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 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 | 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_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_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05
U anet.sockets%b anet-sockets.adb 5ca90b5c 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.errno%s anet-errno.adb anet-errno.ali
W anet.os_constants%s anet-os_constants.ads anet-os_constants.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 3bdd4bb5 EE OO PF PK
W ada%s ada.ads ada.ali
W ada.finalization%s a-finali.ads 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.soft_links%s s-soflin.adb s-soflin.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 ada%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-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_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.adb 20160718084454 c9c98904 anet.sockets%b
D anet-sockets-thin.ads 20160718084454 5b615886 anet.sockets.thin%s
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-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s
D s-imgboo.ads 20090409150019 f5d971eb system.img_bool%s
D s-imenne.ads 20140225151139 614c06c0 system.img_enum_new%s
D s-imgint.ads 20090409150019 02dbe0c2 system.img_int%s
D s-imglli.ads 20090409150019 114f55d1 system.img_lli%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-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-string.ads 20140225151139 8fe54fb7 system.strings%s
D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s
X 1 ada.ads
16K9*Ada 19e8 13|24r14 50r16 55r20 56r20 80r16 85r20 86r20 147r28 164r19
. 14|58r19 62r11 166r20 167r20 169r16 187r34 195r16
X 3 a-finali.ads
40K13*Finalization 68e21 13|24w18 147r32
50H9*Limited_Controlled<22|40R9> 66e55 13|147r45
X 4 a-stream.ads
36K13*Streams 87e16 13|50r20 55r24 56r24 80r20 85r24 86r24 164r23 14|58r23
. 62r15 166r24 167r24 169r20 187r38 195r20
42M9*Stream_Element
44I9*Stream_Element_Offset<long_long_integer> 13|56r32 86r32 14|64r29 65r26
. 167r32 169r28 187r46
54A9*Stream_Element_Array(42M9)<44I9> 13|50r28 55r32 80r28 85r32 164r31 14|58r31
. 166r32 195r28
X 8 anet.ads
36K9*Anet 136e9 13|28r6 29r6 31r9 191r5 14|26r6 27r6 28r6 30r14 282r5
51I9*Double_Byte<integer> 13|149r18 160r25 14|131r25
113N4*C_Failure 14|39r19 85r19
116X4*Socket_Error 14|68r16 184r19
X 9 anet-constants.ads
28K14*Constants 77e19 13|28w11 129r29 130r29 131r29 135r26 139r27 140r27
. 144r28 14|40r33 86r33 225r20 237r20
30K12*Sys=30:31 13|129r39 131r39 135r36 139r37 140r37 14|40r43 86r43 225r30
. 237r30
42N4*SOCK_RAW 13|130r39
55N4*SO_BINDTODEVICE 13|144r38
X 10 anet-errno.ads
34K14*Errno 49e15 14|26w11 109r10 139r7 155r7 185r17 205r7 234r7 251r7 271r7
37V13*Get_Errno_String=41:27{string} 14|185s23
45U14*Check_Or_Raise 14|109s16 139s13 155s13 205s13 234s13 251s13 271s13
46i7 Result{19|35I9} 14|110r13 140r10 156r10 206r10 235r10 252r10 272r10
47a7 Message{string} 14|111r13 141r10 159r10 207r10 239r10 258r10 278r10
X 11 anet-os_constants.ads
23K14*OS_Constants 43e22 14|27w11 229r41 231r46
41N4*O_NONBLOCK 14|229r54 231r59
X 12 anet-socket_families.ads
28K14*Socket_Families 46e25 13|29w11 158r25 14|129r25 136r22
30E9*Family_Type 35e19 13|158r41 14|129r41
38a4*Families(19|35I9) 14|136r38
X 13 anet-sockets.ads
31K14*Sockets 8|36k9 13|128E4 191l10 191e17 14|28r11 30b19 282l10 282t17
33E9*Mode_Type 36e21 128r28 159r25 14|130r25
34n7*Datagram_Socket{33E9} 129r10
35n7*Raw_Socket{33E9} 130r10
36n7*Stream_Socket{33E9} 131r10
39E9*Level_Type 39e37 134r29
39n24*Socket_Level{39E9} 135r10 14|254r32 274r32
42H9*Socket_Type<3|50R9> 3|53P14 13|45p14 45r37 48p14 49r16 53p14 54r20 61p14
. 62r17 68p14 69r16 110p14 111r16 116p14 117r16 147c9 150e14 153P14 153r40
. 156p14 157r25 14|103r37 119r40 122r7 128r25 151r17 165r20 194r16 217r16
. 245r16 265r16 22|42p14
45U14*Close 45=21 14|103b14 115l8 115t13 122R34
45r21 Socket{42R9} 14|103b21 107r10 108r31 112m10 113m10
48U14*Send 49>7 50>7 14|193b14 212l8 212t12
49r7 Socket{42R9} 14|194b7 200r19
50a7 Item{4|54A9} 14|195b7 201r19 202r19 209r23
53U14*Receive 54>7 55<7 56<7 14|164b14 189l8 189t15
54r7 Socket{42R9} 14|165b7 175r36
55a7 Item{4|54A9} 14|166b7 176m36 176r36 177r36 187r21
56i7 Last{4|44I9} 14|167b7 173m7 187m13
61U14*Listen 62>7 63>7 14|150b14 160l8 160t14
62r7 Socket{42R9} 14|151b7 157r24
63i7 Backlog{positive} 14|152b7 158r31 159r65
68U14*Set_Nonblocking_Mode 69>7 70>7 14|216b14 240l8 240t28
69r7 Socket{42R9} 14|217b7 224r20 236r20
70b7 Enable{boolean} 14|218b7 228r10 239r61
72h9*Dgram_Socket_Type
75h9*Stream_Socket_Type 78p14 79r16 83p14 84r20 91p14 92r17 96p14 97r24 98r24
78x14*Send 79>7 80>7
79r7 Socket{75R9}
80a7 Item{4|54A9}
83x14*Receive 84>7 85<7 86<7
84r7 Socket{75R9}
85a7 Item{4|54A9}
86i7 Last{4|44I9}
91x14*Listen 92>7 93>7
92r7 Socket{75R9}
93i7 Backlog{positive}
96x14*Accept_Connection 97>7 98<7
97r7 Socket{75R9}
98r7 New_Socket{75R9}
102E9*Option_Name_Bool 104e21 112r16 138r35 14|246r16
103n7*Broadcast{102E9} 140r10
104n7*Reuse_Address{102E9} 139r10
107E9*Option_Name_Str 107e44 118r16 143r34 14|266r16
107n29*Bind_To_Device{107E9} 144r10
110U14*Set_Socket_Option 111>7 112>7 113>7 14|244b14 260l8 260t25
111r7 Socket{42R9} 14|245b7 253r24
112e7 Option{102E9} 14|246b7 255r38 258r59
113b7 Value{boolean} 14|247b7 249r42 259r12
116U14*Set_Socket_Option 117>7 118>7 119>7 14|264b14 280l8 280t25
117r7 Socket{42R9} 14|265b7 273r24
118e7 Option{107E9} 14|266b7 275r37 278r58
119a7 Value{string} 14|267b7 269r46 279r12
128a4 Modes(19|35I9) 14|137r22
134a4 Levels(19|35I9) 14|254r24 274r24
138a4 Options_Bool(19|35I9) 14|255r24
143a4 Options_Str(19|35I9) 14|275r24
148i7*Sock_FD{19|35I9} 14|107r17 108r38 112m17 144m14 157r31 175r43 200r26
. 224r27 236r27 253r31 273r31
149i7*Protocol{8|51I9} 14|113m17 145m14
153U14 Finalize<3|54p14> 153=24 14|119b14 123l8 123t16
153r24 Socket{42R9} 14|119b24 122m26 122r26
156U14 Init 157=7 158>7 159>7 160>7 14|127b14 146l8 146t12
157r7 Socket{42R9} 14|128b7 144m7 145m7
158e7 Family{12|30E9} 14|129b7 136r48 141r51
159e7 Mode{33E9} 14|130b7 137r29 141r70
160i7 Protocol{8|51I9} 14|131b7 138r29 142r27 145r26
163U14 Check_Complete_Send 164>7 165>7 166>7 14|57b14 71l8 71t27 208s7
164a7 Item{4|54A9} 14|58b7 65r12 65r59 67r24 69r14 209r10
165i7 Result{19|37I9} 14|59b7 65r49 210r10
166a7 Error_Msg{string} 14|60b7 68r34 211r10
172E9 Recv_Result_Type 176e32 179r63 14|75r63
173n7 Recv_Op_Ok{172E9} 14|98r14 186r15
174n7 Recv_Op_Aborted{172E9} 14|90r20 182r42
175n7 Recv_Op_Error{172E9} 14|95r17 183r15
176n7 Recv_Op_Orderly_Shutdown{172E9} 14|82r17 182r15
179V13 Check_Receive{172E9} 179>28 14|75b13 99l8 99t21 180s12
179i28 Result{19|37I9} 14|75b28 78r10 85r10 180r27
182E9 Accept_Result_Type 185e23 188r61 14|36r61
183n7 Accept_Op_Ok{182E9} 14|52r14
184n7 Accept_Op_Aborted{182E9} 14|44r20
185n7 Accept_Op_Error{182E9} 14|49r17
188V13 Check_Accept{182E9} 188>27 14|36b13 53l8 53t20
188i27 Result{19|35I9} 14|36b27 39r10
X 14 anet-sockets.adb
32K12 C=32:33 105r13 133r13 138r22 158r24 171r13 197r13 206r21 238r20 249r13
. 249r22 269r22 269r38
64i7 Sent_Bytes{4|44I9} 67r10 68r57
105i7 Res{19|35I9} 108m10 110r24
133i7 Res{19|35I9} 135m7 140r21 144r26
171i7 Res{19|37I9} 175m7 180r37 187r69
197i7 Res{19|37I9} 199m7 206r28 210r23
222m7 Flags{18|73M9} 229m10 229r19 231m10 231r19 238r27
249i7 Val{19|35I9} 256m24 256r24 257r24
269a7 Val{19|79A9} 276r24 277r24
X 15 anet-sockets-thin.ads
26K22*Thin 14|28w19 108r17 135r14 156r21 175r14 199r14 223r10 235r21 252r21
. 272r21 15|135e22
46V13*C_Socket{19|35I9} 14|135s19
47i7 Domain{19|35I9} 14|136r10
48i7 Typ{19|35I9} 14|137r10
49i7 Protocol{19|35I9} 14|138r10
67V13*C_Recv{19|37I9} 14|175s19
68i7 S{19|35I9} 14|175r27
69m7 Msg{20|67M9} 14|176r27
70m7 Len{19|60M9} 14|177r27
71i7 Flags{19|35I9} 14|178r27
85V13*C_Send{19|37I9} 14|199s19
86i7 S{19|35I9} 14|200r10
87m7 Buf{20|67M9} 14|201r10
88m7 Len{19|60M9} 14|202r10
89i7 Flags{19|35I9} 14|203r10
103V13*C_Setsockopt{19|35I9} 14|252s26 272s26
104i7 S{19|35I9} 14|253r13 273r13
105i7 Level{19|35I9} 14|254r13 274r13
106i7 Optname{19|35I9} 14|255r13 275r13
107m7 Optval{20|67M9} 14|256r13 276r13
108m7 Optlen{19|45M9} 14|257r13 277r13
119V13*C_Listen{19|35I9} 14|156s26
120i7 Socket{19|35I9} 14|157r13
121i7 Backlog{19|35I9} 14|158r13
125V13*C_Close{19|35I9} 14|108s22
128V13*C_Fcntl{19|35I9} 14|223s15 235s26
129i7 Fd{19|35I9} 14|224r13 236r13
130i7 Cmd{19|35I9} 14|225r13 237r13
131i7 Arg{19|35I9} 14|226r13 238r13
X 16 gnat.ads
34K9*GNAT 14|24r6 40r13 86r13 16|37e9
X 17 g-os_lib.ads
51K14*OS_Lib=51:36 14|24w11 40r18 86r18
X 18 interfac.ads
38K9*Interfaces 13|26r6 124r13 125r13 126r13 128r42 134r44 138r56 143r54
. 148r18 165r19 179r37 188r36 14|32r22 36r36 59r19 75r37 220r11 18|183e15
73M9*Unsigned_32 14|222r15 222r30 229r28 231r33
X 19 i-c.ads
18K20*C 13|26w17 124r24 125r24 126r24 128r53 134r55 138r67 143r65 148r29
. 165r30 179r48 188r47 14|32r33 36r47 59r30 75r48 19|230e17
35I9*int<integer> 13|124r26 128r55 134r57 138r69 143r67 148r31 188r49 14|36r49
. 105r15 133r15 138r24 158r26 206r23 238r22 249r15 249r24
37I9*long<long_integer> 13|125r26 165r32 179r50 14|59r32 75r50 171r15 197r15
45M9*unsigned_long 13|126r26
60M9*size_t
72E9*char<character>
79A9*char_array(72E9)<60M9> 14|269r24
84V13*To_C{79A9} 14|269s40
X 20 system.ads
67M9*Address
X 27 s-oscons.ads
81N4*F_GETFL 14|225r34
82N4*F_SETFL 14|237r34
121N4*EINTR 14|40r47 86r47
238N4*SOCK_STREAM 13|131r43
239N4*SOCK_DGRAM 13|129r43
262N4*SOL_SOCKET 13|135r40
284N4*SO_REUSEADDR 13|139r41
288N4*SO_BROADCAST 13|140r41
X 28 s-os_lib.ads
992V13*Errno{integer} 14|40s25 86s25
|