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 }