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.