de.upb.swt.mcie.mc
Class AbortException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by de.upb.swt.mcie.mc.AbortException
All Implemented Interfaces:
java.io.Serializable

public class AbortException
extends java.lang.RuntimeException

Exception that indicates that a model checking operation on a model was explicitly aborted.

Author:
Ekkart Kindler, eki@imm.dtu.dk
See Also:
Serialized Form

Constructor Summary
AbortException()
           
 
Method Summary
 java.lang.String toString()
          Converts the exception to its String representation.
 
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

AbortException

public AbortException()
Method Detail

toString

public java.lang.String toString()
Converts the exception to its String representation.

Overrides:
toString in class java.lang.Throwable