| /* Headers.java -- |
| Copyright (C) 2004 Free Software Foundation, Inc. |
| |
| This file is part of GNU Classpath. |
| |
| GNU Classpath is free software; you can redistribute it and/or modify |
| it under the terms of the GNU General Public License as published by |
| the Free Software Foundation; either version 2, or (at your option) |
| any later version. |
| |
| GNU Classpath is distributed in the hope that it will be useful, but |
| WITHOUT ANY WARRANTY; without even the implied warranty of |
| MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
| General Public License for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GNU Classpath; see the file COPYING. If not, write to the |
| Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA |
| 02111-1307 USA. |
| |
| Linking this library statically or dynamically with other modules is |
| making a combined work based on this library. Thus, the terms and |
| conditions of the GNU General Public License cover the whole |
| combination. |
| |
| As a special exception, the copyright holders of this library give you |
| permission to link this library with independent modules to produce an |
| executable, regardless of the license terms of these independent |
| modules, and to copy and distribute the resulting executable under |
| terms of your choice, provided that you also meet, for each linked |
| independent module, the terms and conditions of the license of that |
| module. An independent module is a module which is not derived from |
| or based on this library. If you modify this library, you may extend |
| this exception to your version of the library, but you are not |
| obligated to do so. If you do not wish to do so, delete this |
| exception statement from your version. */ |
| |
| |
| package gnu.java.net.protocol.http; |
| |
| import gnu.java.net.LineInputStream; |
| |
| import java.io.InputStream; |
| import java.io.IOException; |
| import java.text.DateFormat; |
| import java.text.ParseException; |
| import java.util.Collection; |
| import java.util.Date; |
| import java.util.Iterator; |
| import java.util.LinkedHashMap; |
| import java.util.LinkedHashSet; |
| import java.util.Map; |
| import java.util.Set; |
| |
| /** |
| * A collection of HTTP header names and associated values. |
| * Retrieval of values is case insensitive. An iteration over the keys |
| * returns the header names in the order they were received. |
| * |
| * @author Chris Burdess (dog@gnu.org) |
| */ |
| public class Headers |
| implements Map |
| { |
| |
| static final DateFormat dateFormat = new HTTPDateFormat(); |
| |
| static class Header |
| { |
| |
| final String name; |
| |
| Header(String name) |
| { |
| if (name == null || name.length() == 0) |
| { |
| throw new IllegalArgumentException(name); |
| } |
| this.name = name; |
| } |
| |
| public int hashCode() |
| { |
| return name.toLowerCase().hashCode(); |
| } |
| |
| public boolean equals(Object other) |
| { |
| if (other instanceof Header) |
| { |
| return ((Header) other).name.equalsIgnoreCase(name); |
| } |
| return false; |
| } |
| |
| public String toString() |
| { |
| return name; |
| } |
| |
| } |
| |
| static class HeaderEntry |
| implements Map.Entry |
| { |
| |
| final Map.Entry entry; |
| |
| HeaderEntry(Map.Entry entry) |
| { |
| this.entry = entry; |
| } |
| |
| public Object getKey() |
| { |
| return ((Header) entry.getKey()).name; |
| } |
| |
| public Object getValue() |
| { |
| return entry.getValue(); |
| } |
| |
| public Object setValue(Object value) |
| { |
| return entry.setValue(value); |
| } |
| |
| public int hashCode() |
| { |
| return entry.hashCode(); |
| } |
| |
| public boolean equals(Object other) |
| { |
| return entry.equals(other); |
| } |
| |
| public String toString() |
| { |
| return getKey().toString() + "=" + getValue(); |
| } |
| |
| } |
| |
| private LinkedHashMap headers; |
| |
| public Headers() |
| { |
| headers = new LinkedHashMap(); |
| } |
| |
| public int size() |
| { |
| return headers.size(); |
| } |
| |
| public boolean isEmpty() |
| { |
| return headers.isEmpty(); |
| } |
| |
| public boolean containsKey(Object key) |
| { |
| return headers.containsKey(new Header((String) key)); |
| } |
| |
| public boolean containsValue(Object value) |
| { |
| return headers.containsValue(value); |
| } |
| |
| public Object get(Object key) |
| { |
| return headers.get(new Header((String) key)); |
| } |
| |
| /** |
| * Returns the value of the specified header as a string. |
| */ |
| public String getValue(String header) |
| { |
| return (String) headers.get(new Header(header)); |
| } |
| |
| /** |
| * Returns the value of the specified header as an integer, |
| * or -1 if the header is not present or not an integer. |
| */ |
| public int getIntValue(String header) |
| { |
| String val = getValue(header); |
| if (val == null) |
| { |
| return -1; |
| } |
| try |
| { |
| return Integer.parseInt(val); |
| } |
| catch (NumberFormatException e) |
| { |
| } |
| return -1; |
| } |
| |
| /** |
| * Returns the value of the specified header as a date, |
| * or <code>null</code> if the header is not present or not a date. |
| */ |
| public Date getDateValue(String header) |
| { |
| String val = getValue(header); |
| if (val == null) |
| { |
| return null; |
| } |
| try |
| { |
| return dateFormat.parse(val); |
| } |
| catch (ParseException e) |
| { |
| return null; |
| } |
| } |
| |
| public Object put(Object key, Object value) |
| { |
| return headers.put(new Header((String) key), value); |
| } |
| |
| public Object remove(Object key) |
| { |
| return headers.remove(new Header((String) key)); |
| } |
| |
| public void putAll(Map t) |
| { |
| for (Iterator i = t.keySet().iterator(); i.hasNext(); ) |
| { |
| String key = (String) i.next(); |
| String value = (String) t.get(key); |
| headers.put(new Header(key), value); |
| } |
| } |
| |
| public void clear() |
| { |
| headers.clear(); |
| } |
| |
| public Set keySet() |
| { |
| Set keys = headers.keySet(); |
| Set ret = new LinkedHashSet(); |
| for (Iterator i = keys.iterator(); i.hasNext(); ) |
| { |
| ret.add(((Header) i.next()).name); |
| } |
| return ret; |
| } |
| |
| public Collection values() |
| { |
| return headers.values(); |
| } |
| |
| public Set entrySet() |
| { |
| Set entries = headers.entrySet(); |
| Set ret = new LinkedHashSet(); |
| for (Iterator i = entries.iterator(); i.hasNext(); ) |
| { |
| Map.Entry entry = (Map.Entry) i.next(); |
| ret.add(new HeaderEntry(entry)); |
| } |
| return ret; |
| } |
| |
| public boolean equals(Object other) |
| { |
| return headers.equals(other); |
| } |
| |
| public int hashCode() |
| { |
| return headers.hashCode(); |
| } |
| |
| /** |
| * Parse the specified input stream, adding headers to this collection. |
| */ |
| public void parse(InputStream in) |
| throws IOException |
| { |
| LineInputStream lin = (in instanceof LineInputStream) ? |
| (LineInputStream) in : new LineInputStream(in); |
| |
| String name = null; |
| StringBuffer value = new StringBuffer(); |
| while (true) |
| { |
| String line = lin.readLine(); |
| if (line == null) |
| { |
| if (name != null) |
| { |
| addValue(name, value.toString()); |
| } |
| break; |
| } |
| int len = line.length(); |
| if (len < 2) |
| { |
| if (name != null) |
| { |
| addValue(name, value.toString()); |
| } |
| break; |
| } |
| char c1 = line.charAt(0); |
| if (c1 == ' ' || c1 == '\t') |
| { |
| // Continuation |
| int last = len - 1; |
| if (line.charAt(last) != '\r') |
| ++last; |
| value.append(line.substring(0, last)); |
| } |
| else |
| { |
| if (name != null) |
| { |
| addValue(name, value.toString()); |
| } |
| |
| int di = line.indexOf(':'); |
| name = line.substring(0, di); |
| value.setLength(0); |
| do |
| { |
| di++; |
| } |
| while (di < len && line.charAt(di) == ' '); |
| int last = len - 1; |
| if (line.charAt(last) != '\r') |
| ++last; |
| value.append(line.substring(di, last)); |
| } |
| } |
| } |
| |
| private void addValue(String name, String value) |
| { |
| Header key = new Header(name); |
| String old = (String) headers.get(key); |
| if (old == null) |
| { |
| headers.put(key, value); |
| } |
| else |
| { |
| headers.put(key, old + ", " + value); |
| } |
| } |
| |
| } |
| |