()
| 443 | /// |
| 444 | /// - `URISyntaxException` |
| 445 | public URI toURI() throws URISyntaxException { |
| 446 | String path = getAbsolutePath(); |
| 447 | path = path.substring(6); |
| 448 | path = StringUtil.replaceAll(path, "\\", "/"); |
| 449 | while (path.startsWith("/")) { |
| 450 | path = path.substring(1); |
| 451 | } |
| 452 | path = "/" + path; |
| 453 | return new URI("file", null, path, null, null); |
| 454 | |
| 455 | |
| 456 | } |
| 457 | |
| 458 | /// Interface to filter filenames. |
| 459 | public interface FilenameFilter { |
no test coverage detected