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.Dictionarypublic java.lang.Object get(java.lang.Object key)
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.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