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 sun.misc; 27 28 import java.net.URL; 29 import java.io.File; 30 import sun.net.www.ParseUtil; 31 32 /** 33 * (Windows) Platform specific handling for file: URLs . In particular deals 34 * with network paths mapping them to UNCs. 35 * 36 * @author Michael McMahon 37 */ 38 39 public class FileURLMapper { 40 41 URL url; 42 String file; 43 44 public FileURLMapper (URL url) { 45 this.url = url; 46 } 47 48 /** 49 * @returns the platform specific path corresponding to the URL, and in particular 50 * returns a UNC when the authority contains a hostname 51 */ 52 53 public String getPath () { 54 if (file != null) { 55 return file; 56 } 57 String host = url.getHost(); 58 if (host != null && !host.equals("") && 59 !"localhost".equalsIgnoreCase(host)) { 60 String rest = url.getFile(); 61 String s = host + ParseUtil.decode (url.getFile()); 62 file = "\\\\"+ s.replace('/', '\\'); 63 return file; 64 } 65 String path = url.getFile().replace('/', '\\'); 66 file = ParseUtil.decode(path); 67 return file; 68 } 69 70 public boolean exists() { 71 String path = getPath(); 72 File f = new File (path); 73 return f.exists(); 74 } 75 }