Trurl-based/_Linux_/Lin/Mod/gen-Net/Net.txt.templ

   1 MODULE LinNet ["libc.so.6"];
   2
   3         (*
   4                 A. V. Shiryaev, 2012.11
   5
   6                 GNU/Linux
   7                 32-bit
   8         *)
   9
  10         IMPORT Libc := LinLibc;
  11
  12         CONST
  13                 INVALID_SOCKET* = -1;
  14                 SOCKET_ERROR* = -1;
  15
  16                 (* /usr/include/i386-linux-gnu/bits/socket.h *)
  17                         SHUT_RD* = 0;
  18                         SHUT_WR* = 1;
  19                         SHUT_RDWR* = 2;
  20 %%defs-sock%%
  21 %%defs-socket%%
  22                 (* /usr/include/asm-generic/socket.h *)
  23 %%defs-so%%
  24                 (* /usr/include/netinet/in.h *)
  25                         INADDR_NONE* = -1;
  26 %%defs-in%%
  27                 (* /usr/include/asm-generic/param.h *)
  28                         MAXHOSTNAMELEN* = 64; (* max length of hostname *)
  29
  30                 (* /usr/include/netdb.h *)
  31 %%defs-netdb%%
  32                 (* /usr/include/i386-linux-gnu/bits/typesizes.h *)
  33                         __FD_SETSIZE = 1024;
  34                         __NFDBITS = SIZE(SET) * 8;
  35
  36         TYPE
  37                 SOCKET* = INTEGER;
  38
  39                 (* /usr/include/i386-linux-gnu/bits/types.h *)
  40                         socklen_t* = INTEGER;
  41                 (* /usr/include/i386-linux-gnu/bits/sockaddr.h *)
  42                         sa_family_t* = SHORTINT; (* unsigned short int *)
  43                 (* /usr/include/netinet/in.h *)
  44                         in_addr_t* = INTEGER;
  45                         in_port_t* = SHORTINT;
  46
  47                 (* /usr/include/i386-linux-gnu/bits/socket.h *)
  48                         sockaddr* = RECORD [untagged]
  49                                 sa_family: sa_family_t;
  50                                 sa_data: ARRAY [untagged] 14 OF SHORTCHAR;
  51                         END;
  52
  53                 (* /usr/include/linux/in.h *)
  54 (*
  55                         in_addr* = INTEGER;
  56 *)
  57                         in_addr* = RECORD [untagged]
  58                                 S_un*: RECORD [union]
  59                                         S_un_b*: RECORD [untagged]
  60                                                 s_b1*: SHORTCHAR;
  61                                                 s_b2*: SHORTCHAR;
  62                                                 s_b3*: SHORTCHAR;
  63                                                 s_b4*: SHORTCHAR;
  64                                         END;
  65                                         S_un_w*: RECORD [untagged]
  66                                                 s_w1*: SHORTINT;
  67                                                 s_w2*: SHORTINT;
  68                                         END;
  69                                         S_addr*: in_addr_t;
  70                                 END;
  71                         END;
  72
  73                 (* /usr/include/linux/in.h *)
  74                         sockaddr_in* = RECORD [untagged]
  75                                 sin_family*: sa_family_t; (* address family *)
  76                                 sin_port*: SHORTINT; (* port number *)
  77                                 sin_addr*: in_addr; (* internet address *)
  78                                 __pad: ARRAY [untagged] 8 OF SHORTCHAR;
  79                         END;
  80
  81                 (* /usr/include/netdb.h *)
  82                         Ptrhostent* = POINTER TO hostent;
  83                         hostent* = RECORD [untagged]
  84                                 h_name*: Libc.PtrSTR; (* official name of host *)
  85                                 h_aliases*: POINTER TO ARRAY [untagged] OF Libc.PtrSTR; (* alias list *)
  86                                 h_addrtype*: INTEGER; (* host address type *)
  87                                 h_length*: INTEGER; (* length of address *)
  88                                 h_addr_list*: POINTER TO ARRAY [untagged] OF POINTER TO ARRAY [untagged] OF in_addr; (* list of addresses from name server *)
  89                         END;
  90
  91                 (* /usr/include/linux/time.h *)
  92                 (* /usr/include/asm-generic/posix_types.h *)
  93                         timeval* = RECORD [untagged]
  94                                 tv_sec*: INTEGER; (* seconds *)
  95                                 tv_usec*: INTEGER; (* microseconds *)
  96                         END;
  97
  98                 (* /usr/include/i386-linux-gnu/sys/select.h *)
  99                         __fd_mask = SET;
 100                         fd_set* = ARRAY [untagged] __FD_SETSIZE DIV __NFDBITS OF __fd_mask;
 101
 102         VAR
 103                 h_errno*: INTEGER;
 104
 105         PROCEDURE [ccall] socket* (domain: INTEGER; type: INTEGER; protocol: INTEGER): SOCKET;
 106         PROCEDURE [ccall] accept* (sockfd: SOCKET; VAR addr: sockaddr; VAR addrlen: socklen_t): SOCKET;
 107         PROCEDURE [ccall] bind* (sockfd: SOCKET; VAR addr: sockaddr; addrlen: socklen_t): INTEGER;
 108         PROCEDURE [ccall] connect* (sockfd: SOCKET; VAR addr: sockaddr; addrlen: socklen_t): INTEGER;
 109         PROCEDURE [ccall] listen* (sockfd: SOCKET; backlog: INTEGER): INTEGER;
 110         PROCEDURE [ccall] recv* (soskfd: SOCKET; buf: Libc.PtrVoid; len: Libc.size_t; flags: SET): Libc.ssize_t;
 111         PROCEDURE [ccall] send* (sockfd: SOCKET; buf: Libc.PtrVoid; len: Libc.size_t; flags: SET): Libc.ssize_t;
 112         PROCEDURE [ccall] shutdown* (sockfd: SOCKET; how: INTEGER): INTEGER;
 113         PROCEDURE [ccall] getsockopt* (sockfd: SOCKET; level: INTEGER; optname: SET; optval: Libc.PtrVoid; VAR optlen: socklen_t): INTEGER;
 114         PROCEDURE [ccall] setsockopt* (sockfd: SOCKET; level: INTEGER; optname: SET; optval: Libc.PtrVoid; optlen: socklen_t): INTEGER;
 115
 116         PROCEDURE [ccall] htons* (hostshort: SHORTINT): SHORTINT;
 117
 118         PROCEDURE [ccall] gethostbyname* (name: Libc.PtrSTR): Ptrhostent;
 119         PROCEDURE [ccall] inet_addr* (cp: Libc.PtrSTR): in_addr_t;
 120
 121         PROCEDURE [ccall] getsockname* (sockfd: SOCKET; VAR addr: sockaddr; VAR addrlen: socklen_t): INTEGER;
 122
 123         PROCEDURE [ccall] hstrerror* (err: INTEGER): Libc.PtrSTR;
 124
 125 (*
 126         PROCEDURE FD_ZERO (VAR set: Net.fd_set);
 127                 VAR i: INTEGER;
 128         BEGIN
 129                 i := 0; WHILE i < LEN(set) DO set[i] := {}; INC(i) END
 130         END FD_ZERO;
 131
 132         PROCEDURE FD_SET (fd: Net.SOCKET; VAR set: Net.fd_set);
 133         BEGIN
 134                 INCL(set[fd DIV 32], fd MOD 32)
 135         END FD_SET;
 136 *)
 137
 138         PROCEDURE [ccall] select* (nfds: INTEGER; VAR [nil] readfds: fd_set; VAR [nil] writefds: fd_set; VAR [nil] exceptfds: fd_set; VAR timeout: timeval): INTEGER;
 139
 140 END LinNet.