org.acmsl.contractchecker
Class ContractCheckerException

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

All Implemented Interfaces:

java.io.Serializable

public class ContractCheckerException

extends java.lang.Exception

Models runtime information in abnormal, but managed, situations.

Version:

$Revision: 1.2 $

Author:

Jose San Leandro

See Also:

Serialized Form

Constructor Summary

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

ContractCheckerException(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

ContractCheckerException

public ContractCheckerException(java.lang.String message)

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

Parameters:

message - the message.

ContractCheckerException

public ContractCheckerException(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.