JML

java.util
Class AbstractCollection

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

public abstract class AbstractCollection
extends Object
implements Collection


Constructor Summary
protected AbstractCollection()
           
 
Method Summary
 boolean add(Object)
           
 boolean addAll(Collection)
           
 void clear()
           
 boolean contains(Object)
           
 boolean containsAll(Collection)
           
private static Object[] finishToArray(Object[], Iterator)
           
 boolean isEmpty()
           
abstract  Iterator iterator()
           
 boolean remove(Object)
           
 boolean removeAll(Collection)
           
 boolean retainAll(Collection)
           
abstract  int size()
           
 Object[] toArray()
           
 Object[] toArray(Object[])
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Collection
equals, hashCode
 

Constructor Detail

AbstractCollection

protected AbstractCollection()
Method Detail

iterator

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

size

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

isEmpty

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

contains

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

toArray

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

toArray

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

finishToArray

private static Object[] finishToArray(Object[],
                                      Iterator)

add

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

remove

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

containsAll

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

addAll

public boolean addAll(Collection)
Specified by:
addAll 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

clear

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

toString

public String toString()
Overrides:
toString in class 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.