Package org.mpi_sws.jmc.util
Interface TotalOrder<T>
- All Known Implementing Classes:
LamportVectorClock.Component
public interface TotalOrder<T>
Represents a generic total order relation.
-
Nested Class Summary
Nested ClassesModifier and TypeInterfaceDescriptionstatic classRepresents an exception thrown when an invalid comparison is attempted.static enumRepresents the relation between two objects. -
Method Summary
Modifier and TypeMethodDescriptionCompares two objects of type T - the current and the other passed as argument.
-
Method Details
-
compare
Compares two objects of type T - the current and the other passed as argument.- Parameters:
other- the other object to compare to- Returns:
- The relation between the two objects.
- Throws:
TotalOrder.InvalidComparisonException
-