Package org.japprove.exceptions

Class VerificationFailedException

java.lang.Object
java.lang.Throwable
java.lang.Exception
java.lang.RuntimeException
org.japprove.exceptions.VerificationFailedException
All Implemented Interfaces:
java.io.Serializable
public class VerificationFailedException
extends java.lang.RuntimeException
This Exception is thrown if the differences of two Files cannot be computed.
See Also:
Serialized Form

  • Constructor Summary

    Constructors 
    Constructor Description
    VerificationFailedException​(java.lang.String message)  

  • Method Summary

    Methods inherited from class java.lang.Throwable

    addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait