Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.jmlspecs.models
Interface JMLComparable

All Superinterfaces:
Cloneable, Comparable, JMLType, Serializable
All Known Subinterfaces:
JMLInfiniteInteger
All Known Implementing Classes:
JMLByte, JMLChar, JMLDouble, JMLFloat, JMLInfiniteIntegerClass, JMLInteger, JMLLong, JMLShort, JMLString
public interface JMLComparable
extends JMLType, Comparable

JMLTypes with an compareTo operation, as in Comparable.

Version:
$Revision: 1.10 $
Author:
Gary T. Leavens
See Also:
Comparable

Method Summary
 int compareTo(Object o)
          Compare this to o, returning a comparison code.
 
Methods inherited from interface org.jmlspecs.models.JMLType
clone, equals, hashCode
 

Method Detail

compareTo

public int compareTo(Object o)
                       throws ClassCastException
Compare this to o, returning a comparison code.

Specified by:
compareTo in interface Comparable
Parameters:
o - the object this is compared to.
Throws:
ClassCastException - when o doesn't have an appropriate type.
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
JML
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
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.