Here you can find the source of normalizeURL(URL codebase)
Parameter | Description |
---|---|
codebase | - the original URL. |
public static URL normalizeURL(URL codebase)
//package com.java2s; /*//from ww w . j a v a 2 s . co m * Licensed to the Apache Software Foundation (ASF) under one or more * contributor license agreements. See the NOTICE file distributed with * this work for additional information regarding copyright ownership. * The ASF licenses this file to You under the Apache License, Version 2.0 * (the "License"); you may not use this file except in compliance with * the License. You may obtain a copy of the License at * * http://www.apache.org/licenses/LICENSE-2.0 * * Unless required by applicable law or agreed to in writing, software * distributed under the License is distributed on an "AS IS" BASIS, * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. * See the License for the specific language governing permissions and * limitations under the License. */ import java.io.File; import java.net.URI; import java.net.URISyntaxException; import java.net.URL; public class Main { /** * Normalizes URLs to standard ones, eliminating pathname symbols. * * @param codebase - * the original URL. * @return - the normalized URL. */ public static URL normalizeURL(URL codebase) { if (codebase != null && "file".equals(codebase.getProtocol())) { try { if (codebase.getHost().length() == 0) { String path = codebase.getFile(); if (path.length() == 0) { // codebase is "file:" path = "*"; } return filePathToURI(new File(path).getAbsolutePath()).normalize().toURL(); } else { // codebase is "file://<smth>" return codebase.toURI().normalize().toURL(); } } catch (Exception e) { // Ignore } } return codebase; } /** * Converts a file path to URI without accessing file system * (like {File#toURI()} does). * * @param path - * file path. * @return - the resulting URI. * @throw URISyntaxException */ public static URI filePathToURI(String path) throws URISyntaxException { path = path.replace(File.separatorChar, '/'); if (!path.startsWith("/")) { return new URI("file", null, new StringBuilder(path.length() + 1).append('/').append(path).toString(), null, null); } return new URI("file", null, path, null, null); } }