Class SolverException
java.lang.Object
java.lang.Throwable
java.lang.Exception
org.tweetyproject.lp.asp.reasoner.SolverException
- All Implemented Interfaces:
Serializable
This class models a generic exception for ASP solvers.
- Author:
- Thomas Vengels, Tim Janus
- See Also:
-
Field Summary
Modifier and TypeFieldDescriptionstatic int
static int
static int
static int
static int
static int
static int
final int
final String
-
Constructor Summary
ConstructorDescriptionSolverException
(String text, int exceptionCode) Creates a new SolverException with the given message. -
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
-
Field Details
-
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
-
solverErrorCode
public final int solverErrorCode
-
-
Constructor Details
-
SolverException
Creates a new SolverException with the given message.- Parameters:
text
- the text for the exceptionexceptionCode
- the exception code
-
-
Method Details