FOREIGN MODULE java_net; IMPORT java_lang := "java.lang", java_io := "java.io", java_util := "java.util", java_security := "java.security", java_nio_channels := "java.nio.channels", sun_misc := "sun.misc", java_lang_reflect := "java.lang.reflect", java_util_jar := "java.util.jar", sun_security_util := "sun.security.util", java_nio := "java.nio", sun_net_www := "sun.net.www", sun_net_idn := "sun.net.idn", sun_net_spi_nameservice := "sun.net.spi.nameservice", java_security_cert := "java.security.cert", java_util_prefs := "java.util.prefs"; TYPE Authenticator* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : Authenticator,CONSTRUCTOR; PROCEDURE requestPasswordAuthentication*(p0 : java_lang.String; p1 : InetAddress; p2 : INTEGER; p3 : java_lang.String; p4 : java_lang.String; p5 : java_lang.String) : PasswordAuthentication; PROCEDURE requestPasswordAuthentication*(p0 : java_lang.String; p1 : InetAddress; p2 : INTEGER; p3 : java_lang.String; p4 : java_lang.String; p5 : java_lang.String; p6 : URL; p7 : Authenticator$RequestorType) : PasswordAuthentication; PROCEDURE requestPasswordAuthentication*(p0 : InetAddress; p1 : INTEGER; p2 : java_lang.String; p3 : java_lang.String; p4 : java_lang.String) : PasswordAuthentication; PROCEDURE setDefault*(p0 : Authenticator); END; Authenticator$RequestorType* = POINTER TO RECORD (java_lang.Enum) STATIC PROXY* : Authenticator$RequestorType; SERVER* : Authenticator$RequestorType; PROCEDURE valueOf*(p0 : java_lang.String) : Authenticator$RequestorType; PROCEDURE values*() : POINTER TO ARRAY OF Authenticator$RequestorType; END; BindException* = POINTER TO EXTENSIBLE RECORD (SocketException) STATIC PROCEDURE Init*() : BindException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : BindException,CONSTRUCTOR; END; CacheRequest* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : CacheRequest,CONSTRUCTOR; END; CacheResponse* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : CacheResponse,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) (* Typebound Procedures *) STATIC PROCEDURE Init*() : ContentHandler,CONSTRUCTOR; END; ContentHandlerFactory* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; CookieHandler* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE getDefault*() : CookieHandler; PROCEDURE Init*() : CookieHandler,CONSTRUCTOR; PROCEDURE setDefault*(p0 : CookieHandler); END; CookieManager* = POINTER TO EXTENSIBLE RECORD (CookieHandler) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : CookieStore; p1 : CookiePolicy) : CookieManager,CONSTRUCTOR; PROCEDURE Init*() : CookieManager,CONSTRUCTOR; END; CookiePolicy* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC ACCEPT_ALL* : CookiePolicy; ACCEPT_NONE* : CookiePolicy; ACCEPT_ORIGINAL_SERVER* : CookiePolicy; END; CookieStore* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; DatagramPacket* = POINTER TO RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER; p3 : SocketAddress) : DatagramPacket,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : InetAddress; p3 : INTEGER) : DatagramPacket,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : SocketAddress) : DatagramPacket,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER) : DatagramPacket,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER) : DatagramPacket,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF BYTE; p1 : INTEGER; p2 : INTEGER; p3 : InetAddress; p4 : INTEGER) : DatagramPacket,CONSTRUCTOR; END; DatagramSocket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : INTEGER) : DatagramSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : InetAddress) : DatagramSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : SocketAddress) : DatagramSocket,CONSTRUCTOR; PROCEDURE Init*() : DatagramSocket,CONSTRUCTOR; PROCEDURE Init!(p0 : DatagramSocketImpl) : DatagramSocket,CONSTRUCTOR; PROCEDURE setDatagramSocketImplFactory*(p0 : DatagramSocketImplFactory); END; DatagramSocketImpl* = POINTER TO ABSTRACT RECORD (java_lang.Object + SocketOptions) (* Typebound Procedures *) localPort! : INTEGER; fd! : java_io.FileDescriptor; STATIC PROCEDURE Init*() : DatagramSocketImpl,CONSTRUCTOR; END; DatagramSocketImplFactory* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; FileNameMap* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; HttpCookie* = POINTER TO RECORD (java_lang.Object + java_lang.Cloneable) (* Typebound Procedures *) STATIC PROCEDURE domainMatches*(p0 : java_lang.String; p1 : java_lang.String) : BOOLEAN; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : HttpCookie,CONSTRUCTOR; PROCEDURE parse*(p0 : java_lang.String) : java_util.List; END; HttpRetryException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER; p2 : java_lang.String) : HttpRetryException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER) : HttpRetryException,CONSTRUCTOR; END; HttpURLConnection* = POINTER TO ABSTRACT RECORD (URLConnection) (* Typebound Procedures *) method! : java_lang.String; chunkLength! : INTEGER; fixedContentLength! : INTEGER; responseCode! : INTEGER; responseMessage! : java_lang.String; instanceFollowRedirects! : BOOLEAN; STATIC HTTP_ACCEPTED* = 202; HTTP_BAD_GATEWAY* = 502; HTTP_BAD_METHOD* = 405; HTTP_BAD_REQUEST* = 400; HTTP_CLIENT_TIMEOUT* = 408; HTTP_CONFLICT* = 409; HTTP_CREATED* = 201; HTTP_ENTITY_TOO_LARGE* = 413; HTTP_FORBIDDEN* = 403; HTTP_GATEWAY_TIMEOUT* = 504; HTTP_GONE* = 410; HTTP_INTERNAL_ERROR* = 500; HTTP_LENGTH_REQUIRED* = 411; HTTP_MOVED_PERM* = 301; HTTP_MOVED_TEMP* = 302; HTTP_MULT_CHOICE* = 300; HTTP_NOT_ACCEPTABLE* = 406; HTTP_NOT_AUTHORITATIVE* = 203; HTTP_NOT_FOUND* = 404; HTTP_NOT_IMPLEMENTED* = 501; HTTP_NOT_MODIFIED* = 304; HTTP_NO_CONTENT* = 204; HTTP_OK* = 200; HTTP_PARTIAL* = 206; HTTP_PAYMENT_REQUIRED* = 402; HTTP_PRECON_FAILED* = 412; HTTP_PROXY_AUTH* = 407; HTTP_REQ_TOO_LONG* = 414; HTTP_RESET* = 205; HTTP_SEE_OTHER* = 303; HTTP_SERVER_ERROR* = 500; HTTP_UNAUTHORIZED* = 401; HTTP_UNAVAILABLE* = 503; HTTP_UNSUPPORTED_TYPE* = 415; HTTP_USE_PROXY* = 305; HTTP_VERSION* = 505; PROCEDURE getFollowRedirects*() : BOOLEAN; PROCEDURE Init!(p0 : URL) : HttpURLConnection,CONSTRUCTOR; PROCEDURE setFollowRedirects*(p0 : BOOLEAN); END; IDN* = POINTER TO RECORD (java_lang.Object) STATIC ALLOW_UNASSIGNED* = 1; USE_STD3_ASCII_RULES* = 2; PROCEDURE toASCII*(p0 : java_lang.String) : java_lang.String; PROCEDURE toASCII*(p0 : java_lang.String; p1 : INTEGER) : java_lang.String; PROCEDURE toUnicode*(p0 : java_lang.String) : java_lang.String; PROCEDURE toUnicode*(p0 : java_lang.String; p1 : INTEGER) : java_lang.String; END; Inet4Address* = POINTER TO RECORD (InetAddress) (* Typebound Procedures *) END; Inet6Address* = POINTER TO RECORD (InetAddress) (* Typebound Procedures *) STATIC PROCEDURE getByAddress*( p0 : java_lang.String; IN p1 : ARRAY OF BYTE; p2 : INTEGER) : Inet6Address; PROCEDURE getByAddress*( p0 : java_lang.String; IN p1 : ARRAY OF BYTE; p2 : NetworkInterface) : Inet6Address; END; InetAddress* = POINTER TO EXTENSIBLE RECORD (java_lang.Object + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE getAllByName*(p0 : java_lang.String) : POINTER TO ARRAY OF InetAddress; PROCEDURE getByAddress*(IN p0 : ARRAY OF BYTE) : InetAddress; PROCEDURE getByAddress*( p0 : java_lang.String; IN p1 : ARRAY OF BYTE) : InetAddress; PROCEDURE getByName*(p0 : java_lang.String) : InetAddress; PROCEDURE getLocalHost*() : InetAddress; END; InetSocketAddress* = POINTER TO EXTENSIBLE RECORD (SocketAddress) (* Typebound Procedures *) STATIC PROCEDURE createUnresolved*(p0 : java_lang.String; p1 : INTEGER) : InetSocketAddress; PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER) : InetSocketAddress,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : InetSocketAddress,CONSTRUCTOR; PROCEDURE Init*(p0 : InetAddress; p1 : INTEGER) : InetSocketAddress,CONSTRUCTOR; END; InterfaceAddress* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) END; JarURLConnection* = POINTER TO ABSTRACT RECORD (URLConnection) (* Typebound Procedures *) jarFileURLConnection! : URLConnection; STATIC PROCEDURE Init!(p0 : URL) : JarURLConnection,CONSTRUCTOR; END; MalformedURLException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) STATIC PROCEDURE Init*(p0 : java_lang.String) : MalformedURLException,CONSTRUCTOR; PROCEDURE Init*() : MalformedURLException,CONSTRUCTOR; END; MulticastSocket* = POINTER TO EXTENSIBLE RECORD (DatagramSocket) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : SocketAddress) : MulticastSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : MulticastSocket,CONSTRUCTOR; PROCEDURE Init*() : MulticastSocket,CONSTRUCTOR; END; NetPermission* = POINTER TO RECORD (java_security.BasicPermission) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : NetPermission,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : NetPermission,CONSTRUCTOR; END; NetworkInterface* = POINTER TO RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE getByInetAddress*(p0 : InetAddress) : NetworkInterface; PROCEDURE getByName*(p0 : java_lang.String) : NetworkInterface; PROCEDURE getNetworkInterfaces*() : java_util.Enumeration; 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) (* Typebound Procedures *) STATIC PROCEDURE Init*( p0 : java_lang.String; IN p1 : ARRAY OF CHAR) : PasswordAuthentication,CONSTRUCTOR; END; PortUnreachableException* = POINTER TO EXTENSIBLE RECORD (SocketException) STATIC PROCEDURE Init*() : PortUnreachableException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : PortUnreachableException,CONSTRUCTOR; END; ProtocolException* = POINTER TO EXTENSIBLE RECORD (java_io.IOException) STATIC PROCEDURE Init*() : ProtocolException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : ProtocolException,CONSTRUCTOR; END; Proxy* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC NO_PROXY* : Proxy; PROCEDURE Init*(p0 : Proxy$Type; p1 : SocketAddress) : Proxy,CONSTRUCTOR; END; Proxy$Type* = POINTER TO RECORD (java_lang.Enum) STATIC DIRECT* : Proxy$Type; HTTP* : Proxy$Type; SOCKS* : Proxy$Type; PROCEDURE valueOf*(p0 : java_lang.String) : Proxy$Type; PROCEDURE values*() : POINTER TO ARRAY OF Proxy$Type; END; ProxySelector* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE getDefault*() : ProxySelector; PROCEDURE Init*() : ProxySelector,CONSTRUCTOR; PROCEDURE setDefault*(p0 : ProxySelector); END; ResponseCache* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE getDefault*() : ResponseCache; PROCEDURE Init*() : ResponseCache,CONSTRUCTOR; PROCEDURE setDefault*(p0 : ResponseCache); END; SecureCacheResponse* = POINTER TO ABSTRACT RECORD (CacheResponse) (* Typebound Procedures *) STATIC PROCEDURE Init*() : SecureCacheResponse,CONSTRUCTOR; END; ServerSocket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER) : ServerSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER; p1 : INTEGER; p2 : InetAddress) : ServerSocket,CONSTRUCTOR; PROCEDURE Init*() : ServerSocket,CONSTRUCTOR; PROCEDURE Init*(p0 : INTEGER) : ServerSocket,CONSTRUCTOR; PROCEDURE setSocketFactory*(p0 : SocketImplFactory); END; Socket* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : InetAddress; p1 : INTEGER; p2 : InetAddress; p3 : INTEGER) : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER; p2 : InetAddress; p3 : INTEGER) : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : InetAddress; p1 : INTEGER; p2 : BOOLEAN) : 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 : Proxy) : Socket,CONSTRUCTOR; PROCEDURE Init*() : Socket,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : INTEGER) : Socket,CONSTRUCTOR; PROCEDURE Init!(p0 : SocketImpl) : Socket,CONSTRUCTOR; PROCEDURE setSocketImplFactory*(p0 : SocketImplFactory); END; SocketAddress* = POINTER TO ABSTRACT RECORD (java_lang.Object + java_io.Serializable) STATIC PROCEDURE Init*() : SocketAddress,CONSTRUCTOR; 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) (* Typebound Procedures *) fd! : java_io.FileDescriptor; address! : InetAddress; port! : INTEGER; localport! : INTEGER; STATIC PROCEDURE Init*() : SocketImpl,CONSTRUCTOR; END; SocketImplFactory* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; SocketOptions* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) STATIC IP_MULTICAST_IF* = 16; IP_MULTICAST_IF2* = 31; IP_MULTICAST_LOOP* = 18; IP_TOS* = 3; SO_BINDADDR* = 15; SO_BROADCAST* = 32; SO_KEEPALIVE* = 8; SO_LINGER* = 128; SO_OOBINLINE* = 4099; SO_RCVBUF* = 4098; SO_REUSEADDR* = 4; SO_SNDBUF* = 4097; SO_TIMEOUT* = 4102; TCP_NODELAY* = 1; END; SocketPermission* = POINTER TO RECORD (java_security.Permission + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : SocketPermission,CONSTRUCTOR; END; SocketTimeoutException* = POINTER TO EXTENSIBLE RECORD (java_io.InterruptedIOException) STATIC PROCEDURE Init*() : SocketTimeoutException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : SocketTimeoutException,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*(p0 : java_lang.String) : UnknownServiceException,CONSTRUCTOR; PROCEDURE Init*() : UnknownServiceException,CONSTRUCTOR; END; URI* = POINTER TO RECORD (java_lang.Object + java_lang.Comparable + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE create*(p0 : java_lang.String) : URI; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : java_lang.String; p3 : java_lang.String) : URI,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : java_lang.String) : URI,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String) : URI,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : java_lang.String; p3 : INTEGER; p4 : java_lang.String; p5 : java_lang.String; p6 : java_lang.String) : URI,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : java_lang.String; p3 : java_lang.String; p4 : java_lang.String) : URI,CONSTRUCTOR; END; URISyntaxException* = POINTER TO EXTENSIBLE RECORD (java_lang.Exception) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String) : URISyntaxException,CONSTRUCTOR; PROCEDURE Init*(p0 : java_lang.String; p1 : java_lang.String; p2 : INTEGER) : URISyntaxException,CONSTRUCTOR; END; URL* = POINTER TO RECORD (java_lang.Object + java_io.Serializable) (* Typebound Procedures *) STATIC PROCEDURE Init*(p0 : 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 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 : 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 setURLStreamHandlerFactory*(p0 : URLStreamHandlerFactory); END; URLClassLoader* = POINTER TO EXTENSIBLE RECORD (java_security.SecureClassLoader) (* Typebound Procedures *) STATIC PROCEDURE Init*(IN p0 : ARRAY OF URL; p1 : java_lang.ClassLoader; p2 : URLStreamHandlerFactory) : URLClassLoader,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF URL) : URLClassLoader,CONSTRUCTOR; PROCEDURE Init*(IN p0 : ARRAY OF URL; p1 : java_lang.ClassLoader) : 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) (* Typebound Procedures *) url! : URL; doInput! : BOOLEAN; doOutput! : BOOLEAN; allowUserInteraction! : BOOLEAN; useCaches! : BOOLEAN; ifModifiedSince! : LONGINT; connected! : BOOLEAN; STATIC 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 Init!(p0 : URL) : URLConnection,CONSTRUCTOR; 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 decode*(p0 : java_lang.String; p1 : java_lang.String) : java_lang.String; PROCEDURE decode*(p0 : java_lang.String) : java_lang.String; PROCEDURE Init*() : URLDecoder,CONSTRUCTOR; END; URLEncoder* = POINTER TO EXTENSIBLE RECORD (java_lang.Object) STATIC PROCEDURE encode*(p0 : java_lang.String; p1 : java_lang.String) : java_lang.String; PROCEDURE encode*(p0 : java_lang.String) : java_lang.String; END; URLStreamHandler* = POINTER TO ABSTRACT RECORD (java_lang.Object) (* Typebound Procedures *) STATIC PROCEDURE Init*() : URLStreamHandler,CONSTRUCTOR; END; URLStreamHandlerFactory* = POINTER TO INTERFACE RECORD (java_lang.Object) (* Typebound Procedures *) END; PROCEDURE (self:Authenticator) getPasswordAuthentication!() : PasswordAuthentication,NEW,EXTENSIBLE; PROCEDURE (self:Authenticator) getRequestingHost!() : java_lang.String,NEW; 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:Authenticator) getRequestingURL!() : URL,NEW,EXTENSIBLE; PROCEDURE (self:Authenticator) getRequestorType!() : Authenticator$RequestorType,NEW,EXTENSIBLE; PROCEDURE (self:CacheRequest) abort*(),NEW,ABSTRACT; PROCEDURE (self:CacheRequest) getBody*() : java_io.OutputStream,NEW,ABSTRACT; PROCEDURE (self:CacheResponse) getBody*() : java_io.InputStream,NEW,ABSTRACT; PROCEDURE (self:CacheResponse) getHeaders*() : java_util.Map,NEW,ABSTRACT; PROCEDURE (self:ContentHandler) getContent*( p0 : URLConnection; IN p1 : ARRAY OF java_lang.Class) : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:ContentHandler) getContent*(p0 : URLConnection) : java_lang.Object,NEW,ABSTRACT; PROCEDURE (self:ContentHandlerFactory) createContentHandler*(p0 : java_lang.String) : ContentHandler,NEW,ABSTRACT; PROCEDURE (self:CookieHandler) get*(p0 : URI; p1 : java_util.Map) : java_util.Map,NEW,ABSTRACT; PROCEDURE (self:CookieHandler) put*(p0 : URI; p1 : java_util.Map),NEW,ABSTRACT; PROCEDURE (self:CookieManager) get*(p0 : URI; p1 : java_util.Map) : java_util.Map,EXTENSIBLE; PROCEDURE (self:CookieManager) getCookieStore*() : CookieStore,NEW,EXTENSIBLE; PROCEDURE (self:CookieManager) put*(p0 : URI; p1 : java_util.Map),EXTENSIBLE; PROCEDURE (self:CookieManager) setCookiePolicy*(p0 : CookiePolicy),NEW,EXTENSIBLE; PROCEDURE (self:CookiePolicy) shouldAccept*(p0 : URI; p1 : HttpCookie) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:CookieStore) add*(p0 : URI; p1 : HttpCookie),NEW,ABSTRACT; PROCEDURE (self:CookieStore) get*(p0 : URI) : java_util.List,NEW,ABSTRACT; PROCEDURE (self:CookieStore) getCookies*() : java_util.List,NEW,ABSTRACT; PROCEDURE (self:CookieStore) getURIs*() : java_util.List,NEW,ABSTRACT; PROCEDURE (self:CookieStore) remove*(p0 : URI; p1 : HttpCookie) : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:CookieStore) removeAll*() : BOOLEAN,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) getSocketAddress*() : SocketAddress,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:DatagramPacket) setSocketAddress*(p0 : SocketAddress),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) bind*(p0 : SocketAddress),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) close*(),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) connect*(p0 : InetAddress; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) connect*(p0 : SocketAddress),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) disconnect*(),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getBroadcast*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getChannel*() : java_nio_channels.DatagramChannel,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) getLocalSocketAddress*() : SocketAddress,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getReceiveBufferSize*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getRemoteSocketAddress*() : SocketAddress,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getReuseAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getSendBufferSize*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getSoTimeout*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) getTrafficClass*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) isBound*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) isClosed*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) isConnected*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) receive*(p0 : DatagramPacket),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) send*(p0 : DatagramPacket),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setBroadcast*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setReceiveBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setReuseAddress*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setSendBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setSoTimeout*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocket) setTrafficClass*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocketImpl) bind!(p0 : INTEGER; p1 : InetAddress),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) close!(),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) connect!(p0 : InetAddress; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocketImpl) create!(),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) disconnect!(),NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocketImpl) getFileDescriptor!() : java_io.FileDescriptor,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocketImpl) getLocalPort!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:DatagramSocketImpl) getTimeToLive!() : INTEGER,NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) getTTL!() : BYTE,NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) join!(p0 : InetAddress),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) joinGroup!(p0 : SocketAddress; p1 : NetworkInterface),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) leave!(p0 : InetAddress),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) leaveGroup!(p0 : SocketAddress; p1 : NetworkInterface),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) peek!(p0 : InetAddress) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) peekData!(p0 : DatagramPacket) : INTEGER,NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) receive!(p0 : DatagramPacket),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) send!(p0 : DatagramPacket),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) setTimeToLive!(p0 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImpl) setTTL!(p0 : BYTE),NEW,ABSTRACT; PROCEDURE (self:DatagramSocketImplFactory) createDatagramSocketImpl*() : DatagramSocketImpl,NEW,ABSTRACT; PROCEDURE (self:FileNameMap) getContentTypeFor*(p0 : java_lang.String) : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:HttpCookie) clone*() : java_lang.Object,EXTENSIBLE; PROCEDURE (self:HttpCookie) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:HttpCookie) getComment*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getCommentURL*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getDiscard*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getDomain*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getMaxAge*() : LONGINT,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getPath*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getPortlist*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getSecure*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getValue*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) getVersion*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) hasExpired*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:HttpCookie) setComment*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setCommentURL*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setDiscard*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setDomain*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setMaxAge*(p0 : LONGINT),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setPath*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setPortlist*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setSecure*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setValue*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) setVersion*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HttpCookie) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:HttpRetryException) getLocation*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpRetryException) getReason*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:HttpRetryException) responseCode*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) disconnect*(),NEW,ABSTRACT; PROCEDURE (self:HttpURLConnection) getErrorStream*() : java_io.InputStream,NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) getHeaderField*(p0 : INTEGER) : java_lang.String,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) getHeaderFieldDate*(p0 : java_lang.String; p1 : LONGINT) : LONGINT,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) getHeaderFieldKey*(p0 : INTEGER) : java_lang.String,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) getInstanceFollowRedirects*() : BOOLEAN,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) setChunkedStreamingMode*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) setFixedLengthStreamingMode*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) setInstanceFollowRedirects*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) setRequestMethod*(p0 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:HttpURLConnection) usingProxy*() : BOOLEAN,NEW,ABSTRACT; PROCEDURE (self:Inet4Address) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) getAddress*() : POINTER TO ARRAY OF BYTE,EXTENSIBLE; PROCEDURE (self:Inet4Address) getHostAddress*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Inet4Address) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Inet4Address) isAnyLocalAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isLinkLocalAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isLoopbackAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isMCGlobal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isMCLinkLocal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isMCNodeLocal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isMCOrgLocal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isMCSiteLocal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isMulticastAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet4Address) isSiteLocalAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) getAddress*() : POINTER TO ARRAY OF BYTE,EXTENSIBLE; PROCEDURE (self:Inet6Address) getHostAddress*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Inet6Address) getScopedInterface*() : NetworkInterface,NEW,EXTENSIBLE; PROCEDURE (self:Inet6Address) getScopeId*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Inet6Address) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:Inet6Address) isAnyLocalAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isIPv4CompatibleAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Inet6Address) isLinkLocalAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isLoopbackAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isMCGlobal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isMCLinkLocal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isMCNodeLocal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isMCOrgLocal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isMCSiteLocal*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isMulticastAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:Inet6Address) isSiteLocalAddress*() : BOOLEAN,EXTENSIBLE; PROCEDURE (self:InetAddress) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:InetAddress) getAddress*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) getCanonicalHostName*() : java_lang.String,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) isAnyLocalAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isLinkLocalAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isLoopbackAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isMCGlobal*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isMCLinkLocal*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isMCNodeLocal*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isMCOrgLocal*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isMCSiteLocal*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isMulticastAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isReachable*(p0 : NetworkInterface; p1 : INTEGER; p2 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isReachable*(p0 : INTEGER) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) isSiteLocalAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:InetAddress) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:InetSocketAddress) equals*(p0 : java_lang.Object) : BOOLEAN; PROCEDURE (self:InetSocketAddress) getAddress*() : InetAddress,NEW; PROCEDURE (self:InetSocketAddress) getHostName*() : java_lang.String,NEW; PROCEDURE (self:InetSocketAddress) getPort*() : INTEGER,NEW; PROCEDURE (self:InetSocketAddress) hashCode*() : INTEGER; PROCEDURE (self:InetSocketAddress) isUnresolved*() : BOOLEAN,NEW; PROCEDURE (self:InetSocketAddress) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:InterfaceAddress) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:InterfaceAddress) getAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:InterfaceAddress) getBroadcast*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:InterfaceAddress) getNetworkPrefixLength*() : SHORTINT,NEW,EXTENSIBLE; PROCEDURE (self:InterfaceAddress) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:InterfaceAddress) 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) getLoopbackMode*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) getNetworkInterface*() : NetworkInterface,NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) getTimeToLive*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) getTTL*() : BYTE,NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) joinGroup*(p0 : SocketAddress; p1 : NetworkInterface),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) joinGroup*(p0 : InetAddress),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) leaveGroup*(p0 : SocketAddress; p1 : NetworkInterface),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) setLoopbackMode*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) setNetworkInterface*(p0 : NetworkInterface),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) setTimeToLive*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:MulticastSocket) setTTL*(p0 : BYTE),NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:NetworkInterface) getDisplayName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) getHardwareAddress*() : POINTER TO ARRAY OF BYTE,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) getInetAddresses*() : java_util.Enumeration,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) getInterfaceAddresses*() : java_util.List,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) getMTU*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) getName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) getParent*() : NetworkInterface,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) getSubInterfaces*() : java_util.Enumeration,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:NetworkInterface) isLoopback*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) isPointToPoint*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) isUp*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) isVirtual*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) supportsMulticast*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:NetworkInterface) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:PasswordAuthentication) getPassword*() : POINTER TO ARRAY OF CHAR,NEW,EXTENSIBLE; PROCEDURE (self:PasswordAuthentication) getUserName*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:Proxy) address*() : SocketAddress,NEW,EXTENSIBLE; PROCEDURE (self:Proxy) equals*(p0 : java_lang.Object) : BOOLEAN; PROCEDURE (self:Proxy) hashCode*() : INTEGER; PROCEDURE (self:Proxy) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Proxy) type*() : Proxy$Type,NEW,EXTENSIBLE; PROCEDURE (self:ProxySelector) connectFailed*(p0 : URI; p1 : SocketAddress; p2 : java_io.IOException),NEW,ABSTRACT; PROCEDURE (self:ProxySelector) select*(p0 : URI) : java_util.List,NEW,ABSTRACT; PROCEDURE (self:ResponseCache) get*(p0 : URI; p1 : java_lang.String; p2 : java_util.Map) : CacheResponse,NEW,ABSTRACT; PROCEDURE (self:ResponseCache) put*(p0 : URI; p1 : URLConnection) : CacheRequest,NEW,ABSTRACT; PROCEDURE (self:SecureCacheResponse) getCipherSuite*() : java_lang.String,NEW,ABSTRACT; PROCEDURE (self:SecureCacheResponse) getLocalCertificateChain*() : java_util.List,NEW,ABSTRACT; PROCEDURE (self:SecureCacheResponse) getLocalPrincipal*() : java_security.Principal,NEW,ABSTRACT; PROCEDURE (self:SecureCacheResponse) getPeerPrincipal*() : java_security.Principal,NEW,ABSTRACT; PROCEDURE (self:SecureCacheResponse) getServerCertificateChain*() : java_util.List,NEW,ABSTRACT; PROCEDURE (self:ServerSocket) accept*() : Socket,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) bind*(p0 : SocketAddress),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) bind*(p0 : SocketAddress; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) close*(),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getChannel*() : java_nio_channels.ServerSocketChannel,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getInetAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getLocalPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getLocalSocketAddress*() : SocketAddress,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getReceiveBufferSize*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getReuseAddress*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) getSoTimeout*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) implAccept!(p0 : Socket),NEW; PROCEDURE (self:ServerSocket) isBound*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) isClosed*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) setPerformancePreferences*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) setReceiveBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) setReuseAddress*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) setSoTimeout*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:ServerSocket) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:Socket) bind*(p0 : SocketAddress),NEW,EXTENSIBLE; PROCEDURE (self:Socket) close*(),NEW,EXTENSIBLE; PROCEDURE (self:Socket) connect*(p0 : SocketAddress),NEW,EXTENSIBLE; PROCEDURE (self:Socket) connect*(p0 : SocketAddress; p1 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) getChannel*() : java_nio_channels.SocketChannel,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getInetAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getInputStream*() : java_io.InputStream,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getKeepAlive*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getLocalAddress*() : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getLocalPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getLocalSocketAddress*() : SocketAddress,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getOOBInline*() : BOOLEAN,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) getRemoteSocketAddress*() : SocketAddress,NEW,EXTENSIBLE; PROCEDURE (self:Socket) getReuseAddress*() : BOOLEAN,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) getTrafficClass*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:Socket) isBound*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Socket) isClosed*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Socket) isConnected*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Socket) isInputShutdown*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Socket) isOutputShutdown*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:Socket) sendUrgentData*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setKeepAlive*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setOOBInline*(p0 : BOOLEAN),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setPerformancePreferences*(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setReceiveBufferSize*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) setReuseAddress*(p0 : BOOLEAN),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) setTrafficClass*(p0 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:Socket) shutdownInput*(),NEW,EXTENSIBLE; PROCEDURE (self:Socket) shutdownOutput*(),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 : InetAddress; p1 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) connect!(p0 : java_lang.String; p1 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) connect!(p0 : SocketAddress; 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) getOutputStream!() : java_io.OutputStream,NEW,ABSTRACT; PROCEDURE (self:SocketImpl) getPort!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:SocketImpl) listen!(p0 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) sendUrgentData!(p0 : INTEGER),NEW,ABSTRACT; PROCEDURE (self:SocketImpl) setPerformancePreferences!(p0 : INTEGER; p1 : INTEGER; p2 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:SocketImpl) shutdownInput!(),NEW,EXTENSIBLE; PROCEDURE (self:SocketImpl) shutdownOutput!(),NEW,EXTENSIBLE; PROCEDURE (self:SocketImpl) supportsUrgentData!() : BOOLEAN,NEW,EXTENSIBLE; 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:URI) compareTo*(p0 : URI) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URI) compareTo*(p0 : java_lang.Object) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URI) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:URI) getAuthority*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getFragment*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getHost*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getPath*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URI) getQuery*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getRawAuthority*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getRawFragment*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getRawPath*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getRawQuery*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getRawSchemeSpecificPart*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getRawUserInfo*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getScheme*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getSchemeSpecificPart*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) getUserInfo*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:URI) isAbsolute*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URI) isOpaque*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URI) normalize*() : URI,NEW,EXTENSIBLE; PROCEDURE (self:URI) parseServerAuthority*() : URI,NEW,EXTENSIBLE; PROCEDURE (self:URI) relativize*(p0 : URI) : URI,NEW,EXTENSIBLE; PROCEDURE (self:URI) resolve*(p0 : java_lang.String) : URI,NEW,EXTENSIBLE; PROCEDURE (self:URI) resolve*(p0 : URI) : URI,NEW,EXTENSIBLE; PROCEDURE (self:URI) toASCIIString*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URI) toString*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:URI) toURL*() : URL,NEW,EXTENSIBLE; PROCEDURE (self:URISyntaxException) getIndex*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URISyntaxException) getInput*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URISyntaxException) getMessage*() : java_lang.String,EXTENSIBLE; PROCEDURE (self:URISyntaxException) getReason*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) equals*(p0 : java_lang.Object) : BOOLEAN,EXTENSIBLE; PROCEDURE (self:URL) getAuthority*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getContent*() : java_lang.Object,NEW; PROCEDURE (self:URL) getContent*(IN p0 : ARRAY OF java_lang.Class) : java_lang.Object,NEW; PROCEDURE (self:URL) getDefaultPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URL) getFile*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getHost*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getPath*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getPort*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URL) getProtocol*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getQuery*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getRef*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) getUserInfo*() : java_lang.String,NEW,EXTENSIBLE; PROCEDURE (self:URL) hashCode*() : INTEGER,EXTENSIBLE; PROCEDURE (self:URL) openConnection*(p0 : Proxy) : URLConnection,NEW,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; p5 : java_lang.String; p6 : java_lang.String; p7 : java_lang.String),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:URL) toURI*() : URI,NEW,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) addRequestProperty*(p0 : java_lang.String; p1 : java_lang.String),NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) connect*(),NEW,ABSTRACT; PROCEDURE (self:URLConnection) getAllowUserInteraction*() : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getConnectTimeout*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getContent*() : java_lang.Object,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getContent*(IN p0 : ARRAY OF java_lang.Class) : 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) getHeaderFields*() : java_util.Map,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) getReadTimeout*() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URLConnection) getRequestProperties*() : java_util.Map,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) setConnectTimeout*(p0 : INTEGER),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) setReadTimeout*(p0 : INTEGER),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) equals!(p0 : URL; p1 : URL) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) getDefaultPort!() : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) getHostAddress!(p0 : URL) : InetAddress,NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) hashCode!(p0 : URL) : INTEGER,NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) hostsEqual!(p0 : URL; p1 : URL) : BOOLEAN,NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) openConnection!(p0 : URL) : URLConnection,NEW,ABSTRACT; PROCEDURE (self:URLStreamHandler) openConnection!(p0 : URL; p1 : Proxy) : URLConnection,NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) parseURL!(p0 : URL; p1 : java_lang.String; p2 : INTEGER; p3 : INTEGER),NEW,EXTENSIBLE; PROCEDURE (self:URLStreamHandler) sameFile!(p0 : URL; p1 : URL) : BOOLEAN,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; p6 : java_lang.String; p7 : java_lang.String; p8 : java_lang.String),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.