В конкретной программе я передал URL file:
, и мне нужно преобразовать его в объект URI
. Использование метода toURI
вызовет java.net.URISyntaxException
, если в URL есть пробелы или любые другие недопустимые символы.
Например:
URL url = Platform.getInstallURL(); // file:/Applications/Program
System.out.println(url.toURI()); // prints file:/Applications/Program
URL url = Platform.getConfigurationURL(); // file:/Users/Andrew Eisenberg
System.out.println(url.toURI()); // throws java.net.URISyntaxException because of the space
Каков наилучший способ выполнения этого преобразования, чтобы обрабатывались все специальные символы?