pure interface of class gj.util.Hashtable<A, B>

public class Hashtable<A, B>
  extends Dictionary<A, B>
  implements java.io.Serializable, Cloneable
{
    public Hashtable(int initialCapacity,
                     float loadFactor);
    public Hashtable(int initialCapacity);
    public Hashtable();
    public int size();
    public boolean isEmpty();
    public synchronized Enumeration<A> keys();
    public synchronized Enumeration<B> elements();
    public synchronized boolean contains(B value);
    public synchronized boolean containsKey(A key);
    public synchronized B get(A key);
    protected void rehash();
    public synchronized B put(A key,
                              B value);
    public synchronized B remove(A key);
    public synchronized void clear();
    public synchronized Object clone();
    public synchronized String toString();
}