1 /* 2 * Copyright (c) 2002, 2003, Oracle and/or its affiliates. All rights reserved. 3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER. 4 * 5 * This code is free software; you can redistribute it and/or modify it 6 * under the terms of the GNU General Public License version 2 only, as 7 * published by the Free Software Foundation. Oracle designates this 8 * particular file as subject to the "Classpath" exception as provided 9 * by Oracle in the LICENSE file that accompanied this code. 10 * 11 * This code is distributed in the hope that it will be useful, but WITHOUT 12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14 * version 2 for more details (a copy is included in the LICENSE file that 15 * accompanied this code). 16 * 17 * You should have received a copy of the GNU General Public License version 18 * 2 along with this work; if not, write to the Free Software Foundation, 19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA. 20 * 21 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA 22 * or visit www.oracle.com if you need additional information or have any 23 * questions. 24 */ 25 26 package jdk.internal.loader; 27 28 import java.net.URL; 29 import java.io.File; 30 import sun.net.www.ParseUtil; 31 32 /** 33 * (Unix) platform specific handling for file: URLs . 34 * URLs must not contain a hostname in the authority field 35 * other than "localhost". 36 * 37 * This implementation could be updated to map such URLs 38 * on to /net/host/... on system using such an automounter map. 39 * 40 * @author Michael McMahon 41 */ 42 43 public class FileURLMapper { 44 final URL url; 45 String path; 46 47 public FileURLMapper(URL url) { 48 this.url = url; 49 } 50 51 /** 52 * @return the platform specific path corresponding to the URL 53 * so long as the URL does not contain a hostname in the authority field. 54 */ 55 public String getPath() { 56 if (path != null) { 57 return path; 58 } 59 String host = url.getHost(); 60 if (host == null || host.isEmpty() || "localhost".equalsIgnoreCase(host)) { 61 path = url.getFile(); 62 path = ParseUtil.decode(path); 63 } 64 return path; 65 } 66 67 /** 68 * Checks whether the file identified by the URL exists. 69 */ 70 public boolean exists() { 71 String s = getPath(); 72 return s != null && new File(s).exists(); 73 } 74 }