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

ServerException()

ServerException(String s)

Method Summary

Methods inherited from class com.uppaal.engine.EngineException

toString

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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(String s)