URLConnection.java, [...]: Added implementation of getHeaderFields().

2003-08-23  Michael Koch  <konqueror@gmx.de>

       * java/net/URLConnection.java,
       java/netJarURLConnection.java,
       gnu/gcj/protocol/core/Connection.java,
       gnu/gcj/protocol/file/Connection.java,
       gnu/gcj/protocol/http/Connection.java: Added implementation of
       getHeaderFields().

From-SVN: r56532

libjava/ChangeLog

@@ -1,3 +1,12 @@
+2003-08-23  Michael Koch  <konqueror@gmx.de>
+
+	* java/net/URLConnection.java,
+	java/netJarURLConnection.java,
+	gnu/gcj/protocol/core/Connection.java,
+	gnu/gcj/protocol/file/Connection.java,
+	gnu/gcj/protocol/http/Connection.java: Added implementation of
+	getHeaderFields().
+
 2002-08-22  Tom Tromey  <tromey@redhat.com>
 
 	* gij.cc (help): Document -cp and -classpath.

libjava/gnu/gcj/protocol/core/Connection.java

@@ -13,6 +13,7 @@ package gnu.gcj.protocol.core;
 import gnu.gcj.Core;
 import java.net.*;
 import java.io.*;
+import java.util.Map;
 import java.util.Vector;
 import java.util.Hashtable;
 import java.util.Enumeration;
@@ -71,6 +72,20 @@ class Connection extends URLConnection
     return (String) hdrHash.get(name.toLowerCase());
   }
 
+  // Override default method in URLConnection.
+  public Map getHeaderFields()
+  {
+    try
+      {
+	getHeaders();
+      }
+    catch (IOException x)
+      {
+	return null;
+      }
+    return hdrHash;
+  }
+
   // Override default method in URLConnection.
   public String getHeaderField(int n)
   {

libjava/gnu/gcj/protocol/file/Connection.java

@@ -12,6 +12,7 @@ package gnu.gcj.protocol.file;
 
 import java.net.*;
 import java.io.*;
+import java.util.Map;
 import java.util.Vector;
 import java.util.Hashtable;
 import java.util.Enumeration;
@@ -95,6 +96,20 @@ class Connection extends URLConnection
     return (String) hdrHash.get(name.toLowerCase());
   }
 
+  // Override default method in URLConnection.
+  public Map getHeaderFields()
+  {
+    try
+      {
+	getHeaders();
+      }
+    catch (IOException x)
+      {
+	return null;
+      }
+    return hdrHash;
+  }
+
   // Override default method in URLConnection.
   public String getHeaderField(int n)
   {

libjava/gnu/gcj/protocol/http/Connection.java

@@ -12,6 +12,7 @@ package gnu.gcj.protocol.http;
 
 import java.net.*;
 import java.io.*;
+import java.util.Map;
 import java.util.Vector;
 import java.util.Hashtable;
 import java.util.Enumeration;
@@ -167,6 +168,22 @@ class Connection extends HttpURLConnection
     return (String) hdrHash.get(name.toLowerCase());
   }
 
+  // Override default method in URLConnection.
+  public Map getHeaderFields()
+  {
+    if (!connected)
+      try
+        {
+	  connect();
+	}
+      catch (IOException x)
+        {
+	  return null;
+	}
+
+    return hdrHash;
+  }
+
   // Override default method in URLConnection.
   public String getHeaderField(int n)
   {

libjava/java/net/JarURLConnection.java

@@ -12,6 +12,7 @@ import java.net.*;
 import java.io.*;
 import java.util.jar.*;
 import java.util.zip.*;
+import java.util.Map;
 import java.util.Vector;
 import java.util.Hashtable;
 
@@ -214,6 +215,20 @@ public abstract class JarURLConnection extends URLConnection
     return (String) hdrHash.get(name.toLowerCase());
   }
 
+  // Override default method in URLConnection.
+  public Map getHeaderFields()
+  {
+    try
+      {
+        getHeaders();
+      }
+    catch (IOException x)
+      {
+        return null;
+      }
+    return hdrHash;
+  }
+
   // Override default method in URLConnection.
   public String getHeaderField(int n)
   {

libjava/java/net/URLConnection.java

@@ -17,6 +17,7 @@ import java.text.SimpleDateFormat;
 import java.util.Date;
 import java.util.Locale;
 import java.util.Hashtable;
+import java.util.Map;
 import java.util.StringTokenizer;
 import gnu.gcj.io.MimeTypes;
 
@@ -107,6 +108,15 @@ public abstract class URLConnection
     return null;
   }
 
+  /**
+   * @since 1.4
+   */
+  public Map getHeaderFields()
+  {
+    // Subclasses for specific protocols override this.
+    return null;
+  }
+
   public int getHeaderFieldInt(String name, int val)
   {
     String str = getHeaderField(name);