Package 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

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 Details

EngineException

public EngineException()

EngineException

public EngineException(String s)

EngineException

public EngineException(String s, Throwable cause)

EngineException

public EngineException(Throwable cause)

Method Details

toString

public String toString()

Overrides:

toString in class Throwable