Class IsomorphismUndecidableException

  • All Implemented Interfaces:
    Serializable

    public class IsomorphismUndecidableException
    extends RuntimeException
    Implementation of IsomorphismUndecidableException to indicate undecidable isomorphism cases in isomorphism inspectors
    See Also:
    Serialized Form
    • 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​(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​(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​(String message,
                                               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.)