net.sf.tweety.lp.asp.reasoner

Class SolverException

java.lang.Object

java.lang.Throwable

java.lang.Exception

net.sf.tweety.lp.asp.reasoner.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

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
private static long	serialVersionUID
int	solverErrorCode
java.lang.String	solverErrorText

Constructor Summary

Constructors

Constructor and Description
SolverException(java.lang.String text, int exceptionCode) Creates a new SolverException with the given message.

Method Summary

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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

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 -

exceptionCode -

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable