42
43 public class FileURLMapper {
44
45 URL url;
46 String path;
47
48 public FileURLMapper (URL url) {
49 this.url = url;
50 }
51
52 /**
53 * @return the platform specific path corresponding to the URL
54 * so long as the URL does not contain a hostname in the authority field.
55 */
56
57 public String getPath () {
58 if (path != null) {
59 return path;
60 }
61 String host = url.getHost();
62 if (host == null || "".equals(host) || "localhost".equalsIgnoreCase (host)) {
63 path = url.getFile();
64 path = ParseUtil.decode (path);
65 }
66 return path;
67 }
68
69 /**
70 * Checks whether the file identified by the URL exists.
71 */
72 public boolean exists () {
73 String s = getPath ();
74 if (s == null) {
75 return false;
76 } else {
77 File f = new File (s);
78 return f.exists();
79 }
80 }
81 }
|
42
43 public class FileURLMapper {
44
45 URL url;
46 String path;
47
48 public FileURLMapper (URL url) {
49 this.url = url;
50 }
51
52 /**
53 * @return the platform specific path corresponding to the URL
54 * so long as the URL does not contain a hostname in the authority field.
55 */
56
57 public String getPath () {
58 if (path != null) {
59 return path;
60 }
61 String host = url.getHost();
62 if (host == null || host.isEmpty() || "localhost".equalsIgnoreCase(host)) {
63 path = url.getFile();
64 path = ParseUtil.decode(path);
65 }
66 return path;
67 }
68
69 /**
70 * Checks whether the file identified by the URL exists.
71 */
72 public boolean exists () {
73 String s = getPath ();
74 if (s == null) {
75 return false;
76 } else {
77 File f = new File (s);
78 return f.exists();
79 }
80 }
81 }
|