Package org.mpi_sws.jmc.util

Class TotalOrder.InvalidComparisonException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.mpi_sws.jmc.util.TotalOrder.InvalidComparisonException

All Implemented Interfaces:

Serializable

Enclosing interface:

TotalOrder<T>

public static class TotalOrder.InvalidComparisonException
extends Exception

Represents an exception thrown when an invalid comparison is attempted.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
InvalidComparisonException(String message)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

InvalidComparisonException

public InvalidComparisonException(String message)