jrtfs URI to Path and Path to URI conversions are wrong

XMLWordPrintable

    • Type: Bug
    • Resolution: Fixed
    • Priority: P3
    • 13
    • Affects Version/s: 13
    • Component/s: tools
    • b24
    • generic
    • generic

        Consider the following:

                var uri = URI.create("jrt:/java.base/module-info.class");
                var path = Path.of(uri);
                assertTrue(Files.exists(path));

        This fails because the file path returned by JrtFIleSystemProvider getPath(URI) is "/java.base/module-info.class", it should be "/modules/java.base/module-info.class".

        If this bug is fixed then the following round trip should also work:

                // check round-trip
                var jrtfs = FileSystems.getFileSystem(URI.create("jrt:/"));
                assertTrue(Files.exists(jrtfs.getPath(path.toString())));

              Assignee:
              Sundararajan Athijegannathan
              Reporter:
              Sundararajan Athijegannathan
              Votes:
              0 Vote for this issue
              Watchers:
              1 Start watching this issue

                Created:
                Updated:
                Resolved: