Package patterntesting.runtime.dbc

Class ContractViolation

  • All Implemented Interfaces:
    java.io.Serializable
    public class ContractViolation
extends java.lang.AssertionError
    The Class ContractViolation.
    Since:
    29.01.2009
    Version:
    $Revision: 1.5 $
    Author:
    oliver
    See Also:
    Serialized Form

    • Constructor Summary

      Constructors 
      Constructor Description
      ContractViolation​(java.lang.Object detailMessage)
      Instantiates a new contract violation.

    • 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

    • Constructor Detail

      • ContractViolation

        public ContractViolation​(java.lang.Object detailMessage)
        Instantiates a new contract violation.
        Parameters:
        detailMessage - the detail message