com.ail.core
Class PostconditionException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          com.ail.core.BaseException
              com.ail.core.PostconditionException

All Implemented Interfaces:

java.io.Serializable

public class PostconditionException
extends BaseException

The Postcondition exception is thrown to indicate the violation of an entry point's exit conditions.

Since:

2.0

Version:

$Revision: 1.1 $

See Also:

Serialized Form

Constructor Summary

PostconditionException(java.lang.String description)
Constructor

Method Summary

Methods inherited from class com.ail.core.BaseException

addError, getDescription, printStackTrace, printStackTrace, printStackTrace, toString

Methods inherited from class java.lang.Throwable

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, setStackTrace

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PostconditionException

public PostconditionException(java.lang.String description)

Constructor

Parameters:

description - A description of the pre-condition that has been violaated.