private static class FilterImpl.CaseInsensitiveDictionary
extends java.util.Dictionary
Modifier and Type | Field and Description |
---|---|
private java.util.Dictionary |
dictionary |
private java.lang.String[] |
keys |
Constructor and Description |
---|
CaseInsensitiveDictionary(java.util.Dictionary dictionary)
Create a case insensitive dictionary from the specified dictionary.
|
Modifier and Type | Method and Description |
---|---|
java.util.Enumeration |
elements() |
java.lang.Object |
get(java.lang.Object o) |
boolean |
isEmpty() |
java.util.Enumeration |
keys() |
java.lang.Object |
put(java.lang.Object key,
java.lang.Object value) |
java.lang.Object |
remove(java.lang.Object key) |
int |
size() |
private final java.util.Dictionary dictionary
private final java.lang.String[] keys
CaseInsensitiveDictionary(java.util.Dictionary dictionary)
dictionary
- java.lang.IllegalArgumentException
- If dictionary
contains
case variants of the same key name.public java.lang.Object get(java.lang.Object o)
get
in class java.util.Dictionary
public boolean isEmpty()
isEmpty
in class java.util.Dictionary
public java.util.Enumeration keys()
keys
in class java.util.Dictionary
public java.util.Enumeration elements()
elements
in class java.util.Dictionary
public java.lang.Object put(java.lang.Object key, java.lang.Object value)
put
in class java.util.Dictionary
public java.lang.Object remove(java.lang.Object key)
remove
in class java.util.Dictionary
public int size()
size
in class java.util.Dictionary