Changeset 6455

Timestamp:

2004-01-12T15:56:41+13:00 (20 years ago)

Author:

cs025

Message:

Layout changes only.

File:

• trunk/gsdl3/src/java/org/greenstone/gsdl3/gs3build/util/URLString.java (modified) (3 diffs)

trunk/gsdl3/src/java/org/greenstone/gsdl3/gs3build/util/URLString.java

@@ -128 +128 @@
 
     fromdir = from.substring(0, from.lastIndexOf('/'));
-    todir   = to.substring(0, to.lastIndexOf('/'));
+    todir   = to.substring(0, to.lastIndexOf('/'));
 
     if (fromdir.equals(todir))
@@ -315 +315 @@
 
   public void tidy()
-    { this.url = tidyURL(this.url);
-    }
-
-    public boolean isNull()
-    { if (this.url == null)
-        { return true;
-        } 
-        return false;
-    }
-
-    public static boolean isForeign(String home, URL url)
-    { if (url.toString().length() < home.length())
-        { return true;
-        }
-
-        if (home.equals(url.toString().substring(0, home.length())))
-        { return false;
-        }
-        return true;
-    }
-
-    /**
-     *  Remove any trailing "#localanchor" local reference from a URL string
-     *
-     *  @param  <code>String</code> the original url
-     *  @return <code>String</code> the cleaned url, sans local references
-     */
-    public static String noRef(String target)
-    {   if (target == null)
-        {   return null;
-        }
-        if (target.indexOf('#') >= 0)
-        { if (target.indexOf('#') == 0)
-            { return null;
-            }
-            target = target.substring(0, target.indexOf('#'));
-        }
-        return target;
-    }
-
-    /**
-     *  Obtain the trailing local anchor reference from a URL, 
-     *  if it exists.
-     *    e.g. for http://www.test.mdx.ac.uk/example/index.html#credits the
-     *         response would be "credits"
-     *
-     *  @param  <code>String</code> the original url.
-     *  @return <code>String</code> the local reference.  <code>null</code> is
-     *                              returned if no local reference exists.
-     */
-    public static String subRef(String target)
-    {   if (target.indexOf('#') >= 0)
-        {   return target.substring(target.indexOf('#')+1);
-        }
-        return null;
-    }
-
-    /**
-     *  Clean a URL of the form GET parameters.
-     *
-     *  @param  <code>String</code> the original url, with GET message parameters
-     *  @return <code>String</code> the cleaned url.
-     */
-    public static String noParameters(String url)
-    {   int                     c;
-
-        c = url.indexOf("?");
-        if (c < 0)
-        {   return url;
-        }
-        return url.substring(0, c);
-    }
+  { this.url = tidyURL(this.url);
+  }
+
+  public boolean isNull()
+  { if (this.url == null)
+    { return true;
+    } 
+    return false;
+  }
+
+  public static boolean isForeign(String home, URL url)
+  { if (url.toString().length() < home.length())
+    { return true;
+    }
+
+    if (home.equals(url.toString().substring(0, home.length())))
+    { return false;
+    }
+    return true;
+  }
+  
+  /**
+   *    Remove any trailing "#localanchor" local reference from a URL string
+   *
+   *  @param  <code>String</code> the original url
+   *  @return <code>String</code> the cleaned url, sans local references
+   */
+  public static String noRef(String target)
+  { if (target == null)
+    { return null;
+    }
+    if (target.indexOf('#') >= 0)
+    { if (target.indexOf('#') == 0)
+      { return null;
+      }
+      target = target.substring(0, target.indexOf('#'));
+    }
+    return target;
+  }
+
+  /**
+   *    Obtain the trailing local anchor reference from a URL, 
+   *  if it exists.
+   *    e.g. for http://www.test.mdx.ac.uk/example/index.html#credits the
+   *         response would be "credits"
+   *
+   *  @param  <code>String</code> the original url.
+   *  @return <code>String</code> the local reference.  <code>null</code> is
+   *                              returned if no local reference exists.
+   */
+  public static String subRef(String target)
+  { if (target.indexOf('#') >= 0)
+    {   return target.substring(target.indexOf('#')+1);
+    }
+    return null;
+  }
+
+  /**
+   *    Clean a URL of the form GET parameters.
+   *
+   *  @param  <code>String</code> the original url, with GET message parameters
+   *  @return <code>String</code> the cleaned url.
+   */
+  public static String noParameters(String url)
+  { int                     c;
+
+    c = url.indexOf("?");
+    if (c < 0)
+    { return url;
+    }
+    return url.substring(0, c);
+  }
 
     /**
@@ -610 +610 @@
     }
 
-    public static String extension(URL url)
-    { return extension(url.toString());
-    }
-
-    public String toString()
-    { return this.url;
-    }
+  public static String extension(URL url)
+  { return extension(url.toString());
+  }
+
+  public String toString()
+  { return this.url;
+  }
 }