1 files changed, 107 insertions, 0 deletions
diff --git a/libjava/java/net/URLStreamHandler.java b/libjava/java/net/URLStreamHandler.java
new file mode 100644
index 0000000..29e0e6d
--- /dev/null
+++ b/libjava/java/net/URLStreamHandler.java
@@ -0,0 +1,107 @@
+// URLStreamHandler.java - Superclass of all stream protocol handlers.
+
+/* Copyright (C) 1999  Cygnus Solutions
+
+   This file is part of libgcj.
+
+This software is copyrighted work licensed under the terms of the
+Libgcj License.  Please consult the file "LIBGCJ_LICENSE" for
+details.  */
+
+package java.net;
+
+/**
+ * @author Warren Levy <warrenl@cygnus.com>
+ * @date March 4, 1999.
+ */
+
+/**
+ * Written using on-line Java Platform 1.2 API Specification, as well
+ * as "The Java Class Libraries", 2nd edition (Addison-Wesley, 1998).
+ * Status:  Believed complete and correct.
+ */
+
+public abstract class URLStreamHandler
+{
+  protected abstract URLConnection openConnection(URL u)
+    throws java.io.IOException;
+
+protected void parseURL(URL u, String spec, int start, int limit)
+  {
+    String tmpStr;
+    String host = "";	// Initialize to null string.
+    String file;
+    int port = -1;
+    int colon;
+
+    /* TBD: The JDK 1.2 doc specifically says that limit is the position
+     * to stop parsing at and that it will be either the end of the string
+     * or the position of '#'; thus the doc infers that this method does
+     * not set the ref.
+     */
+    tmpStr = spec.substring(start, limit);
+    int hostEnd = 0;
+    if (tmpStr.startsWith("//"))
+      {
+	int slash = tmpStr.indexOf('/', 2);
+	hostEnd = tmpStr.length();
+	if (slash >= 0)
+	  hostEnd = slash;
+
+	host = tmpStr.substring(2, hostEnd);
+
+	// Look for optional port number.
+	if ((colon = host.indexOf(':')) >= 0)
+	  {
+	    try
+	      {
+		port = Integer.parseInt(host.substring(colon + 1));
+	      }
+	    catch (NumberFormatException e)
+	      {
+		; // Ignore invalid port values; port is already set to -1.
+	      }
+	    host = host.substring(0, colon);
+	  }
+      }
+
+    if (hostEnd < tmpStr.length())
+      file = ((tmpStr.startsWith("/")) ? "" : "/") + tmpStr.substring(hostEnd);
+    else
+      file = "/";
+
+    u.set(u.getProtocol(), host, port, file, u.getRef());
+  }
+  
+  protected void setURL(URL u, String protocol, String host, int port,
+			String file, String ref)
+  {
+    u.set(protocol, host, port, file, ref);
+  }
+
+  protected String toExternalForm(URL u)
+  {
+    String resStr, host, file, ref;
+    int port;
+
+    resStr = u.getProtocol() + ":";
+    host = u.getHost();
+    port = u.getPort();
+    file = u.getFile();
+    ref = u.getRef();
+
+    if (! host.equals(""))
+      {
+        resStr = resStr + "//" + host;
+	if (port >= 0)
+	  resStr = resStr + ":" + port;
+      }
+
+    resStr = resStr + file;
+
+    if (ref != null)
+      resStr = resStr + "#" + ref;
+
+    return resStr;
+  }
+}