com.uppaal.engine
Class EngineException

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

EngineException()

EngineException(String s)

EngineException(Throwable cause)

Method Summary

String

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

EngineException

public EngineException()

EngineException

public EngineException(String s)

EngineException

public EngineException(Throwable cause)

Method Detail

toString

public String toString()

Overrides:

toString in class Throwable