JML

java.lang
Interface Comparable

All Known Subinterfaces:
CompilerPassEnterable, JClassDeclarationType, JCompilationUnitType, JConstructorDeclarationType, JInterfaceDeclarationType, JMethodDeclarationType, JMLComparable, JMLInfiniteInteger, JTypeDeclarationType, TotallyOrderedCompareTo
All Known Implementing Classes:
BigInteger, Byte, CClass, Character, ClassConstant, CMethod, CType, Double, File, Float, InnerClassInfo, Integer, JClassDeclaration, JCompilationUnit, JConstructorDeclaration, JInterfaceDeclaration, JMethodDeclaration, JMLByte, JMLChar, JmlClassDeclaration, JmlCompilationUnit, JmlConstructorDeclaration, JMLDouble, JMLFloat, JmlHTML.IntPair, JmlHTML.IntString, JMLInfiniteIntegerClass, JMLInteger, JmlInterfaceDeclaration, JMLLong, JmlMethodDeclaration, JMLShort, JMLString, JmlTypeDeclaration, JTypeDeclaration, JTypeDeclaration.MethodRecord, Long, Main.Task, Member, NaturalNumber, RacParser.RacMethodDeclaration, Short, String

public interface Comparable


Method Summary
 int compareTo(Object)
           
 

Method Detail

compareTo

public int compareTo(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.