gcc/ada/g-socthi-vxworks.ads

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT COMPILER COMPONENTS                         --
   4 --                                                                          --
   5 --                    G N A T . S O C K E T S . T H I N                     --
   6 --                                                                          --
   7 --                                 S p e c                                  --
   8 --                                                                          --
   9 --                     Copyright (C) 2002-2009, AdaCore                     --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  17 -- for  more details.  You should have  received  a copy of the GNU General --
  18 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  19 -- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
  20 -- Boston, MA 02110-1301, USA.                                              --
  21 --                                                                          --
  22 -- As a special exception,  if other files  instantiate  generics from this --
  23 -- unit, or you link  this unit with other files  to produce an executable, --
  24 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
  25 -- covered  by the  GNU  General  Public  License.  This exception does not --
  26 -- however invalidate  any other reasons why  the executable file  might be --
  27 -- covered by the  GNU Public License.                                      --
  28 --                                                                          --
  29 -- GNAT was originally developed  by the GNAT team at  New York University. --
  30 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  31 --                                                                          --
  32 ------------------------------------------------------------------------------
  33
  34 --  This package provides a target dependent thin interface to the sockets
  35 --  layer for use by the GNAT.Sockets package (g-socket.ads). This package
  36 --  should not be directly with'ed by an applications program.
  37
  38 --  This is the version for VxWorks
  39
  40 with Interfaces.C.Strings;
  41
  42 with GNAT.OS_Lib;
  43 with GNAT.Sockets.Thin_Common;
  44
  45 with System;
  46
  47 package GNAT.Sockets.Thin is
  48
  49    use Thin_Common;
  50
  51    package C renames Interfaces.C;
  52
  53    use type C.size_t;
  54    type ssize_t is range -(2 ** (C.size_t'Size - 1))
  55      .. +(2 ** (C.size_t'Size - 1) - 1);
  56    --  Signed type of the same size as size_t
  57
  58    function Socket_Errno return Integer renames GNAT.OS_Lib.Errno;
  59    --  Returns last socket error number
  60
  61    procedure Set_Socket_Errno (Errno : Integer) renames GNAT.OS_Lib.Set_Errno;
  62    --  Set last socket error number
  63
  64    function Socket_Error_Message (Errno : Integer) return C.Strings.chars_ptr;
  65    --  Returns the error message string for the error number Errno. If Errno is
  66    --  not known, returns "Unknown system error".
  67
  68    function Host_Errno return Integer;
  69    pragma Import (C, Host_Errno, "__gnat_get_h_errno");
  70    --  Returns last host error number
  71
  72    package Host_Error_Messages is
  73
  74       function Host_Error_Message
  75         (H_Errno : Integer) return C.Strings.chars_ptr;
  76       --  Returns the error message string for the host error number H_Errno.
  77       --  If H_Errno is not known, returns "Unknown system error".
  78
  79    end Host_Error_Messages;
  80
  81    --------------------------------
  82    -- Standard library functions --
  83    --------------------------------
  84
  85    function C_Accept
  86      (S       : C.int;
  87       Addr    : System.Address;
  88       Addrlen : not null access C.int) return C.int;
  89
  90    function C_Bind
  91      (S       : C.int;
  92       Name    : System.Address;
  93       Namelen : C.int) return C.int;
  94
  95    function C_Close
  96      (Fd : C.int) return C.int;
  97
  98    function C_Connect
  99      (S       : C.int;
 100       Name    : System.Address;
 101       Namelen : C.int) return C.int;
 102
 103    function C_Gethostname
 104      (Name    : System.Address;
 105       Namelen : C.int) return C.int;
 106
 107    function C_Getpeername
 108      (S       : C.int;
 109       Name    : System.Address;
 110       Namelen : not null access C.int) return C.int;
 111
 112    function C_Getsockname
 113      (S       : C.int;
 114       Name    : System.Address;
 115       Namelen : not null access C.int) return C.int;
 116
 117    function C_Getsockopt
 118      (S       : C.int;
 119       Level   : C.int;
 120       Optname : C.int;
 121       Optval  : System.Address;
 122       Optlen  : not null access C.int) return C.int;
 123
 124    function Socket_Ioctl
 125      (S   : C.int;
 126       Req : C.int;
 127       Arg : access C.int) return C.int;
 128
 129    function C_Listen
 130      (S       : C.int;
 131       Backlog : C.int) return C.int;
 132
 133    function C_Recv
 134      (S     : C.int;
 135       Msg   : System.Address;
 136       Len   : C.int;
 137       Flags : C.int) return C.int;
 138
 139    function C_Recvfrom
 140      (S       : C.int;
 141       Msg     : System.Address;
 142       Len     : C.int;
 143       Flags   : C.int;
 144       From    : System.Address;
 145       Fromlen : not null access C.int) return C.int;
 146
 147    function C_Recvmsg
 148      (S     : C.int;
 149       Msg   : System.Address;
 150       Flags : C.int) return ssize_t;
 151
 152    function C_Select
 153      (Nfds      : C.int;
 154       Readfds   : access Fd_Set;
 155       Writefds  : access Fd_Set;
 156       Exceptfds : access Fd_Set;
 157       Timeout   : Timeval_Access) return C.int;
 158
 159    function C_Sendmsg
 160      (S     : C.int;
 161       Msg   : System.Address;
 162       Flags : C.int) return ssize_t;
 163
 164    function C_Sendto
 165      (S     : C.int;
 166       Msg   : System.Address;
 167       Len   : C.int;
 168       Flags : C.int;
 169       To    : System.Address;
 170       Tolen : C.int) return C.int;
 171
 172    function C_Setsockopt
 173      (S       : C.int;
 174       Level   : C.int;
 175       Optname : C.int;
 176       Optval  : System.Address;
 177       Optlen  : C.int) return C.int;
 178
 179    function C_Shutdown
 180      (S   : C.int;
 181       How : C.int) return C.int;
 182
 183    function C_Socket
 184      (Domain   : C.int;
 185       Typ      : C.int;
 186       Protocol : C.int) return C.int;
 187
 188    function C_System
 189      (Command : System.Address) return C.int;
 190
 191    -------------------------------------------------------
 192    -- Signalling file descriptors for selector abortion --
 193    -------------------------------------------------------
 194
 195    package Signalling_Fds is
 196
 197       function Create (Fds : not null access Fd_Pair) return C.int;
 198       pragma Convention (C, Create);
 199       --  Create a pair of connected descriptors suitable for use with C_Select
 200       --  (used for signalling in Selector objects).
 201
 202       function Read (Rsig : C.int) return C.int;
 203       pragma Convention (C, Read);
 204       --  Read one byte of data from rsig, the read end of a pair of signalling
 205       --  fds created by Create_Signalling_Fds.
 206
 207       function Write (Wsig : C.int) return C.int;
 208       pragma Convention (C, Write);
 209       --  Write one byte of data to wsig, the write end of a pair of signalling
 210       --  fds created by Create_Signalling_Fds.
 211
 212       procedure Close (Sig : C.int);
 213       pragma Convention (C, Close);
 214       --  Close one end of a pair of signalling fds (ignoring any error)
 215
 216    end Signalling_Fds;
 217
 218    procedure Initialize;
 219    procedure Finalize;
 220
 221 private
 222    pragma Import (C, C_Bind, "bind");
 223    pragma Import (C, C_Close, "close");
 224    pragma Import (C, C_Gethostname, "gethostname");
 225    pragma Import (C, C_Getpeername, "getpeername");
 226    pragma Import (C, C_Getsockname, "getsockname");
 227    pragma Import (C, C_Getsockopt, "getsockopt");
 228    pragma Import (C, C_Listen, "listen");
 229    pragma Import (C, C_Select, "select");
 230    pragma Import (C, C_Setsockopt, "setsockopt");
 231    pragma Import (C, C_Shutdown, "shutdown");
 232    pragma Import (C, C_System, "system");
 233 end GNAT.Sockets.Thin;