org.obligate.annotations.contract
Class ContractViolationException

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

PostconditionException, PreconditionException

public class ContractViolationException
extends java.lang.RuntimeException

Precondition violation exception

Since:

16-Jan-2006

Author:

Steve Jones

See Also:

Serialized Form

Constructor Summary

ContractViolationException()

ContractViolationException(java.lang.String arg0)

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

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

ContractViolationException

public ContractViolationException()

ContractViolationException

public ContractViolationException(java.lang.String arg0)

Parameters:

arg0 -

ContractViolationException

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

Parameters:

arg0 -

arg1 -

ContractViolationException

public ContractViolationException(java.lang.Throwable arg0)

Parameters:

arg0 -