org.knopflerfish.framework
Class HeaderDictionary

java.lang.Object
  java.util.Dictionary
      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