ServerException (UPPAAL model library)

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

All Implemented Interfaces:

java.io.Serializable
```
public class ServerException
extends EngineException
```
See Also:

Serialized Form

- Constructor Summary
  
  Constructors
  Constructor Description
  
  ServerException()
  
  ServerException(java.lang.String s)
- Method Summary
  - Methods inherited from class com.uppaal.engine.EngineException
    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

ServerException
```
public ServerException()
```

ServerException

public ServerException(java.lang.String s)