Interface IDictionary
- public interface IDictionary
- extends Object
A dictionary with no duplication allowed: old (key, value) pairs are replaced by new pairs.

remove
(Object)
- returns the object associated with key if key is in this dictionary, null otherwise
retrieve
(Object)
- returns the object associated with key if key is in this dictionary, null otherwise
store
(Object, Object)
- Post: (key, val) is added to this dictionary, replacing the old pair if any

store
public abstract void store(Object key, Object val)
- Post: (key, val) is added to this dictionary, replacing the old pair if any.
retrieve
public abstract Object retrieve(Object key)
- returns the object associated with key if key is in this dictionary, null otherwise.
remove
public abstract Object remove(Object key)
- returns the object associated with key if key is in this dictionary, null otherwise.
afterwards, calling retrieve (key) will return null.