Class IsomorphismUndecidableException

  • All Implemented Interfaces:
    java.io.Serializable

    public class IsomorphismUndecidableException
    extends java.lang.RuntimeException
    Implementation of IsomorphismUndecidableException to indicate undecidable isomorphism cases in isomorphism inspectors
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      IsomorphismUndecidableException()
      Constructs a new exception with null as its detail message.
      IsomorphismUndecidableException​(java.lang.String message)
      Constructs a new exception with the specified detail message.
      IsomorphismUndecidableException​(java.lang.String message, java.lang.Throwable cause)
      Constructs a new exception with the specified detail message and cause.
      IsomorphismUndecidableException​(java.lang.Throwable cause)
      Constructs a new exception with the specified cause and a detail message of (cause==null ? null : cause.toString()) (which typically contains the class and detail message of cause).
    • 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 Detail

      • IsomorphismUndecidableException

        public IsomorphismUndecidableException()
        Constructs a new exception with null as its detail message. The cause is not initialized, and may subsequently be initialized by a call to Throwable.initCause(java.lang.Throwable).
      • IsomorphismUndecidableException

        public IsomorphismUndecidableException​(java.lang.String message)
        Constructs a new exception with the specified detail message. The cause is not initialized, and may subsequently be initialized by a call to Throwable.initCause(java.lang.Throwable).
        Parameters:
        message - the detail message. The detail message is saved for later retrieval by the Throwable.getMessage() method.
      • IsomorphismUndecidableException

        public IsomorphismUndecidableException​(java.lang.Throwable cause)
        Constructs a new exception with the specified cause and a detail message of (cause==null ? null : cause.toString()) (which typically contains the class and detail message of cause). This constructor is useful for exceptions that are little more than wrappers for other throwables (for example, PrivilegedActionException).
        Parameters:
        cause - the cause (which is saved for later retrieval by the Throwable.getCause() method). (A null value is permitted, and indicates that the cause is nonexistent or unknown.)
      • IsomorphismUndecidableException

        public IsomorphismUndecidableException​(java.lang.String message,
                                               java.lang.Throwable cause)
        Constructs a new exception with the specified detail message and cause. Note that the detail message associated with cause is not automatically incorporated in this exception's detail message.
        Parameters:
        message - the detail message (which is saved for later retrieval by the Throwable.getMessage() method).
        cause - the cause (which is saved for later retrieval by the Throwable.getCause() method). (A null value is permitted, and indicates that the cause is nonexistent or unknown.)