Uses of Class
java.util.AbstractCollection

Packages that use AbstractCollection

java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of AbstractCollection in java.util

Subclasses of AbstractCollection in java.util

class	AbstractList JML's specification of java.util.AbstractList.
class	AbstractSequentialList
class	AbstractSet JML's specification of java.util.AbstractSet.
class	ArrayList JML's specification of ArrayList.
class	HashSet JML's specification of java.util.HashSet.
class	LinkedHashSet
class	LinkedList JML's specification of java.util.LinkedList.
(package private) class	RandomAccessSubList
class	Stack JML's specification of Stack.
(package private) class	SubList
class	TreeSet JML's specification of java.util.TreeSet.
class	Vector JML's specification of java.util.Vector.

Uses of AbstractCollection in org.multijava.mjc

Subclasses of AbstractCollection in org.multijava.mjc

(package private) class	JTypeDeclaration.DispatcherClassList
(package private) class	JTypeDeclaration.MethodList
(package private) class	JTypeDeclaration.PleomorphSet