Definition at line 50 of file HeaderDictionary.java.
Public Member Functions | |
HeaderDictionary (Attributes in) | |
Create a dictionary from manifest attributes. | |
HeaderDictionary (Hashtable t) | |
Create a dictionary of an existing Hashtable. | |
Enumeration | elements () |
Returns an enumeration of the values in this dictionary. | |
Object | get (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. | |
Enumeration | keys () |
Returns an enumeration of the keys in this dictionary. | |
Object | put (Object key, Object value) |
Maps the specified key to the specified value in this dictionary. | |
Object | remove (Object key) |
Removes the key (and its corresponding value) from this dictionary. | |
int | size () |
Returns the number of entries (distinct keys) in this dictionary. | |
Object | clone () |
Clone. |