mirror of
https://github.com/openjdk/jdk.git
synced 2025-08-27 23:04:50 +02:00
8255477: Remove unused method URL.set(String protocol, String host, int port, String file, String ref)
Reviewed-by: dfuchs
This commit is contained in:
parent
e69ae07f08
commit
15481041e0
1 changed files with 0 additions and 33 deletions
|
@ -774,39 +774,6 @@ public final class URL implements java.io.Serializable {
|
|||
sm.checkPermission(SecurityConstants.SPECIFY_HANDLER_PERMISSION);
|
||||
}
|
||||
|
||||
/**
|
||||
* Sets the fields of the URL. This is not a public method so that
|
||||
* only URLStreamHandlers can modify URL fields. URLs are
|
||||
* otherwise constant.
|
||||
*
|
||||
* @param protocol the name of the protocol to use
|
||||
* @param host the name of the host
|
||||
* @param port the port number on the host
|
||||
* @param file the file on the host
|
||||
* @param ref the internal reference in the URL
|
||||
*/
|
||||
void set(String protocol, String host, int port,
|
||||
String file, String ref) {
|
||||
synchronized (this) {
|
||||
this.protocol = protocol;
|
||||
this.host = host;
|
||||
authority = port == -1 ? host : host + ":" + port;
|
||||
this.port = port;
|
||||
this.file = file;
|
||||
this.ref = ref;
|
||||
/* This is very important. We must recompute this after the
|
||||
* URL has been changed. */
|
||||
hashCode = -1;
|
||||
hostAddress = null;
|
||||
int q = file.lastIndexOf('?');
|
||||
if (q != -1) {
|
||||
query = file.substring(q+1);
|
||||
path = file.substring(0, q);
|
||||
} else
|
||||
path = file;
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Sets the specified 8 fields of the URL. This is not a public method so
|
||||
* that only URLStreamHandlers can modify URL fields. URLs are otherwise
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue