Class FixpointException

  • All Implemented Interfaces:
    java.io.Serializable
    Direct Known Subclasses:
    NoEntryPointException

    public class FixpointException
    extends java.lang.Exception
    An exception raised during the fixpoint computation.
    See Also:
    Serialized Form
    • 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

      • FixpointException

        public FixpointException()
        Builds the exception.
      • FixpointException

        public FixpointException​(java.lang.String message,
                                 java.lang.Throwable cause)
        Builds the exception.
        Parameters:
        message - the message associated with this exception
        cause - the underlying cause of this exception
      • FixpointException

        public FixpointException​(java.lang.String message)
        Builds the exception.
        Parameters:
        message - the message associated with this exception
      • FixpointException

        public FixpointException​(java.lang.Throwable cause)
        Builds the exception.
        Parameters:
        cause - the underlying cause of this exception