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 and Description
EngineException()
EngineException(String s)
EngineException(Throwable cause)

Method Summary

Methods

Modifier and Type	Method and 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 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