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.