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  */
  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      * @returns 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 ();

  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  */
  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 ();