|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.util.Dictionary
org.knopflerfish.framework.HeaderDictionary
public class HeaderDictionary
Dictonary for Bundle Manifest headers.
Constructor Summary | |
---|---|
HeaderDictionary(java.util.jar.Attributes in)
Create a dictionary from manifest attributes. |
|
HeaderDictionary(java.util.Hashtable t)
Create a dictionary of an existing Hashtable. |
Method Summary | |
---|---|
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()
|
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public HeaderDictionary(java.util.jar.Attributes in)
public HeaderDictionary(java.util.Hashtable t)
Method Detail |
---|
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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |