FOREIGN MODULE javax_net;

IMPORT
    java_net := "java.net",
    java_lang := "java.lang";

TYPE

  ServerSocketFactory* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                         STATIC
                           PROCEDURE getDefault*() : ServerSocketFactory;
                           PROCEDURE Init!() : ServerSocketFactory,CONSTRUCTOR;
                         END;

  SocketFactory* = POINTER TO ABSTRACT RECORD (java_lang.Object)    (* Typebound Procedures *)
                   STATIC
                     PROCEDURE getDefault*() : SocketFactory;
                     PROCEDURE Init!() : SocketFactory,CONSTRUCTOR;
                   END;




PROCEDURE (self:ServerSocketFactory) createServerSocket*(p0 : INTEGER;
                                                         p1 : INTEGER) : java_net.ServerSocket,NEW,ABSTRACT;

PROCEDURE (self:ServerSocketFactory) createServerSocket*(p0 : INTEGER;
                                                         p1 : INTEGER;
                                                         p2 : java_net.InetAddress) : java_net.ServerSocket,NEW,ABSTRACT;

PROCEDURE (self:ServerSocketFactory) createServerSocket*() : java_net.ServerSocket,NEW,EXTENSIBLE;

PROCEDURE (self:ServerSocketFactory) createServerSocket*(p0 : INTEGER) : java_net.ServerSocket,NEW,ABSTRACT;

PROCEDURE (self:SocketFactory) createSocket*(p0 : java_net.InetAddress;
                                             p1 : INTEGER) : java_net.Socket,NEW,ABSTRACT;

PROCEDURE (self:SocketFactory) createSocket*(p0 : java_net.InetAddress;
                                             p1 : INTEGER;
                                             p2 : java_net.InetAddress;
                                             p3 : INTEGER) : java_net.Socket,NEW,ABSTRACT;

PROCEDURE (self:SocketFactory) createSocket*(p0 : java_lang.String;
                                             p1 : INTEGER;
                                             p2 : java_net.InetAddress;
                                             p3 : INTEGER) : java_net.Socket,NEW,ABSTRACT;

PROCEDURE (self:SocketFactory) createSocket*() : java_net.Socket,NEW,EXTENSIBLE;

PROCEDURE (self:SocketFactory) createSocket*(p0 : java_lang.String;
                                             p1 : INTEGER) : java_net.Socket,NEW,ABSTRACT;

END javax_net.