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;