org.jmlspecs.models.resolve
Interface CompareTo

All Known Subinterfaces:

AntisymmetricCompareTo, AsymmetricCompareTo, DenselyOrderedCompareTo, PartiallyOrderedCompareTo, PreorderedCompareTo, ReflexiveCompareTo, StrictlyOrderedCompareTo, StrictPartiallyOrderedCompareTo, SymmetricCompareTo, TotalCompareTo, TotallyOrderedCompareTo, TotalPreorderedCompareTo, TransitiveCompareTo, TrichotomousCompareTo

All Known Implementing Classes:

NaturalNumber

public interface CompareTo

Objects with a compareTo operation. Unlike Comparable, this operation is not assumed to be a total order, and may be partial.

Version:

$Revision: 1.13 $

Author:

Gary T. Leavens

See Also:

TotallyOrderedCompareTo

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 UndefinedException,
                              ClassCastException,
                              NullPointerException

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

Throws:

UndefinedException

ClassCastException

NullPointerException