public class MapToDictionary
extends java.util.Dictionary
Modifier and Type | Field and Description |
---|---|
private java.util.Map |
map
Map source.
|
Constructor and Description |
---|
MapToDictionary(java.util.Map map) |
Modifier and Type | Method and Description |
---|---|
java.util.Enumeration |
elements() |
java.lang.Object |
get(java.lang.Object key) |
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) |
void |
setSourceMap(java.util.Map map) |
int |
size() |
public void setSourceMap(java.util.Map map)
public java.util.Enumeration elements()
elements
in class java.util.Dictionary
public java.lang.Object get(java.lang.Object key)
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.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