Package com.uppaal.engine
Class ServerException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- com.uppaal.engine.EngineException
-
- com.uppaal.engine.ServerException
-
- All Implemented Interfaces:
Serializable
public class ServerException extends EngineException
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description ServerException()
ServerException(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
-
-
-
-
Constructor Detail
-
ServerException
public ServerException()
-
ServerException
public ServerException(String s)
-
-