org.semanticweb.owlapi.reasoner

Class ReasonerInternalException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.semanticweb.owlapi.model.OWLRuntimeException

org.semanticweb.owlapi.reasoner.OWLReasonerRuntimeException

org.semanticweb.owlapi.reasoner.ReasonerInternalException

All Implemented Interfaces:

Serializable

public class ReasonerInternalException
extends OWLReasonerRuntimeException

Specifies that a some internal error occurred during reasoning. Each reasoner implementation will specify the cause of the error in the message.
This exception is only thrown when an internal error (due to errors in the reasoner code) has occurred and the reasoner cannot recover silently from the error. If the reasoner can recover silently this exception will not be thrown.
Clients should dispose of the reasoner when an internal reasoner exception is thrown because the error is unrecoverable and the internal state of the reasoner may be corrupt.

Since:

3.1.0

Author:

Matthew Horridge, The University of Manchester, Bio-Health Informatics Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ReasonerInternalException(String message)
ReasonerInternalException(String message, Throwable cause)
ReasonerInternalException(Throwable cause)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ReasonerInternalException

public ReasonerInternalException(Throwable cause)

Parameters:

cause - error cause

ReasonerInternalException

public ReasonerInternalException(String message)

Parameters:

message - error message

ReasonerInternalException

public ReasonerInternalException(String message,
                                 Throwable cause)

Parameters:

message - error message

cause - error cause