function Resolve_Error
(Error_Value : Integer;
From_Errno : Boolean := True) return Error_Type;
- -- Associate an enumeration value (error_type) to en error value
- -- (errno). From_Errno prevents from mixing h_errno with errno.
+ -- Associate an enumeration value (error_type) to en error value (errno).
+ -- From_Errno prevents from mixing h_errno with errno.
function To_Name (N : String) return Name_Type;
function To_String (HN : Name_Type) return String;
function Image
(Val : Inet_Addr_VN_Type;
Hex : Boolean := False) return String;
- -- Output an array of inet address components either in
- -- hexadecimal or in decimal mode.
+ -- Output an array of inet address components in hex or decimal mode
function Is_IP_Address (Name : String) return Boolean;
- -- Return true when Name is an IP address in standard dot notation.
+ -- Return true when Name is an IP address in standard dot notation
function To_In_Addr (Addr : Inet_Addr_Type) return Thin.In_Addr;
function To_Inet_Addr (Addr : In_Addr) return Inet_Addr_Type;
-- Separate Val in seconds and microseconds
procedure Raise_Socket_Error (Error : Integer);
- -- Raise Socket_Error with an exception message describing
- -- the error code.
+ -- Raise Socket_Error with an exception message describing the error code
procedure Raise_Host_Error (Error : Integer);
- -- Raise Host_Error exception with message describing error code
- -- (note hstrerror seems to be obsolete).
+ -- Raise Host_Error exception with message describing error code (note
+ -- hstrerror seems to be obsolete).
procedure Narrow (Item : in out Socket_Set_Type);
-- Update Last as it may be greater than the real last socket
Raise_Socket_Error (Socket_Errno);
end if;
- -- If Select was resumed because of read signalling socket,
- -- read this data and remove socket from set.
+ -- If Select was resumed because of read signalling socket, read this
+ -- data and remove socket from set.
if Is_Set (RSet, Selector.R_Sig_Socket) then
Clear (RSet, Selector.R_Sig_Socket);
Status := Expired;
end if;
- -- Update RSet, WSet and ESet in regard to their new socket
- -- sets.
+ -- Update RSet, WSet and ESet in regard to their new socket sets
Narrow (RSet);
Narrow (WSet);
Socket : Socket_Type)
is
Last : aliased C.int := C.int (Item.Last);
-
begin
if Item.Last /= No_Socket then
Remove_Socket_From_Set (Item.Set, C.int (Socket));
begin
begin
Close_Socket (Selector.R_Sig_Socket);
-
exception
when Socket_Error =>
null;
begin
Close_Socket (Selector.W_Sig_Socket);
-
exception
when Socket_Error =>
null;
when N_Bytes_To_Read =>
Request.Size := Natural (Arg);
-
end case;
end Control_Socket;
begin
-- We open two signalling sockets. One of them is used to send data to
- -- send data to the other, which is included in a C_Select socket set.
- -- The communication is used to force the call to C_Select to complete,
- -- and the waiting task to resume its execution.
+ -- the other, which is included in a C_Select socket set. The
+ -- communication is used to force the call to C_Select to complete, and
+ -- the waiting task to resume its execution.
-- Create a listening socket
S0 := C_Socket (Constants.AF_INET, Constants.SOCK_STREAM, 0);
+
if S0 = Failure then
Raise_Socket_Error (Socket_Errno);
end if;
Sin.Sin_Port := 0;
Res := C_Bind (S0, Sin'Address, Len);
+
if Res = Failure then
Err := Socket_Errno;
Res := C_Close (S0);
begin
if Stream = null then
raise Socket_Error;
-
elsif Stream.all in Datagram_Socket_Stream_Type then
return Datagram_Socket_Stream_Type (Stream.all).From;
-
else
return Get_Peer_Name (Stream_Socket_Stream_Type (Stream.all).Socket);
end if;
declare
HE : constant Host_Entry_Type := To_Host_Entry (Res.all);
-
begin
Task_Lock.Unlock;
return HE;
procedure Img10 (V : Inet_Addr_Comp_Type) is
Img : constant String := V'Img;
Len : constant Natural := Img'Length - 1;
-
begin
Buffer (Length .. Length + Len - 1) := Img (2 .. Img'Last);
Length := Length + Len;
-- has the same in_addr_t value as Failure, and thus cannot be
-- properly returned by inet_addr(3).
- if Image (Image'Range) = "255.255.255.255" then
+ if Image = "255.255.255.255" then
return Broadcast_Inet_Addr;
+
+ -- Special case for an empty Image as on some platforms (e.g. Windows)
+ -- calling Inet_Addr("") will not return an error.
+
+ elsif Image = "" then
+ Raise_Socket_Error (Constants.EINVAL);
end if;
Img := New_String (Image);
Last := Index;
- -- Exit when all or zero data received. Zero means that
- -- the socket peer is closed.
+ -- Exit when all or zero data received. Zero means that the socket
+ -- peer is closed.
exit when Index < First or else Index = Max;
Receive_Socket (Stream.Socket, Item (First .. Max), Index);
Last := Index;
- -- Exit when all or zero data received. Zero means that
- -- the socket peer is closed.
+ -- Exit when all or zero data received. Zero means that the socket
+ -- peer is closed.
exit when Index < First or else Index = Max;
function Stream (Socket : Socket_Type) return Stream_Access is
S : Stream_Socket_Stream_Access;
-
begin
S := new Stream_Socket_Stream_Type;
S.Socket := Socket;
Aliases : constant Chars_Ptr_Array :=
Chars_Ptr_Pointers.Value (E.H_Aliases);
- -- H_Aliases points to a list of name aliases. The list is
- -- terminated by a NULL pointer.
+ -- H_Aliases points to a list of name aliases. The list is terminated by
+ -- a NULL pointer.
Addresses : constant In_Addr_Access_Array :=
In_Addr_Access_Pointers.Value (E.H_Addr_List);
- -- H_Addr_List points to a list of binary addresses (in network
- -- byte order). The list is terminated by a NULL pointer.
+ -- H_Addr_List points to a list of binary addresses (in network byte
+ -- order). The list is terminated by a NULL pointer.
--
-- H_Length is not used because it is currently only set to 4.
-- H_Addrtype is always AF_INET
Index,
Stream.To);
- -- Exit when all or zero data sent. Zero means that the
- -- socket has been closed by peer.
+ -- Exit when all or zero data sent. Zero means that the socket has
+ -- been closed by peer.
exit when Index < First or else Index = Max;
loop
Send_Socket (Stream.Socket, Item (First .. Max), Index);
- -- Exit when all or zero data sent. Zero means that the
- -- socket has been closed by peer.
+ -- Exit when all or zero data sent. Zero means that the socket has
+ -- been closed by peer.
exit when Index < First or else Index = Max;
projects / thirdparty / gcc.git / commitdiff
