org.jmlspecs.models.resolve
Interface TotalCompareTo

All Superinterfaces:

CompareTo, ReflexiveCompareTo

All Known Subinterfaces:

StrictlyOrderedCompareTo, TotallyOrderedCompareTo, TotalPreorderedCompareTo, TrichotomousCompareTo

All Known Implementing Classes:

NaturalNumber

public interface TotalCompareTo

extends ReflexiveCompareTo

Objects whose compareTo operation is guaranteed not to throw an UndefinedException and only throws a ClassCastException when the class of the argument prohibits comparison.

Version:

$Revision: 1.10 $

Author:

Gary T. Leavens

Method Summary
int	compareTo(Object obj)           Compare this to obj, returning negative if this is strictly less than obj, 0 if they are equal, and positive otherwise.

 

Method Detail

compareTo

public int compareTo(Object obj)
                       throws ClassCastException,
                              NullPointerException

Description copied from interface: CompareTo

Compare this to obj, returning negative if this is strictly less than obj, 0 if they are equal, and positive otherwise.

Specified by:

compareTo in interface CompareTo

Throws:

ClassCastException

NullPointerException