with java.lang; use java.lang;
with java.lang.String; use java.lang.String;
package java.net.SocketImpl is
    type SocketImpl_Obj is abstract new Object with null record;
    type SocketImpl_Ptr is access all SocketImpl_Obj'Class;
    function toString(Obj : access SocketImpl_Obj) return String_Ptr;
    procedure init_SocketImpl(Obj : access SocketImpl_Obj'Class);
    pragma Import(Java, toString);
    pragma Import(Java_Constructor, init_SocketImpl);
end java.net.SocketImpl;