com.uppaal.engine
Class ProtocolException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          com.uppaal.engine.EngineException
              com.uppaal.engine.ProtocolException

All Implemented Interfaces:

Serializable

public class ProtocolException
extends EngineException

See Also:

Serialized Form

Constructor Summary

ProtocolException()

ProtocolException(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

ProtocolException

public ProtocolException()

ProtocolException

public ProtocolException(String s)