private static final class Event.FilterProperties
extends java.util.Dictionary<java.lang.String,java.lang.Object>
Modifier and Type | Field and Description |
---|---|
private EventProperties |
properties |
private java.lang.String |
topic |
Constructor and Description |
---|
FilterProperties(java.lang.String topic,
EventProperties properties) |
Modifier and Type | Method and Description |
---|---|
java.util.Enumeration<java.lang.Object> |
elements() |
java.lang.Object |
get(java.lang.Object key) |
boolean |
isEmpty() |
java.util.Enumeration<java.lang.String> |
keys() |
java.lang.Object |
put(java.lang.String key,
java.lang.Object value) |
java.lang.Object |
remove(java.lang.Object key) |
int |
size() |
private final java.lang.String topic
private final EventProperties properties
FilterProperties(java.lang.String topic, EventProperties properties)
public java.util.Enumeration<java.lang.Object> elements()
elements
in class java.util.Dictionary<java.lang.String,java.lang.Object>
public java.lang.Object get(java.lang.Object key)
get
in class java.util.Dictionary<java.lang.String,java.lang.Object>
public boolean isEmpty()
isEmpty
in class java.util.Dictionary<java.lang.String,java.lang.Object>
public java.util.Enumeration<java.lang.String> keys()
keys
in class java.util.Dictionary<java.lang.String,java.lang.Object>
public java.lang.Object put(java.lang.String key, java.lang.Object value)
put
in class java.util.Dictionary<java.lang.String,java.lang.Object>
public java.lang.Object remove(java.lang.Object key)
remove
in class java.util.Dictionary<java.lang.String,java.lang.Object>
public int size()
size
in class java.util.Dictionary<java.lang.String,java.lang.Object>