private static class Event.UnmodifiableDictionary
extends java.util.Dictionary
Modifier and Type | Field and Description |
---|---|
private java.util.Map |
wrapped |
Constructor and Description |
---|
UnmodifiableDictionary(java.util.Map wrapped) |
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) |
int |
size() |
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