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.