ReasoningException (EASy-Producer Documentation API)

java.lang.Object
- java.lang.Throwable
- - java.lang.Exception
  - - net.ssehub.easy.varModel.model.IvmlException
    - - net.ssehub.easy.varModel.model.ReasoningException

All Implemented Interfaces:

java.io.Serializable, 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(java.lang.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 Detail
  - ReasoningException
```
public ReasoningException(java.lang.String message,
                          int code)
```
    * Create a new exception based on the given message.
    
    Parameters:
    
    message - the message
    
    code - a code detailing the exception