com.uppaal.engine
Class EngineException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by 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


Copyright © 2012 Uppsala University and Aalborg University. All Rights Reserved.