edu.ucsb.ccs.jcontractor
Class PostconditionViolationError

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Error
              |
              +--edu.ucsb.ccs.jcontractor.PostconditionViolationError

All Implemented Interfaces:

java.io.Serializable

public class PostconditionViolationError

extends java.lang.Error

An error that will be thrown when a postcondition is violated. Be warned: in general a contract violation suggests a problem with the implementation or specification of the code. It is not an error that should be caught and handled. Think twice before catching a PostconditionViolationError.

Version:

$Id: PostconditionViolationError.java,v 1.4 2002/12/17 06:21:55 ccn Exp $

Author:

Parker Abercrombie

See Also:

PreconditionViolationError, InvariantViolationError, Serialized Form

Constructor Summary

PostconditionViolationError(java.lang.String message)
Construction a new error with an informative message to tell what went wrong.

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

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

Constructor Detail

PostconditionViolationError

public PostconditionViolationError(java.lang.String message)

Construction a new error with an informative message to tell what went wrong.

Parameters:

message - an informative message to tell why the error was thrown.