net.sf.tweety.lp.asp.solver

Class SolverException

java.lang.Object

java.lang.Throwable

java.lang.Exception

net.sf.tweety.lp.asp.solver.SolverException

All Implemented Interfaces:

Serializable

public class SolverException
extends Exception

Author:

Thomas Vengels, Tim Janus

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
static int	SE_CANNOT_FIND_SOLVER
static int	SE_CANNOT_OPEN_INPUT
static int	SE_ERROR
static int	SE_IO_FAILED
static int	SE_NO_BINARY
static int	SE_PERMISSIONS
static int	SE_SYNTAX_ERROR
int	solverErrorCode
String	solverErrorText

Constructor Summary

Constructors

Constructor and Description
SolverException(String text, int exceptionCode)

Method Summary

Modifier and Type	Method and Description
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

clone, equals, finalize, 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 String solverErrorText

solverErrorCode

public final int solverErrorCode

Constructor Detail

SolverException

public SolverException(String text,
                       int exceptionCode)

Method Detail

toString

public String toString()

Overrides:

toString in class Throwable