Cross Reference: /openjdk7/jdk/src/share/classes/java/net/URL.java

Lines Matching refs:port
60  * A URL can optionally specify a "port", which is the
61  * port number to which the TCP connection is made on the remote host
62  * machine. If the port is not specified, the default port for
63  * the protocol is used instead. For example, the default port for
64  * <code>http</code> is <code>80</code>. An alternative port could be
108  * the protocol, host name, or port number is missing, the value is
166      * The protocol port to connect to.
169     private int port = -1;
223      * <code>protocol</code>, <code>host</code>, <code>port</code>
235      * Specifying a <code>port</code> number of <code>-1</code>
236      * indicates that the URL should use the default port for the
289      * @param      port       the port number on the host.
299     public URL(String protocol, String host, int port, String file)
302         this(protocol, host, port, file, null);
308      * default port for the specified protocol is used.
330      * <code>protocol</code>, <code>host</code>, <code>port</code>
332      * a <code>port</code> number of <code>-1</code> indicates that
333      * the URL should use the default port for the protocol. Specifying
350      * @param      port       the port number on the host.
367     public URL(String protocol, String host, int port, String file,
390             if (port < -1) {
391                 throw new MalformedURLException("Invalid port number :" +
392                                                     port);
394             this.port = port;
395             authority = (port == -1) ? host : host + ":" + port;
577                     port = context.port;
659        @param port the port number on the host
664                        int port, String file, String ref) {
668             authority = port == -1 ? host : host + ":" + port;
669             this.port = port;
692      * @param port the port number on the host
700     protected void set(String protocol, String host, int port,
706             this.port = port;
764      * Gets the port number of this <code>URL</code>.
766      * @return  the port number, or -1 if the port is not set
769         return port;
773      * Gets the default port number of the protocol associated
775      * for the URL do not define a default port number,
778      * @return  the port number
839      * equivalent hosts, have the same port number on the host, and the same
1276             ((host != null && host.length() > 0) || port != -1)) {
1279             authority = (port == -1) ? host : host + ":" + port;