Method toPath

basex-core/src/main/java/org/basex/io/IOFile.java:98–106

Converts the specified URI to a file path. @param uri URI to be converted @return file path

(final String uri)

   * @return file path
   */
  static String toPath(final String uri) {
    try {
      return new URL(uri).toURI().getPath();
    } catch(final Exception ex) {
      Util.debug(ex);
      // workaround for URIs with invalid characters
      return uri.replaceAll("^" + FILEPREF + '*', "/").replaceFirst("^/([A-Za-z]:)", "$1");
    }
  }

  /**
   * Returns the file reference.