JML

java.util
Interface Set

All Superinterfaces:
Collection
All Known Subinterfaces:
NavigableSet, SortedSet
All Known Implementing Classes:
AbstractSet, HashSet, LinkedHashSet, TreeSet

public interface Set
extends Collection


Method Summary
 boolean add(Object)
           
 boolean addAll(Collection)
           
 void clear()
           
 boolean contains(Object)
           
 boolean containsAll(Collection)
           
 boolean equals(Object)
           
 int hashCode()
           
 boolean isEmpty()
           
 Iterator iterator()
           
 boolean remove(Object)
           
 boolean removeAll(Collection)
           
 boolean retainAll(Collection)
           
 int size()
           
 Object[] toArray()
           
 Object[] toArray(Object[])
           
 

Method Detail

add

public boolean add(Object)
Specified by:
add in interface Collection

addAll

public boolean addAll(Collection)
Specified by:
addAll in interface Collection

clear

public void clear()
Specified by:
clear in interface Collection

contains

public boolean contains(Object)
Specified by:
contains in interface Collection

containsAll

public boolean containsAll(Collection)
Specified by:
containsAll in interface Collection

equals

public boolean equals(Object)
Specified by:
equals in interface Collection

hashCode

public int hashCode()
Specified by:
hashCode in interface Collection

isEmpty

public boolean isEmpty()
Specified by:
isEmpty in interface Collection

iterator

public Iterator iterator()
Specified by:
iterator in interface Collection

remove

public boolean remove(Object)
Specified by:
remove in interface Collection

removeAll

public boolean removeAll(Collection)
Specified by:
removeAll in interface Collection

retainAll

public boolean retainAll(Collection)
Specified by:
retainAll in interface Collection

size

public int size()
Specified by:
size in interface Collection

toArray

public Object[] toArray()
Specified by:
toArray in interface Collection

toArray

public Object[] toArray(Object[])
Specified by:
toArray in interface Collection

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.