Package net.ssehub.easy.varModel.model

Class ReasoningException

java.lang.Object

java.lang.Throwable

java.lang.Exception

net.ssehub.easy.varModel.model.IvmlException

net.ssehub.easy.varModel.model.ReasoningException

All Implemented Interfaces:

Serializable, net.ssehub.easy.basics.messages.IIdentifiable

public abstract class ReasoningException
extends IvmlException

An exception class for all reasoning exceptions.

Author:

Patrick Jähne

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
ReasoningException(String message, int code)	* Create a new exception based on the given message.

Method Summary

Methods inherited from class net.ssehub.easy.varModel.model.IvmlException

getCode, getId

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

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

Methods inherited from interface net.ssehub.easy.basics.messages.IIdentifiable

getMessage

Constructor Details

ReasoningException

public ReasoningException(String message,
 int code)

* Create a new exception based on the given message.

Parameters:

message - the message

code - a code detailing the exception