01: /*
02: * Copyright 2002-2003 Sun Microsystems, Inc. All Rights Reserved.
03: * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
04: *
05: * This code is free software; you can redistribute it and/or modify it
06: * under the terms of the GNU General Public License version 2 only, as
07: * published by the Free Software Foundation. Sun designates this
08: * particular file as subject to the "Classpath" exception as provided
09: * by Sun 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 Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
22: * CA 95054 USA or visit www.sun.com if you need additional information or
23: * have any 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: * (Solaris) 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/...
39: *
40: * @author Michael McMahon
41: * @version 1.10, 07/05/05
42: */
43:
44: public class FileURLMapper {
45:
46: URL url;
47: String path;
48:
49: public FileURLMapper(URL url) {
50: this .url = url;
51: }
52:
53: /**
54: * @returns the platform specific path corresponding to the URL
55: * so long as the URL does not contain a hostname in the authority field.
56: */
57:
58: public String getPath() {
59: if (path != null) {
60: return path;
61: }
62: String host = url.getHost();
63: if (host == null || "".equals(host)
64: || "localhost".equalsIgnoreCase(host)) {
65: path = url.getFile();
66: path = ParseUtil.decode(path);
67: }
68: return path;
69: }
70:
71: /**
72: * Checks whether the file identified by the URL exists.
73: */
74: public boolean exists() {
75: String s = getPath();
76: if (s == null) {
77: return false;
78: } else {
79: File f = new File(s);
80: return f.exists();
81: }
82: }
83: }
|