Subversion Repositories openrisc

-----------------------------------------------------------------------------

--                                                                         --

--                         ADASOCKETS COMPONENTS                           --

--                                                                         --

--                             S O C K E T S                               --

--                                                                         --

--                                S p e c                                  --

--                                                                         --

--                        $ReleaseVersion: 0.1.3 $                         --

--                                                                         --

--  Copyright (C) 1998  École Nationale Supérieure des Télécommunications  --

--                                                                         --

--   AdaSockets is free software; you can  redistribute it and/or modify   --

--   it  under terms of the GNU  General  Public License as published by   --

--   the Free Software Foundation; either version 2, or (at your option)   --

--   any later version.   AdaSockets is distributed  in the hope that it   --

--   will be useful, but WITHOUT ANY  WARRANTY; without even the implied   --

--   warranty of MERCHANTABILITY   or FITNESS FOR  A PARTICULAR PURPOSE.   --

--   See the GNU General Public  License  for more details.  You  should   --

--   have received a copy of the  GNU General Public License distributed   --

--   with AdaSockets; see   file COPYING.  If  not,  write  to  the Free   --

--   Software  Foundation, 59   Temple Place -   Suite  330,  Boston, MA   --

--   02111-1307, USA.                                                      --

--                                                                         --

--   As a special exception, if  other  files instantiate generics  from   --

--   this unit, or  you link this  unit with other  files to produce  an   --

--   executable,  this  unit does  not  by  itself cause  the  resulting   --

--   executable to be  covered by the  GNU General Public License.  This   --

--   exception does  not  however invalidate any  other reasons  why the   --

--   executable file might be covered by the GNU Public License.           --

--                                                                         --

--   The main repository for this software is located at:                  --

--       http://www-inf.enst.fr/ANC/                                       --

--                                                                         --

-----------------------------------------------------------------------------

with Ada.Streams;

with Interfaces.C;

package Sockets is

   type Socket_FD is tagged private;

   --  A socket

   type Socket_Domain is (AF_INET);

   --  AF_INET: Internet sockets (yes, should be PF_INET, but they hold the

   --  same value)

   type Socket_Type is (SOCK_STREAM, SOCK_DGRAM);

   --  SOCK_STREAM: Stream mode   (TCP)

   --  SOCK_DGRAM:  Datagram mode (UDP, Multicast)

   procedure Socket

     (Sock   : out Socket_FD;

      Domain : in Socket_Domain := AF_INET;

      Typ    : in Socket_Type   := SOCK_STREAM);

   --  Create a socket of the given mode

   Connection_Refused : exception;

   procedure Connect

     (Socket : in Socket_FD;

      Host   : in String;

      Port   : in Positive);

   --  Connect a socket on a given host/port. Raise Connection_Refused if

   --  the connection has not been accepted by the other end.

   procedure Bind

     (Socket : in Socket_FD;

      Port   : in Positive);

   --  Bind a socket on a given port

   procedure Listen

     (Socket     : in Socket_FD;

      Queue_Size : in Positive := 5);

   --  Create a socket's listen queue

   type Socket_Level is (SOL_SOCKET, IPPROTO_IP);

   type Socket_Option is (SO_REUSEADDR, IP_MULTICAST_TTL,

                          IP_ADD_MEMBERSHIP, IP_DROP_MEMBERSHIP,

                          IP_MULTICAST_LOOP);

   procedure Setsockopt

     (Socket  : in Socket_FD'Class;

      Level   : in Socket_Level := SOL_SOCKET;

      Optname : in Socket_Option;

      Optval  : in Integer);

   --  Set a socket option

   generic

      Level   : Socket_Level;

      Optname : Socket_Option;

      type Opt_Type is private;

   procedure Customized_Setsockopt (Socket : in Socket_FD'Class;

                                    Optval : in Opt_Type);

   --  Low level control on setsockopt

   procedure Accept_Socket (Socket     : in Socket_FD;

                            New_Socket : out Socket_FD);

   --  Accept a connection on a socket

   Connection_Closed : exception;

   procedure Send (Socket : in Socket_FD;

                   Data   : in Ada.Streams.Stream_Element_Array);

   --  Send data on a socket. Raise Connection_Closed if the socket

   --  has been closed.

   function Receive (Socket : Socket_FD;

                     Max    : Ada.Streams.Stream_Element_Count := 4096)

     return Ada.Streams.Stream_Element_Array;

   --  Receive data from a socket. May raise Connection_Closed

   procedure Receive (Socket : in Socket_FD'Class;

                      Data   : out Ada.Streams.Stream_Element_Array);

   --  Fill data from a socket. Raise Connection_Closed if the socket has

   --  been closed before the end of the array.

   type Shutdown_Type is (Receive, Send, Both);

   procedure Shutdown (Socket : in Socket_FD;

                       How    : in Shutdown_Type := Both);

   --  Close a previously opened socket

   ---------------------------------

   -- String-oriented subprograms --

   ---------------------------------

   procedure Put (Socket : in Socket_FD'Class;

                  Str    : in String);

   --  Send a string on the socket

   procedure New_Line (Socket : in Socket_FD'Class;

                       Count  : in Natural := 1);

   --  Send CR/LF sequences on the socket

   procedure Put_Line (Socket : in Socket_FD'Class;

                       Str    : in String);

   --  Send a string + CR/LF on the socket

   function Get (Socket : Socket_FD'Class) return String;

   --  Get a string from the socket

   function Get_Line (Socket : Socket_FD'Class) return String;

   --  Get a full line from the socket. CR is ignored and LF is considered

   --  as an end-of-line marker.

private

   type Socket_FD is tagged record

      FD : Interfaces.C.int;

   end record;

end Sockets;