EngineException (UPPAAL model library)

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

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

Serialized Form

Constructor Summary

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

Method Summary

Modifier and Type Method Description

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(String s)
```

EngineException

public EngineException(String s,
                       Throwable cause)

EngineException

public EngineException(Throwable cause)

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