org.knopflerfish.framework
Class HeaderDictionary

java.lang.Object
  extended by java.util.Dictionary
      extended by org.knopflerfish.framework.HeaderDictionary
All Implemented Interfaces:
java.lang.Cloneable

public class HeaderDictionary
extends java.util.Dictionary
implements java.lang.Cloneable

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

HeaderDictionary

public HeaderDictionary(java.util.jar.Attributes in)
Create a dictionary from manifest attributes.


HeaderDictionary

public HeaderDictionary(java.util.Hashtable t)
Create a dictionary of an existing Hashtable.

Method Detail

elements

public java.util.Enumeration elements()
Returns an enumeration of the values in this dictionary.

Specified by:
elements in class java.util.Dictionary

get

public java.lang.Object get(java.lang.Object key)
Returns the value to which the key is mapped in this dictionary.

Specified by:
get in class java.util.Dictionary

isEmpty

public boolean isEmpty()
Tests if this dictionary maps no keys to value.

Specified by:
isEmpty in class java.util.Dictionary

keys

public java.util.Enumeration keys()
Returns an enumeration of the keys in this dictionary.

Specified by:
keys in class java.util.Dictionary

put

public java.lang.Object put(java.lang.Object key,
                            java.lang.Object value)
Maps the specified key to the specified value in this dictionary.

Specified by:
put in class java.util.Dictionary

remove

public java.lang.Object remove(java.lang.Object key)
Removes the key (and its corresponding value) from this dictionary.

Specified by:
remove in class java.util.Dictionary

size

public int size()
Returns the number of entries (distinct keys) in this dictionary.

Specified by:
size in class java.util.Dictionary

clone

public java.lang.Object clone()
Clone

Overrides:
clone in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object