()
| 428 | /// |
| 429 | /// - `MalformedURLException` |
| 430 | public URL toURL() throws MalformedURLException { |
| 431 | try { |
| 432 | return new URL(toURI()); |
| 433 | } catch (URISyntaxException ex) { |
| 434 | MalformedURLException err = new MalformedURLException("Invalid URL format: " + ex.getMessage()); |
| 435 | err.initCause(ex); |
| 436 | throw err; |
| 437 | } |
| 438 | } |
| 439 | |
| 440 | /// Converts this file to a URI. |
| 441 | /// |
nothing calls this directly
no test coverage detected