scale.common
Class HashMap<K,V>

java.lang.Object
  extended by java.util.Dictionary<K,V>
      extended by java.util.Hashtable<K,V>
          extended by scale.common.HashMap<K,V>
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.util.Map<K,V>

public class HashMap<K,V>
extends java.util.Hashtable<K,V>
implements java.lang.Cloneable

A Scale cover class for a java.util.Hashtable.

$Id: HashMap.java,v 1.29 2006-01-25 20:07:14 burrill Exp $

Copyright 2008 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

See Also:
Serialized Form

Constructor Summary
HashMap()
           
HashMap(int capacity)
           
HashMap(java.util.Map<K,V> map)
           
 
Method Summary
 HashMap<K,V> clone()
           
 void merge(HashMap<K,V> hm)
          Merge this hash map with the argument hash map;
 java.lang.String toString()
           
 java.util.Enumeration<K> uniqueKeys()
           
 
Methods inherited from class java.util.Hashtable
clear, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, values
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

HashMap

public HashMap()

HashMap

public HashMap(int capacity)

HashMap

public HashMap(java.util.Map<K,V> map)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.util.Hashtable<K,V>

uniqueKeys

public java.util.Enumeration<K> uniqueKeys()

merge

public void merge(HashMap<K,V> hm)
Merge this hash map with the argument hash map;

Parameters:
hm - HashMap to merge with.

clone

public final HashMap<K,V> clone()
Overrides:
clone in class java.util.Hashtable<K,V>