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	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`
`java.lang.String`	`solverErrorText`

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