org.acmsl.contractchecker
Class ContractViolation

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--java.lang.RuntimeException
                    |
                    +--org.acmsl.contractchecker.ContractViolation

All Implemented Interfaces:

java.io.Serializable

public class ContractViolation

extends java.lang.RuntimeException

Represents violation of declared contracts.

Version:

$Revision: 1.1 $

Author:

Jose San Leandro

See Also:

Serialized Form

Constructor Summary

ContractViolation(java.lang.String message)
Creates a ContractCheckerException to model an abnormal situation described by given message.

ContractViolation(java.lang.String message, java.lang.Throwable cause)
Creates a ContractCheckerException to model an abnormal situation described by given message, wrapping additional exception.

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

ContractViolation

public ContractViolation(java.lang.String message)

Creates a ContractCheckerException to model an abnormal situation described by given message.

Parameters:

message - the message.

ContractViolation

public ContractViolation(java.lang.String message,
                         java.lang.Throwable cause)

Creates a ContractCheckerException to model an abnormal situation described by given message, wrapping additional exception.

Parameters:

message - the message.

cause - the detailed cause.