Package Name: java.net.inetaddress

Return to: Package List

with java.lang.String; use java.lang.String;
with java.lang; use java.lang;

package java.net.InetAddress is
    type InetAddress_Obj is tagged limited null record;

    type InetAddress_Ptr is access all InetAddress_Obj;

    function getHostName(Obj : access InetAddress_Obj) return String_Ptr;

    function getAddress(Obj : access InetAddress_Obj) return String;

    function hashCode(Obj : access InetAddress_Obj) return Integer;
    function "="(Left, Right : InetAddress_Obj) return Boolean;

    pragma Import(Ada, "=", "equals");

    function toString(Obj : access InetAddress_Obj) return String_Ptr;
    function getByName(
        host : String_Ptr)

      return InetAddress_Ptr;

    type InetAddress_Array is array(Positive range <>) of InetAddress_Ptr;
    function getAllByName(
        host : String_Ptr)

      return InetAddress_Array;

    function getLocalHost return InetAddress_Ptr;
    pragma Import(Java, getByName);
    pragma Import(Java, getLocalHost);
    pragma Import(Java, hashCode);
    pragma Import(Java, getHostName);
    pragma Import(Java, getAddress);
    pragma Import(Java, toString);


    pragma Import(Java, getAllByName);
end java.net.InetAddress;