public class JcelReasonerException extends RuntimeException
JcelReasoner
,
Serialized FormConstructor and Description |
---|
JcelReasonerException(String message)
Constructs a new reasoner exception.
|
JcelReasonerException(String message,
Throwable cause)
Constructs a new reasoner exception.
|
JcelReasonerException(Throwable cause)
Constructs a new reasoner exception.
|
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public JcelReasonerException(String message)
message
- message to be displayedpublic JcelReasonerException(String message, Throwable cause)
message
- message to be displayedcause
- cause of the exceptionpublic JcelReasonerException(Throwable cause)
cause
- cause of the exceptionCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.