/usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-thin.ali is in libadasockets7-dev 1.10.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 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 | V "GNAT Lib v7"
A -gnatwa
A -O2
A -O2
A -Wall
A -Werror
A -g
A -gnata
A -gnatg
A -gnatwa
A -gnatwe
A -g
A -fdebug-prefix-map=/build/adasockets-qjiYL4/adasockets-1.10.1=.
A -fstack-protector-strong
P SS ZX
RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DEFAULT_INITIALIZATION
RV NO_DYNAMIC_SIZED_OBJECTS
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_LOOPS
RV NO_ELABORATION_CODE
RV SPARK_05
U sockets.thin%s sockets-thin.ads dd72bffd EE OO PK
Z ada%s ada.ads ada.ali
W ada.exceptions%s a-except.adb a-except.ali
W ada.tags%s a-tags.adb a-tags.ali
Z ada.unchecked_conversion%s
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 interfaces.c%s i-c.adb i-c.ali
W interfaces.c.pointers%s
W interfaces.c.strings%s i-cstrin.adb i-cstrin.ali
W sockets%s sockets.adb sockets.ali
W sockets.types%s sockets-types.ads sockets-types.ali
W system%s system.ads system.ali
W system.exception_table%s s-exctab.adb s-exctab.ali
Z system.parameters%s s-parame.adb s-parame.ali
W system.secondary_stack%s s-secsta.adb s-secsta.ali
W system.standard_library%s s-stalib.adb s-stalib.ali
W system.storage_elements%s s-stoele.adb s-stoele.ali
D ada.ads 20170106103348 76789da1 ada%s
D a-except.ads 20151016123252 291912d5 ada.exceptions%s
D a-stream.ads 20141120112812 119b8fb3 ada.streams%s
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads 20170106103348 31484697 ada.unchecked_conversion%s
D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s
D gnat.ads 20140801083227 fd2ad2f1 gnat%s
D g-os_lib.ads 20090409150019 0db74523 gnat.os_lib%s
D interfac.ads 20160502101001 5ab55268 interfaces%s
D i-c.ads 20110801143639 5421119b interfaces.c%s
D i-cpoint.ads 20130104124955 ee8a93ec interfaces.c.pointers%s
D i-cpoint.adb 20150512082147 d5172521 interfaces.c.pointers%b
D i-cstrin.ads 20140611122922 341d0ddf interfaces.c.strings%s
D sockets.ads 20160921111228 c7635c3a sockets%s
D sockets-thin.ads 20160921111228 725bfdbd sockets.thin%s
D sockets-types.ads 20170917160520 92a98f6e sockets.types%s
D system.ads 20170510173650 4635ec04 system%s
D s-exctab.ads 20140225151139 54135002 system.exception_table%s
D s-os_lib.ads 20170917160520 4e0c17b8 system.os_lib%s
D s-parame.ads 20140801093848 7e2a0d7f system.parameters%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-stalib.ads 20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%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 20160502101423 34867c83 system.unsigned_types%s
X 7 gnat.ads
34K9*GNAT 37e9 15|39r6 444r42
X 8 g-os_lib.ads
51K14*OS_Lib=51:36 15|39w11 444r47
X 9 interfac.ads
38K9*Interfaces 184e15 15|40r6 41r6 47r22 246r14
74M9*Unsigned_32 15|246r25
X 10 i-c.ads
18K20*C 230e17 15|40r17 41r17 47r33
35I9*int<integer> 15|51r15 55r25 56r25 58r36 62r24 65r25 68r24 105r23 106r23
. 125r28 127r28 129r28 138r40 143r19 153r19 155r26 156r16 159r19 161r19 162r16
. 164r33 164r47 167r19 169r19 170r16 172r41 172r55 175r18 176r18 177r18 178r16
. 186r20 187r20 196r19 197r16 201r19 202r16 205r19 207r26 208r15 213r19 215r26
. 216r16 219r19 221r26 222r16 225r19 226r19 227r19 229r26 230r16 233r19 234r19
. 235r19 237r26 238r16 249r15 250r15 253r49 255r49 262r16 264r42 264r56 266r38
. 266r52 270r18 271r16 274r18 276r18 278r18 279r15 282r18 284r18 285r18 286r15
. 290r17 292r15 294r40 295r40 296r40 298r15 303r19 304r15 307r18 309r18 310r15
. 313r18 315r18 316r15 318r27 318r69 319r15 322r19 324r19 325r19 327r26 328r15
. 331r17 333r17 334r15 337r17 339r17 340r17 341r15 344r17 346r17 347r15 350r17
. 352r17 353r17 355r17 356r15 361r19 362r19 363r19 365r19 366r15 369r15 370r15
. 372r49 372r63 374r36 377r18 379r18 380r15 383r18 385r18 386r15 389r16 390r16
. 391r23 392r16
36I9*short<short_integer> 15|144r19 145r19
37I9*long<long_integer> 15|277r18
45M9*unsigned_long 15|302r19
60M9*size_t 15|71r37 75r23
X 11 i-cpoint.ads
44k22*Pointers 102e26 15|40w19 49r39
47P9*Pointer(13|47P9) 15|104r40[74] 107r45[82]
X 13 i-cstrin.ads
36K22*Strings 106e25 15|41w19 48r30
47P9*chars_ptr 15|72r22 75r39 103r29 181r24 182r22 185r26 191r22 195r25 228r25
. 241r20 245r20 257r54 260r21 275r24 283r24 289r23 374r56
52p4*Null_Ptr{47P9} 15|76r29
X 14 sockets.ads
42K9*Sockets 254e12 15|42r6 42r35 45r9 446r5
X 15 sockets-thin.ads
45K17*Thin 14|42k9 15|398E32 446l13 446e17
47K12*C=47:33 48r28 49r37 51r13 55r23 56r23 58r34 62r22 65r23 68r22 71r35
. 75r21 105r21 106r21 125r26 127r26 129r26 138r38 143r17 144r17 145r17 153r17
. 155r24 156r14 159r17 161r17 162r14 164r31 164r45 167r17 169r17 170r14 172r39
. 172r53 175r16 176r16 177r16 178r14 186r18 187r18 196r17 197r14 201r17 202r14
. 205r17 207r24 208r13 213r17 215r24 216r14 219r17 221r24 222r14 225r17 226r17
. 227r17 229r24 230r14 233r17 234r17 235r17 237r24 238r14 249r13 250r13 253r47
. 255r47 262r14 264r40 264r54 266r36 266r50 270r16 271r14 274r16 276r16 277r16
. 278r16 279r13 282r16 284r16 285r16 286r13 290r15 292r13 294r38 295r38 296r38
. 298r13 302r17 303r17 304r13 307r16 309r16 310r13 313r16 315r16 316r13 318r25
. 318r67 319r13 322r17 324r17 325r17 327r24 328r13 331r15 333r15 334r13 337r15
. 339r15 340r15 341r13 344r15 346r15 347r13 350r15 352r15 353r15 355r15 356r13
. 361r17 362r17 363r17 365r17 366r13 369r13 370r13 372r47 372r61 374r34 377r16
. 379r16 380r13 383r16 385r16 386r13 389r14 390r14 391r21 392r14
48K12*Strings=48:30 72r14 75r31 76r21 103r21 181r16 182r14 185r18 191r14
. 195r17 228r17 241r12 245r12 257r46 260r13 275r16 283r16 289r15 374r48
49k20*Pointers 75r11 83r10
55i4*Success{10|35I9}
56i4*Failure{10|35I9}
58P9*Int_Access(10|35I9) 59r26
62I9*pid_t<10|35I9> 63r26 210r29 264r27 358r29
65I9*mode_t<10|35I9> 66r26 291r15
68I9*key_t<10|35I9> 69r26 269r16
71A9*Chars_Ptr_Array(13|47P9)<10|60M9> 75r50
74K12*Chars_Ptr_Pointers[11|44] 104r21
79A9*In_Addr_Access_Array(16|51P9)<integer> 81r26 83r46
82K12*In_Addr_Access_Pointers[11|44] 107r21
87P9*Sockaddr_Access(16|58R9) 88r26 214r17
91P9*Sockaddr_In_Access(16|71R9) 92r26
95R9*Ip_Mreq 98e14 99r26
96r7*Imr_Multiaddr{16|45R9}
97r7*Imr_Interface{16|45R9}
102R9*Hostent 108e14 109r26 112r38
103p7*H_Name{13|47P9}
104p7*H_Aliases{11|47P9[74]}
105i7*H_Addrtype{10|35I9}
106i7*H_Length{10|35I9}
107p7*H_Addr_List{11|47P9[82]}
112P9*Hostent_Access(102R9) 113r26 188r14 192r14
116R9*Iovec 119e14 120r26
117m7*Iov_Base{17|67M9}
118i7*Iov_Len{25|54I9}
123R9*Msghdr 130e14 131r26 134r37
124m7*Msg_Name{17|67M9}
125i7*Msg_Namelen{10|35I9}
126m7*Msg_Iov{17|67M9}
127i7*Msg_Iovlen{10|35I9}
128m7*Msg_Accrights{17|67M9}
129i7*Msg_Accrightslen{10|35I9}
134P9*Msghdr_Access(123R9) 135r26 332r15 345r15
138A9*Two_Int(10|35I9)<integer> 139r26
142R9*Pollfd 146e14 147r26 149r54
143i7*Fd{10|35I9}
144i7*Events{10|36I9}
145i7*Revents{10|36I9}
149A9*Pollfd_Array(142R9)<integer> 150r26
152V13*C_Accept{10|35I9} 153>7 154>7 155^7 398b<c,accept>22
153i7 S{10|35I9}
154m7 Addr{17|67M9}
155p7 Addrlen(10|35I9)
158V13*C_Bind{10|35I9} 159>7 160>7 161>7 399b<c,bind>22
159i7 S{10|35I9}
160m7 Name{17|67M9}
161i7 Namelen{10|35I9}
164V13*C_Close{10|35I9} 164>22 400b<c,close>22
164i22 Fildes{10|35I9}
166V13*C_Connect{10|35I9} 167>7 168>7 169>7 401b<c,connect>22
167i7 S{10|35I9}
168m7 Name{17|67M9}
169i7 Namelen{10|35I9}
172V13*C_Dup2{10|35I9} 172>21 172>29 402b<c,dup2>22
172i21 Fildes{10|35I9}
172i29 Fildes2{10|35I9}
174V13*C_Fcntl{10|35I9} 175>7 176>7 177>7 403b<c,fcntl>22
175i7 Fildes{10|35I9}
176i7 Cmd{10|35I9}
177i7 Arg{10|35I9}
180V13*C_Getenv{13|47P9} 181>7 404b<c,getenv>22
181p7 Name{13|47P9}
184V13*C_Gethostbyaddr{112P9} 185>7 186>7 187>7 405b<c,gethostbyaddr>22
185p7 Addr{13|47P9}
186i7 Length{10|35I9}
187i7 Typ{10|35I9}
190V13*C_Gethostbyname{112P9} 191>7 406b<c,gethostbyname>22
191p7 Name{13|47P9}
194V13*C_Gethostname{10|35I9} 195>7 196>7 407b<c,gethostname>22
195p7 Name{13|47P9}
196i7 Namelen{10|35I9}
199V13*C_Gethostname{10|35I9} 200>7 201>7 407b<c,gethostname>22
200m7 Name{17|67M9}
201i7 Namelen{10|35I9}
204V13*C_Getpeername{10|35I9} 205>7 206>7 207^7 408b<c,getpeername>22
205i7 S{10|35I9}
206m7 Name{17|67M9}
207p7 Namelen(10|35I9)
210V13*C_Getpid{62I9} 409b<c,getpid>22
212V13*C_Getsockname{10|35I9} 213>7 214>7 215^7 410b<c,getsockname>22
213i7 S{10|35I9}
214p7 Name{87P9}
215p7 Namelen(10|35I9)
218V13*C_Getsockname{10|35I9} 219>7 220>7 221^7 410b<c,getsockname>22
219i7 S{10|35I9}
220m7 Name{17|67M9}
221p7 Namelen(10|35I9)
224V13*C_Getsockopt{10|35I9} 225>7 226>7 227>7 228>7 229^7 411b<c,getsockopt>22
225i7 S{10|35I9}
226i7 Level{10|35I9}
227i7 Optname{10|35I9}
228p7 Optval{13|47P9}
229p7 Optlen(10|35I9)
232V13*C_Getsockopt{10|35I9} 233>7 234>7 235>7 236>7 237^7 411b<c,getsockopt>22
233i7 S{10|35I9}
234i7 Level{10|35I9}
235i7 Optname{10|35I9}
236m7 Optval{17|67M9}
237p7 Optlen(10|35I9)
240V13*C_Inet_Addr{16|45R9} 241>7 412b<c,inet_addr>22
241p7 Cp{13|47P9}
244V13*C_Inet_Network{9|74M9} 245>7 413b<c,inet_network>22
245p7 Cp{13|47P9}
248V13*C_Inet_Makeaddr{16|45R9} 249>7 250>7 414b<c,inet_makeaddr>22
249i7 Net{10|35I9}
250i7 Lna{10|35I9}
253V13*C_Inet_Lnaof{10|35I9} 253>27 415b<c,inet_lnaof>22
253r27 I{16|45R9}
255V13*C_Inet_Netof{10|35I9} 255>27 416b<c,inet_netof>22
255r27 I{16|45R9}
257V13*C_Inet_Ntoa{13|47P9} 257>26 417b<c,inet_ntoa>22
257r26 I{16|45R9}
259V13*C_Inet_Aton{10|35I9} 260>8 261>8 418b<c,inet_aton>22
260p8 Cp{13|47P9}
261p8 I{16|51P9}
264V13*C_Kill{10|35I9} 264>21 264>34 419b<c,kill>22
264i21 Pid{62I9}
264i34 Sig{10|35I9}
266V13*C_Listen{10|35I9} 266>23 266>26 420b<c,listen>22
266i23 S{10|35I9}
266i26 Backlog{10|35I9}
268V13*C_Msgget{10|35I9} 269>7 270>7 421b<c,msgget>22
269i7 Key{68I9}
270i7 Msgflg{10|35I9}
273V13*C_Msgrcv{10|35I9} 274>7 275>7 276>7 277>7 278>7 422b<c,msgrcv>22
274i7 Msqid{10|35I9}
275p7 Msgp{13|47P9}
276i7 Msgsz{10|35I9}
277i7 Msgtyp{10|37I9}
278i7 Msgflg{10|35I9}
281V13*C_Msgsnd{10|35I9} 282>7 283>7 284>7 285>7 423b<c,msgsnd>22
282i7 Msqid{10|35I9}
283p7 Msgp{13|47P9}
284i7 Msgsz{10|35I9}
285i7 Msgflg{10|35I9}
288V13*C_Open{10|35I9} 289>7 290>7 291>7 424b<c,open>22
289p7 Path{13|47P9}
290i7 Oflag{10|35I9}
291i7 Mode{65I9}
294V13*C_Socketpair{10|35I9} 294>27 295>27 296>27 297>27 425b<c,socketpair>22
294i27 Domain{10|35I9}
295i27 Typ{10|35I9}
296i27 Protocol{10|35I9}
297m27 Filedes{17|67M9}
300V13*C_Poll{10|35I9} 301>7 302>7 303>7 426b<c,poll>22
301m7 Fds{17|67M9}
302m7 Nfds{10|45M9}
303i7 Timeout{10|35I9}
306V13*C_Read{10|35I9} 307>7 308>7 309>7 427b<c,read>22
307i7 Fildes{10|35I9}
308m7 Buf{17|67M9}
309i7 Nbyte{10|35I9}
312V13*C_Readv{10|35I9} 313>7 314>7 315>7 428b<c,readv>22
313i7 Fildes{10|35I9}
314m7 Iov{17|67M9}
315i7 Iovcnt{10|35I9}
318V13*C_Recv{10|35I9} 318>21 318>32 318>54 318>59 429b<c,recv>22
318i21 S{10|35I9}
318m32 Buf{17|67M9}
318i54 Len{10|35I9}
318i59 Flags{10|35I9}
321V13*C_Recvfrom{10|35I9} 322>7 323>7 324>7 325>7 326>7 327^7 430b<c,recvfrom>22
322i7 S{10|35I9}
323m7 Buf{17|67M9}
324i7 Len{10|35I9}
325i7 Flags{10|35I9}
326m7 From{17|67M9}
327p7 Fromlen(10|35I9)
330V13*C_Recvmsg{10|35I9} 331>7 332>7 333>7 431b<c,recvmsg>22
331i7 S{10|35I9}
332p7 Msg{134P9}
333i7 Flags{10|35I9}
336V13*C_Send{10|35I9} 337>7 338>7 339>7 340>7 432b<c,send>22
337i7 S{10|35I9}
338m7 Msg{17|67M9}
339i7 Len{10|35I9}
340i7 Flags{10|35I9}
343V13*C_Sendmsg{10|35I9} 344>7 345>7 346>7 433b<c,sendmsg>22
344i7 S{10|35I9}
345p7 Msg{134P9}
346i7 Flags{10|35I9}
349V13*C_Sendto{10|35I9} 350>7 351>7 352>7 353>7 354>7 355>7 434b<c,sendto>22
350i7 S{10|35I9}
351m7 Msg{17|67M9}
352i7 Len{10|35I9}
353i7 Flags{10|35I9}
354m7 To{17|67M9}
355i7 Tolen{10|35I9}
358V13*C_Setsid{62I9} 435b<c,setsid>22
360V13*C_Setsockopt{10|35I9} 361>7 362>7 363>7 364>7 365>7 436b<c,setsockopt>22
361i7 S{10|35I9}
362i7 Level{10|35I9}
363i7 Optname{10|35I9}
364m7 Optval{17|67M9}
365i7 Optlen{10|35I9}
368U14*C_Shutdown 369>7 370>7 437b<c,shutdown>22
369i7 S{10|35I9}
370i7 How{10|35I9}
372V13*C_Socket{10|35I9} 372>23 372>31 372>36 438b<c,socket>22
372i23 Domain{10|35I9}
372i31 Typ{10|35I9}
372i36 Protocol{10|35I9}
374V13*C_Strerror{13|47P9} 374>25 439b<c,strerror>22
374i25 Errnum{10|35I9}
376V13*C_Write{10|35I9} 377>7 378>7 379>7 440b<c,write>22
377i7 Fildes{10|35I9}
378m7 Buf{17|67M9}
379i7 Nbyte{10|35I9}
382V13*C_Writev{10|35I9} 383>7 384>7 385>7 441b<c,writev>22
383i7 Fildes{10|35I9}
384m7 Iov{17|67M9}
385i7 Iovcnt{10|35I9}
388V13*C_Ioctl{10|35I9} 389>7 390>7 391^7 442b<c,ioctl>22
389i7 S{10|35I9}
390i7 Req{10|35I9}
391p7 Arg(10|35I9)
394V13*Errno{integer} 444b13
X 16 sockets-types.ads
41K17*Types 15|42w14 42r43 242r14 16|93e18
45R9*In_Addr 15|96r23 97r23 242r20 251r14 253r31 255r31 257r30 16|47e14
51P9*In_Addr_Access(45R9) 15|80r17 83r30 261r13
55r4*Inaddr_Any{45R9} 15|97r34
58R9*Sockaddr 15|87r39 16|63e14
71R9*Sockaddr_In 15|91r42 16|78e14
X 17 system.ads
37K9*System 15|43r6 117r18 118r18 124r26 126r26 128r26 154r17 160r17 168r17
. 200r17 206r17 220r17 236r17 297r38 301r17 308r16 314r16 318r38 323r17 326r17
. 338r15 351r15 354r15 364r17 378r16 384r16 17|156e11
67M9*Address 15|117r25 124r33 126r33 128r33 154r24 160r24 168r24 200r24 206r24
. 220r24 236r24 297r45 301r24 308r23 314r23 318r45 323r24 326r24 338r22 351r22
. 354r22 364r24 378r23 384r23
X 19 s-os_lib.ads
1016V13*Errno{integer} 15|444r54
X 25 s-stoele.ads
42K16*Storage_Elements 15|43w13 118r25 25|117e28
54I9*Storage_Offset<long_integer> 15|118r42
|