org.knopflerfish.framework
public class HeaderDictionary extends java.util.Dictionary implements java.lang.Cloneable
Constructor and Description |
---|
HeaderDictionary(java.util.jar.Attributes in)
Create a dictionary from manifest attributes.
|
HeaderDictionary(java.util.Hashtable t)
Create a dictionary of an existing Hashtable.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
clone()
Clone
|
java.util.Enumeration |
elements()
Returns an enumeration of the values in this dictionary.
|
java.lang.Object |
get(java.lang.Object key)
Returns the value to which the key is mapped in this dictionary.
|
boolean |
isEmpty()
Tests if this dictionary maps no keys to value.
|
java.util.Enumeration |
keys()
Returns an enumeration of the keys in this dictionary.
|
java.lang.Object |
put(java.lang.Object key,
java.lang.Object value)
Maps the specified key to the specified value in this dictionary.
|
java.lang.Object |
remove(java.lang.Object key)
Removes the key (and its corresponding value) from this dictionary.
|
int |
size()
Returns the number of entries (distinct keys) in this dictionary.
|
java.lang.String |
toString() |
public HeaderDictionary(java.util.jar.Attributes in)
public HeaderDictionary(java.util.Hashtable t)
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
public java.lang.Object clone()
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object