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.Dictionarypublic boolean isEmpty()
isEmpty in class java.util.Dictionarypublic java.util.Enumeration keys()
keys in class java.util.Dictionarypublic java.util.Enumeration elements()
elements in class java.util.Dictionarypublic java.lang.Object put(java.lang.Object key,
java.lang.Object value)
put in class java.util.Dictionarypublic java.lang.Object remove(java.lang.Object key)
remove in class java.util.Dictionarypublic int size()
size in class java.util.Dictionary