JML

java.util
Class Dictionary

java.lang.Object
  extended byjava.util.Dictionary
Direct Known Subclasses:
Hashtable

public abstract class Dictionary
extends Object


Constructor Summary
Dictionary()
           
 
Method Summary
abstract  Enumeration elements()
           
abstract  Object get(Object)
           
abstract  boolean isEmpty()
           
abstract  Enumeration keys()
           
abstract  Object put(Object, Object)
           
abstract  Object remove(Object)
           
abstract  int size()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Dictionary

public Dictionary()
Method Detail

size

public abstract int size()

isEmpty

public abstract boolean isEmpty()

keys

public abstract Enumeration keys()

elements

public abstract Enumeration elements()

get

public abstract Object get(Object)

put

public abstract Object put(Object,
                           Object)

remove

public abstract Object remove(Object)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.