FOREIGN MODULE java_net; IMPORT java_lang, java_io, sun_misc, java_security, java_util_jar, java_util, sun_security_util, java_security_cert; TYPE Authenticator* = POINTER TO ABSTRACT RECORD (java_lang.Object) STATIC PROCEDURE Init*() : Authenticator,CONSTRUCTOR; PROCEDURE requestPasswordAuthentication*(p0 : InetAddress; p1 : INTEGER; p2 : java_lang.String; p3 : java_lang.String; p4 : java_lang.String) : PasswordAuthentication; PROCEDURE setDefault*(p0 : Authenticator); END; BindException* = POINTER TO EXTENSIBLE RECORD (SocketException) STATIC PROCEDURE Init*() : BindException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : BindException,CONSTRUCTOR; END; ConnectException* = POINTER TO EXTENSIBLE RECORD (SocketException) STATIC PROCEDURE Init*() : ConnectException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : ConnectException,CONSTRUCTOR; END; ContentHandler* = POINTER TO ABSTRACT RECORD (java_lang.Object) STATIC PROCEDURE Init*() : ContentHandler,CONSTRUCTOR; END; ContentHandlerFactory* = POINTER TO INTERFACE RECORD (java_lang.Object) END; DatagramPacket* = POINTER TO RECORD (java_lang.Object) STATIC PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER) : DatagramPacket,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER) : DatagramPacket,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER; p3 : InetAddress; p4 : INTEGER) : DatagramPacket,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : InetAddress; p3 : INTEGER) : DatagramPacket,CONSTRUCTOR; END; DatagramSocket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC PROCEDURE Init*() : DatagramSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : DatagramSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : InetAddress) : DatagramSocket,CONSTRUCTOR; END; DatagramSocketImpl* = POINTER TO ABSTRACT RECORD (java_lang.Object + SocketOptions) localPort! : INTEGER; fd! : java_io.FileDescriptor; STATIC PROCEDURE Init*() : DatagramSocketImpl,CONSTRUCTOR; END; FileNameMap* = POINTER TO INTERFACE RECORD (java_lang.Object) END; HttpURLConnection* = POINTER TO ABSTRACT RECORD (URLConnection) method! : java_lang.String; responseCode! : INTEGER; responseMessage! : java_lang.String; STATIC HTTP_OK* = 200; HTTP_CREATED* = 201; HTTP_ACCEPTED* = 202; HTTP_NOT_AUTHORITATIVE* = 203; HTTP_NO_CONTENT* = 204; HTTP_RESET* = 205; HTTP_PARTIAL* = 206; HTTP_MULT_CHOICE* = 300; HTTP_MOVED_PERM* = 301; HTTP_MOVED_TEMP* = 302; HTTP_SEE_OTHER* = 303; HTTP_NOT_MODIFIED* = 304; HTTP_USE_PROXY* = 305; HTTP_BAD_REQUEST* = 400; HTTP_UNAUTHORIZED* = 401; HTTP_PAYMENT_REQUIRED* = 402; HTTP_FORBIDDEN* = 403; HTTP_NOT_FOUND* = 404; HTTP_BAD_METHOD* = 405; HTTP_NOT_ACCEPTABLE* = 406; HTTP_PROXY_AUTH* = 407; HTTP_CLIENT_TIMEOUT* = 408; HTTP_CONFLICT* = 409; HTTP_GONE* = 410; HTTP_LENGTH_REQUIRED* = 411; HTTP_PRECON_FAILED* = 412; HTTP_ENTITY_TOO_LARGE* = 413; HTTP_REQ_TOO_LONG* = 414; HTTP_UNSUPPORTED_TYPE* = 415; HTTP_SERVER_ERROR* = 500; HTTP_INTERNAL_ERROR* = 501; HTTP_BAD_GATEWAY* = 502; HTTP_UNAVAILABLE* = 503; HTTP_GATEWAY_TIMEOUT* = 504; HTTP_VERSION* = 505; PROCEDURE Init!(p0 : URL) : HttpURLConnection,CONSTRUCTOR; PROCEDURE getFollowRedirects*() : BOOLEAN; PROCEDURE setFollowRedirects*(p0 : BOOLEAN); END; InetAddress* = POINTER TO RECORD (java_lang.Object + java_io.Serializable) STATIC PROCEDURE getAllByName*(p0 : java_lang.String) : POINTER TO ARRAY OF InetAddress; PROCEDURE getByName*(p0 : java_lang.String) : InetAddress; PROCEDURE getLocalHost*() : InetAddress; END; JarURLConnection* = POINTER TO ABSTRACT RECORD (URLConnection) jarFileURLConnection! : URLConnection; STATIC PROCEDURE Init!(p0 : URL) : JarURLConnection,CONSTRUCTOR; END; MalformedURLException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) STATIC PROCEDURE Init*() : MalformedURLException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : MalformedURLException,CONSTRUCTOR; END; MulticastSocket* = POINTER TO EXTENSIBLE RECORD (DatagramSocket) STATIC PROCEDURE Init*() : MulticastSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : MulticastSocket,CONSTRUCTOR; END; NetPermission* = POINTER TO RECORD (java_security.BasicPermission) STATIC PROCEDURE Init*(p0 : java_lang.String) : NetPermission,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : NetPermission,CONSTRUCTOR; END; NoRouteToHostException* = POINTER TO EXTENSIBLE RECORD (SocketException) STATIC PROCEDURE Init*() : NoRouteToHostException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : NoRouteToHostException,CONSTRUCTOR; END; PasswordAuthentication* = POINTER TO RECORD (java_lang.Object) STATIC PROCEDURE Init*( p0 : java_lang.String; IN p1 : ARRAY OF CHAR) : PasswordAuthentication,CONSTRUCTOR; END; ProtocolException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) STATIC PROCEDURE Init*() : ProtocolException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : ProtocolException,CONSTRUCTOR; END; ServerSocket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC PROCEDURE Init*(p0 : INTEGER) : ServerSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER) : ServerSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : InetAddress) : ServerSocket,CONSTRUCTOR; PROCEDURE setSocketFactory*(p0 : SocketImplFactory); END; Socket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC PROCEDURE Init!() : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER) : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER; p2 : InetAddress; p3 : INTEGER) : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER; p2 : BOOLEAN) : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : InetAddress; p1 : INTEGER) : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : InetAddress; p1 : INTEGER; p2 : InetAddress; p3 : INTEGER) : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : InetAddress; p1 : INTEGER; p2 : BOOLEAN) : Socket,CONSTRUCTOR; PROCEDURE Init!(p0 : SocketImpl) : Socket,CONSTRUCTOR; PROCEDURE setSocketImplFactory*(p0 : SocketImplFactory); END; SocketException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) STATIC PROCEDURE Init*() : SocketException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : SocketException,CONSTRUCTOR; END; SocketImpl* = POINTER TO ABSTRACT RECORD (java_lang.Object + SocketOptions) fd! : java_io.FileDescriptor; address! : InetAddress; port! : INTEGER; localport! : INTEGER; STATIC PROCEDURE Init*() : SocketImpl,CONSTRUCTOR; END; SocketImplFactory* = POINTER TO INTERFACE RECORD (java_lang.Object) END; SocketOptions* = POINTER TO INTERFACE RECORD (java_lang.Object) STATIC TCP_NODELAY* = 1; SO_BINDADDR* = 15; SO_REUSEADDR* = 4; IP_MULTICAST_IF* = 16; SO_LINGER* = 128; SO_TIMEOUT* = 4102; SO_SNDBUF* = 4097; SO_RCVBUF* = 4098; END; SocketPermission* = POINTER TO RECORD (java_security.Permission + java_io.Serializable) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : SocketPermission,CONSTRUCTOR; END; UnknownHostException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) STATIC PROCEDURE Init*() : UnknownHostException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : UnknownHostException,CONSTRUCTOR; END; UnknownServiceException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) STATIC PROCEDURE Init*() : UnknownServiceException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : UnknownServiceException,CONSTRUCTOR; END; URL* = POINTER TO RECORD (java_lang.Object + java_io.Serializable) STATIC PROCEDURE Init*(p0 : java_lang.String) : URL,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : INTEGER; p3 : java_lang.String) : URL,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : INTEGER; p3 : java_lang.String; p4 : URLStreamHandler) : URL,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : java_lang.String) : URL,CONSTRUCTOR; PROCEDURE Init*(p0 : URL; p1 : java_lang.String) : URL,CONSTRUCTOR; PROCEDURE Init*(p0 : URL; p1 : java_lang.String; p2 : URLStreamHandler) : URL,CONSTRUCTOR; PROCEDURE setURLStreamHandlerFactory*(p0 : URLStreamHandlerFactory); END; URLClassLoader* = POINTER TO EXTENSIBLE RECORD (java_security.SecureClassLoader) STATIC PROCEDURE Init*(IN p0 : ARRAY OF URL) : URLClassLoader,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF URL; p1 : java_lang.ClassLoader) : URLClassLoader,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF URL; p1 : java_lang.ClassLoader; p2 : URLStreamHandlerFactory) : URLClassLoader,CONSTRUCTOR; PROCEDURE newInstance*(IN p0 : ARRAY OF URL) : URLClassLoader; PROCEDURE newInstance*(IN p0 : ARRAY OF URL; p1 : java_lang.ClassLoader) : URLClassLoader; END; URLConnection* = POINTER TO ABSTRACT RECORD (java_lang.Object) url! : URL; doInput! : BOOLEAN; doOutput! : BOOLEAN; allowUserInteraction! : BOOLEAN; useCaches! : BOOLEAN; ifModifiedSince! : LONGINT; connected! : BOOLEAN; STATIC PROCEDURE Init!(p0 : URL) : URLConnection,CONSTRUCTOR; PROCEDURE getDefaultAllowUserInteraction*() : BOOLEAN; PROCEDURE getDefaultRequestProperty*(p0 : java_lang.String) : java_lang.String; PROCEDURE getFileNameMap*() : FileNameMap; PROCEDURE guessContentTypeFromName!(p0 : java_lang.String) : java_lang.String; PROCEDURE guessContentTypeFromStream*(p0 : java_io.InputStream) : java_lang.String; PROCEDURE setContentHandlerFactory*(p0 : ContentHandlerFactory); PROCEDURE setDefaultAllowUserInteraction*(p0 : BOOLEAN); PROCEDURE setDefaultRequestProperty*(p0 : java_lang.String; p1 : java_lang.String); PROCEDURE setFileNameMap*(p0 : FileNameMap); END; URLDecoder* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC PROCEDURE Init*() : URLDecoder,CONSTRUCTOR; PROCEDURE decode*(p0 : java_lang.String) : java_lang.String; END; URLEncoder* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC PROCEDURE encode*(p0 : java_lang.String) : java_lang.String; END; URLStreamHandler* = POINTER TO ABSTRACT RECORD (java_lang.Object) STATIC PROCEDURE Init*() : URLStreamHandler,CONSTRUCTOR; END; URLStreamHandlerFactory* = POINTER TO INTERFACE RECORD (java_lang.Object) END; PROCEDURE (self:Authenticator) getPasswordAuthentication!() : PasswordAuthentication,NEW,EXTENSIBLE; PROCEDURE (self:Authenticator) getRequestingPort!() : INTEGER,NEW; PROCEDURE (self:Authenticator) getRequestingPrompt!() : java_lang.String,NEW; PROCEDURE (self:Authenticator) getRequestingProtocol!() : java_lang.String,NEW; PROCEDURE (self:Authenticator) getRequestingScheme!() : java_lang.String,NEW; PROCEDURE (self:Authenticator) getRequestingSite!() : InetAddress,NEW; PROCEDURE (self:ContentHandler) getContent*(p0 : URLConnection) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:ContentHandlerFactory) createContentHandler*(p0 : java_lang.String) : ContentHandler,NEW,ABSTRACT; PROCEDURE (self:DatagramPacket) getAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) getData*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) getLength*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) getOffset*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) getPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) setAddress*(p0 : InetAddress),NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) setData*(IN p0 : ARRAY OF BYTE),NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) setData*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) setLength*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramPacket) setPort*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) close*(),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) connect*(p0 : InetAddress; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) disconnect*(),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getInetAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getLocalAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getLocalPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getReceiveBufferSize*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getSendBufferSize*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getSoTimeout*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) receive*(p0 : DatagramPacket),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) send*(p0 : DatagramPacket),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setReceiveBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setSendBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setSoTimeout*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocketImpl) bind!(p0 : INTEGER; p1 : InetAddress),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) close!(),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) create!(),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) getFileDescriptor!() : java_io.FileDescriptor,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocketImpl) getLocalPort!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocketImpl) getOption*(p0 : INTEGER) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) getTTL!() : BYTE,NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) getTimeToLive!() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) join!(p0 : InetAddress),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) leave!(p0 : InetAddress),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) peek!(p0 : InetAddress) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) receive!(p0 : DatagramPacket),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) send!(p0 : DatagramPacket),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) setOption*(p0 : INTEGER; p1 : java_lang.Object),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) setTTL!(p0 : BYTE),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) setTimeToLive!(p0 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:FileNameMap) getContentTypeFor*(p0 : java_lang.String) : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:HttpURLConnection) disconnect*(),NEW,ABSTRACT; PROCEDURE (self:HttpURLConnection) getErrorStream*() : java_io.InputStream,NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) getPermission*() : java_security.Permission,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) getRequestMethod*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) getResponseCode*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) getResponseMessage*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) setRequestMethod*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) usingProxy*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:InetAddress) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:InetAddress) getAddress*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) getHostAddress*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) getHostName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:InetAddress) isMulticastAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:JarURLConnection) getAttributes*() : java_util_jar.Attributes,NEW,EXTENSIBLE; PROCEDURE (self:JarURLConnection) getCertificates*() : POINTER TO ARRAY OF java_security_cert.Certificate,NEW,EXTENSIBLE; PROCEDURE (self:JarURLConnection) getEntryName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:JarURLConnection) getJarEntry*() : java_util_jar.JarEntry,NEW,EXTENSIBLE; PROCEDURE (self:JarURLConnection) getJarFile*() : java_util_jar.JarFile,NEW,ABSTRACT; PROCEDURE (self:JarURLConnection) getJarFileURL*() : URL,NEW,EXTENSIBLE; PROCEDURE (self:JarURLConnection) getMainAttributes*() : java_util_jar.Attributes,NEW,EXTENSIBLE; PROCEDURE (self:JarURLConnection) getManifest*() : java_util_jar.Manifest,NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) getInterface*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) getTTL*() : BYTE,NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) getTimeToLive*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) joinGroup*(p0 : InetAddress),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) leaveGroup*(p0 : InetAddress),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) send*(p0 : DatagramPacket; p1 : BYTE),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) setInterface*(p0 : InetAddress),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) setTTL*(p0 : BYTE),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) setTimeToLive*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:PasswordAuthentication) getPassword*() : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE; PROCEDURE (self:PasswordAuthentication) getUserName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) accept*() : Socket,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) close*(),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getInetAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getLocalPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getSoTimeout*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) implAccept!(p0 : Socket),NEW; PROCEDURE (self:ServerSocket) setSoTimeout*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Socket) close*(),NEW,EXTENSIBLE; PROCEDURE (self:Socket) getInetAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getInputStream*() : java_io.InputStream,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getLocalAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getLocalPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getOutputStream*() : java_io.OutputStream,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getReceiveBufferSize*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getSendBufferSize*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getSoLinger*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getSoTimeout*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getTcpNoDelay*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Socket) setReceiveBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setSendBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setSoLinger*(p0 : BOOLEAN; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setSoTimeout*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setTcpNoDelay*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:Socket) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:SocketImpl) accept!(p0 : SocketImpl),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) available!() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:SocketImpl) bind!(p0 : InetAddress; p1 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) close!(),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) connect!(p0 : java_lang.String; p1 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) connect!(p0 : InetAddress; p1 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) create!(p0 : BOOLEAN),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) getFileDescriptor!() : java_io.FileDescriptor,NEW,EXTENSIBLE; PROCEDURE (self:SocketImpl) getInetAddress!() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:SocketImpl) getInputStream!() : java_io.InputStream,NEW,ABSTRACT; PROCEDURE (self:SocketImpl) getLocalPort!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:SocketImpl) getOption*(p0 : INTEGER) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:SocketImpl) getOutputStream!() : java_io.OutputStream,NEW,ABSTRACT; PROCEDURE (self:SocketImpl) getPort!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:SocketImpl) listen!(p0 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) setOption*(p0 : INTEGER; p1 : java_lang.Object),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:SocketImplFactory) createSocketImpl*() : SocketImpl,NEW,ABSTRACT; PROCEDURE (self:SocketOptions) getOption*(p0 : INTEGER) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:SocketOptions) setOption*(p0 : INTEGER; p1 : java_lang.Object),NEW,ABSTRACT; PROCEDURE (self:SocketPermission) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:SocketPermission) getActions*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:SocketPermission) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:SocketPermission) implies*(p0 : java_security.Permission) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:SocketPermission) newPermissionCollection*() : java_security.PermissionCollection,EXTENSIBLE; PROCEDURE (self:URL) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:URL) getContent*() : java_lang.Object,NEW; PROCEDURE (self:URL) getFile*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getHost*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URL) getProtocol*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getRef*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:URL) openConnection*() : URLConnection,NEW,EXTENSIBLE; PROCEDURE (self:URL) openStream*() : java_io.InputStream,NEW; PROCEDURE (self:URL) sameFile*(p0 : URL) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URL) set!(p0 : java_lang.String; p1 : java_lang.String; p2 : INTEGER; p3 : java_lang.String; p4 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:URL) toExternalForm*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:URLClassLoader) addURL!(p0 : URL),NEW,EXTENSIBLE; PROCEDURE (self:URLClassLoader) definePackage!(p0 : java_lang.String; p1 : java_util_jar.Manifest; p2 : URL) : java_lang.Package,NEW,EXTENSIBLE; PROCEDURE (self:URLClassLoader) findClass!(p0 : java_lang.String) : java_lang.Class,EXTENSIBLE; PROCEDURE (self:URLClassLoader) findResource*(p0 : java_lang.String) : URL,EXTENSIBLE; PROCEDURE (self:URLClassLoader) findResources*(p0 : java_lang.String) : java_util.Enumeration,EXTENSIBLE; PROCEDURE (self:URLClassLoader) getPermissions!(p0 : java_security.CodeSource) : java_security.PermissionCollection,EXTENSIBLE; PROCEDURE (self:URLClassLoader) getURLs*() : POINTER TO ARRAY OF URL,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) connect*(),NEW,ABSTRACT; PROCEDURE (self:URLConnection) getAllowUserInteraction*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getContent*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getContentEncoding*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getContentLength*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getContentType*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getDate*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getDefaultUseCaches*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getDoInput*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getDoOutput*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getExpiration*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getHeaderField*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getHeaderField*(p0 : java_lang.String) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getHeaderFieldDate*(p0 : java_lang.String; p1 : LONGINT) : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getHeaderFieldInt*(p0 : java_lang.String; p1 : INTEGER) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getHeaderFieldKey*(p0 : INTEGER) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getIfModifiedSince*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getInputStream*() : java_io.InputStream,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getLastModified*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getOutputStream*() : java_io.OutputStream,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getPermission*() : java_security.Permission,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getRequestProperty*(p0 : java_lang.String) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getURL*() : URL,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getUseCaches*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) setAllowUserInteraction*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) setDefaultUseCaches*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) setDoInput*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) setDoOutput*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) setIfModifiedSince*(p0 : LONGINT),NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) setRequestProperty*(p0 : java_lang.String; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) setUseCaches*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) openConnection!(p0 : URL) : URLConnection,NEW,ABSTRACT; PROCEDURE (self:URLStreamHandler) parseURL!(p0 : URL; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) setURL!(p0 : URL; p1 : java_lang.String; p2 : java_lang.String; p3 : INTEGER; p4 : java_lang.String; p5 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) toExternalForm!(p0 : URL) : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandlerFactory) createURLStreamHandler*(p0 : java_lang.String) : URLStreamHandler,NEW,ABSTRACT; END java_net.