Lines Matching refs:port
97 int port = -1;
117 * Extract the host and port. The host may be an IPv6 address with
118 * colons like "[::1]", in which case we look for the port delimiter
134 port = Integer.parseInt(spec.substring(portStart, fileStart));
135 if (port < 0) {
136 throw new IllegalArgumentException("port < 0: " + port);
151 port = url.getPort();
192 setURL(url, url.getProtocol(), host, port, authority, userInfo, path, query, ref);
219 * @param port
220 * the port number.
229 protected void setURL(URL u, String protocol, String host, int port,
234 u.set(protocol, host, port, file, ref);
241 protected void setURL(URL u, String protocol, String host, int port,
247 u.set(protocol, host, port, authority, userInfo, path, query, ref);
302 * port, file, and reference.
311 * Returns the default port of the protocol used by the handled URL. The
352 * port and file.