JML

Uses of Interface
java.util.SortedSet

Packages that use SortedSet
java.util JML Specifications for the corresponding types in the Java Developement Kit (JDK). 
org.multijava.mjdoc.mjdoc_142 The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool. 
 

Uses of SortedSet in java.util
 

Classes in java.util that implement SortedSet
 class TreeSet
          JML's specification of java.util.TreeSet.
 

Methods in java.util that return SortedSet
 SortedSet TreeSet.subSet(Object fromElement, Object toElement)
           
 SortedSet TreeSet.headSet(Object toElement)
           
 SortedSet TreeSet.tailSet(Object fromElement)
           
abstract  SortedSet SortedSet.subSet(Object fromElement, Object toElement)
           
abstract  SortedSet SortedSet.headSet(Object toElement)
           
abstract  SortedSet SortedSet.tailSet(Object fromElement)
           
 

Methods in java.util with parameters of type SortedSet
(package private)  void TreeMap.addAllForTreeSet(SortedSet set, Object defaultVal)
           
 

Constructors in java.util with parameters of type SortedSet
TreeSet(SortedSet s)
           
 

Uses of SortedSet in org.multijava.mjdoc.mjdoc_142
 

Fields in org.multijava.mjdoc.mjdoc_142 declared as SortedSet
private  SortedSet MjRootDoc.allMethods
          Holds a list of all the methods in all the classes (not interfaces ?
 

Methods in org.multijava.mjdoc.mjdoc_142 that return SortedSet
 SortedSet MjRootDoc.allMethods()
          Returns the list of methods that have been registered.
 SortedSet MjRootDoc.topConcreteMethods(com.sun.javadoc.PackageDoc p)
          Returns the list of top concrete methods of all the registered methods.
 


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.