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>