org.jacaranda.verifier
Class FatalException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by java.lang.RuntimeException
              extended by org.jacaranda.verifier.FatalException
All Implemented Interfaces:
java.io.Serializable

public class FatalException
extends java.lang.RuntimeException

Exception thrown due to a fatal verification error.

See Also:
Serialized Form

Constructor Summary
FatalException(java.lang.String message)
          Construct a FatalException that was not caused by any specific prior exception.
FatalException(java.lang.String message, java.lang.Throwable cause)
          Construct a FatalException that was caused by a prior exception.
 
Method Summary
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

FatalException

public FatalException(java.lang.String message,
                      java.lang.Throwable cause)
Construct a FatalException that was caused by a prior exception.


FatalException

public FatalException(java.lang.String message)
Construct a FatalException that was not caused by any specific prior exception.