It would be nice if there was a way to easily convert from a URL to a
URI similar to the functionality we currently have in URI.toURL().
e.g.
public URI toURI() {
return new URI(toExternalForm());
}
-- iag@sfbay 2002-06-12
URI similar to the functionality we currently have in URI.toURL().
e.g.
public URI toURI() {
return new URI(toExternalForm());
}
-- iag@sfbay 2002-06-12
- duplicates
-
JDK-4499433 URL should have toURI()
-
- Closed
-
- relates to
-
JDK-4701321 (cl) ClassLoader.getSystemResource returns URL with spurious leading slash
-
- Closed
-
-
JDK-4701415 File(URL url) convenience method
-
- Closed
-