Changeset 4364 for trunk/gli/src/org/greenstone/gatherer/util/GURL.java

Timestamp:

2003-05-27T15:40:47+12:00 (21 years ago)

Author:

mdewsnip

Message:

Fixed tabbing.

File:

• trunk/gli/src/org/greenstone/gatherer/util/GURL.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/util/GURL.java

@@ -60 +60 @@
  */
 public class GURL
-     implements Cloneable, Serializable {
+    implements Cloneable, Serializable {
 
-     private Integer type;
+    private Integer type;
 
-     private URL url;
+    private URL url;
 
-     private String file;
-     private String host;
-     private String path;
-     private String protocol;
-     private String title = "empty";
+    private String file;
+    private String host;
+    private String path;
+    private String protocol;
+    private String title = "empty";
 
-     /** This Vector maintains a record of the url links from within
-      * this resource, and their type (EXTERNAL vs INTERNAL). Internal
-      * links can be 'hidden' from the user if desired, or a user can
-      * opt to have all internal links automatically moved into a
-      * collection if the page that depends upon them is moved. <BR>
-      * Each entry in the vector is of the form.
-      * links[i] = String url
-      * links[i+1] = int type
-      */
-     private Vector links;
+    /** This Vector maintains a record of the url links from within
+     * this resource, and their type (EXTERNAL vs INTERNAL). Internal
+     * links can be 'hidden' from the user if desired, or a user can
+     * opt to have all internal links automatically moved into a
+     * collection if the page that depends upon them is moved. <BR>
+     * Each entry in the vector is of the form.
+     * links[i] = String url
+     * links[i+1] = int type
+     */
+    private Vector links;
 
-     /* Static Integer identifiers for ease of use. */
-     static public Integer INTERNAL = new Integer(0);
-     static public Integer EXTERNAL = new Integer(1);
+    /* Static Integer identifiers for ease of use. */
+    static public Integer INTERNAL = new Integer(0);
+    static public Integer EXTERNAL = new Integer(1);
 
-     public GURL(String url_str) {
-          this(url_str, GURL.EXTERNAL);
-     }
+    public GURL(String url_str) {
+    this(url_str, GURL.EXTERNAL);
+    }
 
-     public GURL(URL url) {
-          this(url, GURL.EXTERNAL);
-     }
+    public GURL(URL url) {
+    this(url, GURL.EXTERNAL);
+    }
 
-     public GURL(URL url, Integer type) {
-          this.type = type;
-          this.url = url;
-     }
+    public GURL(URL url, Integer type) {
+    this.type = type;
+    this.url = url;
+    }
 
-     public GURL(String url_str, Integer type) {
-          this.type = type;
+    public GURL(String url_str, Integer type) {
+    this.type = type;
 
-          try {
-                if(!url_str.startsWith("file:") && url_str.indexOf("://") == -1) {
-                     url_str = "http://" + url_str;
-                }
-                url = new URL(url_str);
-          }
-          catch (MalformedURLException e) {
+    try {
+        if(!url_str.startsWith("file:") && url_str.indexOf("://") == -1) {
+        url_str = "http://" + url_str;
+        }
+        url = new URL(url_str);
+    }
+    catch (MalformedURLException e) {
                 // Fix it
-          }
-     }
+    }
+    }
 
-     public void addLink(String url) {
-          addLink(url, GURL.EXTERNAL);
-     }
+    public void addLink(String url) {
+    addLink(url, GURL.EXTERNAL);
+    }
 
-     public void addLink(String url, Integer type) {
-          if(links == null) {
-                links = new Vector();
-          }
-          links.add(url);
-          links.add(type);
-     }
+    public void addLink(String url, Integer type) {
+    if(links == null) {
+        links = new Vector();
+    }
+    links.add(url);
+    links.add(type);
+    }
 
-     /** Used by tree renderer to display name. So we'll only return the
-      * filename.
-      */
-     public String getFile() {
-          return parseFile(url.getFile());
-     }
+    /** Used by tree renderer to display name. So we'll only return the
+     * filename.
+     */
+    public String getFile() {
+    return parseFile(url.getFile());
+    }
 
-     public String getHost() {
-          return url.getHost();
-     }
+    public String getHost() {
+    return url.getHost();
+    }
 
-     public String getLocalFile() {
-          String local_file = getPath() + File.separator + getFile();
-          // Strip msdos roots if they're still there.
-            while(local_file.indexOf(":") != -1) {
-                local_file = local_file.substring(0, local_file.indexOf(":")) + local_file.substring(local_file.indexOf(":") + 1);
-            }
-          return local_file;
-     }
+    public String getLocalFile() {
+    String local_file = getPath() + File.separator + getFile();
+    // Strip msdos roots if they're still there.
+    while(local_file.indexOf(":") != -1) {
+        local_file = local_file.substring(0, local_file.indexOf(":")) + local_file.substring(local_file.indexOf(":") + 1);
+    }
+    return local_file;
+    }
 
-     public String getPath() {
-          return getHost() + parsePath(url.getFile());
-     }
+    public String getPath() {
+    return getHost() + parsePath(url.getFile());
+    }
 
-     public String getProtocol() {
-          String protocol = url.getProtocol();
-          if(protocol.equals("file")) {
-                return protocol + ":";
-          }
-          return protocol + "://";
-     }
+    public String getProtocol() {
+    String protocol = url.getProtocol();
+    if(protocol.equals("file")) {
+        return protocol + ":";
+    }
+    return protocol + "://";
+    }
 
-     public URL getURL() {
-          return url;
-     }
+    public URL getURL() {
+    return url;
+    }
 
-     public String toString() {
-          return url.toString();
-     }
+    public String toString() {
+    return url.toString();
+    }
 
-     public boolean valid() {
-          return (url != null);
-     }
+    public boolean valid() {
+    return (url != null);
+    }
 
-     private String parseFile(String raw) {
-          if(raw != null && !raw.equals("")) {
+    private String parseFile(String raw) {
+    if(raw != null && !raw.equals("")) {
                 // Remove everything upto and including the last '/'
-                if(raw.indexOf("/") != -1) {
-                     return raw.substring(raw.lastIndexOf("/") + 1);
-                }
-          }
-          return raw;
-     }
+        if(raw.indexOf("/") != -1) {
+        return raw.substring(raw.lastIndexOf("/") + 1);
+        }
+    }
+    return raw;
+    }
 
-     private String parsePath(String raw) {
-          if(raw != null && !raw.equals("")) {
+    private String parsePath(String raw) {
+    if(raw != null && !raw.equals("")) {
                 // Remove everything after the last "/"
-                if(raw.indexOf("/") != -1) {
-                     return raw.substring(0, raw.lastIndexOf("/"));
-                }
-          }
-          return raw;
-     }
+        if(raw.indexOf("/") != -1) {
+        return raw.substring(0, raw.lastIndexOf("/"));
+        }
+    }
+    return raw;
+    }
 
 }
-