IvmlException (EASy-Producer Documentation API)

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

All Implemented Interfaces:

java.io.Serializable, IIdentifiable

Direct Known Subclasses:

ConfigurationException, CSTSemanticException, ModelQueryException, ReasoningException, UnknownTypeException, ValueDoesNotMatchTypeException
```
public abstract class IvmlException
extends java.lang.Exception
implements IIdentifiable
```
A top level exception class for all IVML exceptions.

Author:

Holger Eichelberger

See Also:

Serialized Form

Field Summary

Fields
Modifier and Type Field Description

private int code

Constructor Summary

Constructors
Constructor Description

IvmlException(java.lang.String message, int code)
Create a new exception based on the given message.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`getCode()`	Returns a numerical code representing the cause.
`int`	`getId()`	Returns a numerical identifier representing the actual `message`.

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

- Field Detail
  - code
```
private int code
```
- Constructor Detail
  - IvmlException
```
public IvmlException(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
- Method Detail
  - getCode
```
public int getCode()
```
    Returns a numerical code representing the cause.
    
    Returns:
    
    the numerical code
  - getId
```
public int getId()
```
    Description copied from interface: IIdentifiable
    
    Returns a numerical identifier representing the actual message. This identifier is used for asserting exceptions in tests.
    
    Specified by:
    
    getId in interface IIdentifiable
    
    Returns:
    
    the identifier