public class UnmodifiableCaseInsensitiveMapDictionary<V>
extends java.util.Dictionary<java.lang.String,V>
| Constructor and Description |
|---|
UnmodifiableCaseInsensitiveMapDictionary(java.util.Map<java.lang.String,V> map) |
| Modifier and Type | Method and Description |
|---|---|
java.util.Enumeration<V> |
elements() |
V |
get(java.lang.Object key) |
boolean |
isEmpty() |
java.util.Enumeration<java.lang.String> |
keys() |
V |
put(java.lang.String key,
V value) |
V |
remove(java.lang.Object key) |
int |
size() |
public UnmodifiableCaseInsensitiveMapDictionary(java.util.Map<java.lang.String,V> map)
public java.util.Enumeration<V> elements()
elements in class java.util.Dictionary<java.lang.String,V>public V get(java.lang.Object key)
get in class java.util.Dictionary<java.lang.String,V>public boolean isEmpty()
isEmpty in class java.util.Dictionary<java.lang.String,V>public java.util.Enumeration<java.lang.String> keys()
keys in class java.util.Dictionary<java.lang.String,V>public V put(java.lang.String key, V value)
put in class java.util.Dictionary<java.lang.String,V>public V remove(java.lang.Object key)
remove in class java.util.Dictionary<java.lang.String,V>public int size()
size in class java.util.Dictionary<java.lang.String,V>