libadasockets6-dev 1.9-1.1 / usr / lib / ada / adalib / adasockets / sockets-thin.ali

V "GNAT Lib v6"
A -O2
A -gnatp
A -gnatn
A -gnatg
P SS ZX

RN
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_EXCEPTIONS
RV NO_IMPLICIT_LOOPS
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 sockets.thin%s	sockets-thin.ads	f94d7074 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		20070406091342 3ffc8e18 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		20070406091342 f9eb8f06 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		20151118101227 4be8ce1b 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		20140802174708 e35c93b3 sockets%s
D sockets-thin.ads	20160726115709 725bfdbd sockets.thin%s
D sockets-types.ads	20160726115703 92a98f6e sockets.types%s
D system.ads		20151123113124 6326c08a system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-exctab.adb		20140611105235 c756f391 system.exception_table%b
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-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 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 183e15 15|40r6 41r6 47r22 246r14
73M9*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{26|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|73M9} 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 20 s-os_lib.ads
992V13*Errno{integer} 15|444r54
X 26 s-stoele.ads
42K16*Storage_Elements 15|43w13 118r25 26|117e28
54I9*Storage_Offset<long_integer> 15|118r42