org.obligate.annotations.contract
Class PostconditionException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          java.lang.RuntimeException
              org.obligate.annotations.contract.ContractViolationException
                  org.obligate.annotations.contract.PostconditionException

All Implemented Interfaces:

java.io.Serializable

public class PostconditionException
extends ContractViolationException

Precondition violation exception

Since:

16-Jan-2006

Author:

Steve Jones

See Also:

Serialized Form

Constructor Summary

PostconditionException()

PostconditionException(java.lang.String arg0)

PostconditionException(java.lang.String arg0, java.lang.Throwable arg1)

PostconditionException(java.lang.Throwable arg0)

Method Summary

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

PostconditionException

public PostconditionException()

PostconditionException

public PostconditionException(java.lang.String arg0)

Parameters:

arg0 -

PostconditionException

public PostconditionException(java.lang.String arg0,
                              java.lang.Throwable arg1)

Parameters:

arg0 -

arg1 -

PostconditionException

public PostconditionException(java.lang.Throwable arg0)

Parameters:

arg0 -