/usr/share/ada/adainclude/adasockets/sockets-naming.ads is in libadasockets7-dev 1.10.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 | -----------------------------------------------------------------------------
-- --
-- ADASOCKETS COMPONENTS --
-- --
-- S O C K E T S . N A M I N G --
-- --
-- S p e c --
-- --
-- Copyright (C) 1998-2015 Samuel Tardieu <sam@rfc1149.net> --
-- Copyright (C) 1999-2003 Télécom ParisTech --
-- --
-- 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.rfc1149.net/devel/adasockets.html --
-- --
-- If you have any question, please use the issues tracker at: --
-- https://github.com/samueltardieu/adasockets/issues --
-- --
-----------------------------------------------------------------------------
with Ada.Finalization;
with Sockets.Types;
package Sockets.Naming is
type String_Access is access String;
type String_Array is array (Positive range <>) of String_Access;
subtype Address_Component is Natural range 0 .. 255;
type Address is record
H1, H2, H3, H4 : Address_Component;
end record;
-- An IPv4 address such as 137.194.160.12
type Address_Array is array (Positive range <>) of Address;
type Host_Entry (N_Aliases, N_Addresses : Natural) is
new Ada.Finalization.Controlled with record
Name : String_Access;
Aliases : String_Array (1 .. N_Aliases);
Addresses : Address_Array (1 .. N_Addresses);
end record;
-- A complete host structure. A host may have several IP addresses as
-- well as several aliases.
procedure Adjust (Object : in out Host_Entry);
procedure Finalize (Object : in out Host_Entry);
Naming_Error : exception;
-- This exception is raised when a name cannot be resolved
function Image (Add : Address) return String;
-- The dotted form corresponding to an IP address
function Image (Add : Types.In_Addr) return String;
-- The dotted form corresponding to the packed form of an IP address
function Value (Add : String) return Address;
-- The IP address corresponding to a dotted form
function Info_Of (Name : String)
return Host_Entry;
-- Host entry of an IP name
function Info_Of (Addr : Address)
return Host_Entry;
-- Host entry of an IP address
function Is_IP_Address (Something : String) return Boolean;
-- Return True if the name looks like an IP address, False otherwise
function Info_Of_Name_Or_IP (Something : String)
return Host_Entry;
-- Host entry of an IP name or a dotted form
function Address_Of (Something : String) return Address;
-- Address of an IP name or a dotted form
function Host_Name return String;
-- Return the name of the current host
function Name_Of (Something : String) return String;
-- Return the official name of an IP name or a dotted form
function To_In_Addr (Addr : Address) return Types.In_Addr;
-- Convert an IP address to a In_Addr structure
function To_Address (Addr : Types.In_Addr) return Address;
-- Convert a In_Addr structure to an IP address
function Any_Address return Address;
-- Return the value of inaddr_any
function Get_Peer_Addr (Socket : Socket_FD) return Types.In_Addr;
-- Return the address of the peer in a dotted form
function Get_Peer_Addr (Socket : Socket_FD) return Address;
-- Ditto
function Get_Peer_Port (Socket : Socket_FD) return Positive;
-- Return the port of the peer
function Get_Sock_Addr (Socket : Socket_FD) return Types.In_Addr;
-- Return the local address of a bound socket
function Get_Sock_Addr (Socket : Socket_FD) return Address;
-- Ditto
function Get_Sock_Port (Socket : Socket_FD) return Positive;
-- Return the local port of a bound socket
end Sockets.Naming;
|