org.semanticweb.owlapi.reasoner

Class TimeOutException

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.TimeOutException

All Implemented Interfaces:

Serializable

public class TimeOutException
extends OWLReasonerRuntimeException

Thrown when the current reasoner operation has been interrupted due to a satisfiability check timeout.

Since:

3.0.0

Author:

Matthew Horridge, The University of Manchester, Information Management Group

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TimeOutException() Default constructor.
TimeOutException(String message)
TimeOutException(String message, 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

TimeOutException

public TimeOutException()

Default constructor.

TimeOutException

public TimeOutException(String message)

Parameters:

message - error message

TimeOutException

public TimeOutException(String message,
                        Throwable cause)

Parameters:

message - error message

cause - error cause