EngineException (UPPAAL model library)

java.lang.Object
- java.lang.Throwable
- - java.lang.Exception
  - - com.uppaal.engine.EngineException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

ProtocolException, ServerException
```
public class EngineException
extends java.lang.Exception
```
See Also:

Serialized Form

Constructor Summary

Constructors
Constructor	Description
`EngineException()`
`EngineException(java.lang.String s)`
`EngineException(java.lang.String s, java.lang.Throwable cause)`
`EngineException(java.lang.Throwable cause)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method Description

java.lang.String toString()
- Methods inherited from class java.lang.Throwable
  addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

EngineException
```
public EngineException()
```

EngineException

public EngineException(java.lang.String s)

EngineException

public EngineException(java.lang.String s,
                       java.lang.Throwable cause)

EngineException

public EngineException(java.lang.Throwable cause)

Method Detail
- toString
```
public java.lang.String toString()
```
  Overrides:
  
  toString in class java.lang.Throwable