JML

java.util
Class AbstractSet

java.lang.Object
  extended byjava.util.AbstractCollection
      extended byjava.util.AbstractSet
All Implemented Interfaces:
Collection, Set
Direct Known Subclasses:
HashSet, TreeSet

public abstract class AbstractSet
extends AbstractCollection
implements Set


Constructor Summary
protected AbstractSet()
           
 
Method Summary
 boolean equals(Object)
           
 int hashCode()
           
 boolean removeAll(Collection)
           
 
Methods inherited from class java.util.AbstractCollection
add, addAll, clear, contains, containsAll, isEmpty, iterator, remove, retainAll, size, toArray, toArray, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Set
add, addAll, clear, contains, containsAll, isEmpty, iterator, remove, retainAll, size, toArray, toArray
 

Constructor Detail

AbstractSet

protected AbstractSet()
Method Detail

equals

public boolean equals(Object)
Specified by:
equals in interface Set
Overrides:
equals in class Object

hashCode

public int hashCode()
Specified by:
hashCode in interface Set
Overrides:
hashCode in class Object

removeAll

public boolean removeAll(Collection)
Specified by:
removeAll in interface Set
Overrides:
removeAll in class AbstractCollection

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.