Class SolverException

  • All Implemented Interfaces:
    java.io.Serializable

    public class SolverException
    extends java.lang.Exception
    This class models a generic exception for ASP solvers.
    Author:
    Thomas Vengels, Tim Janus
    See Also:
    Serialized Form
    • Constructor Summary

      Constructors 
      Constructor Description
      SolverException​(java.lang.String text, int exceptionCode)
      Creates a new SolverException with the given message.
    • Method Summary

      Modifier and Type Method Description
      java.lang.String toString()  
      • Methods inherited from class java.lang.Throwable

        addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Field Detail

      • SE_ERROR

        public static int SE_ERROR
      • SE_IO_FAILED

        public static int SE_IO_FAILED
      • SE_NO_BINARY

        public static int SE_NO_BINARY
      • SE_SYNTAX_ERROR

        public static int SE_SYNTAX_ERROR
      • SE_CANNOT_OPEN_INPUT

        public static int SE_CANNOT_OPEN_INPUT
      • SE_CANNOT_FIND_SOLVER

        public static int SE_CANNOT_FIND_SOLVER
      • SE_PERMISSIONS

        public static int SE_PERMISSIONS
      • solverErrorText

        public final java.lang.String solverErrorText
      • solverErrorCode

        public final int solverErrorCode
    • Constructor Detail

      • SolverException

        public SolverException​(java.lang.String text,
                               int exceptionCode)
        Creates a new SolverException with the given message.
        Parameters:
        text - the text for the exception
        exceptionCode - the exception code
    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Throwable