edu.ucsb.ccs.jcontractor
Class PreconditionViolationError

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

All Implemented Interfaces:

java.io.Serializable

public class PreconditionViolationError

extends java.lang.Error

An error that will be thrown when a precondition 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 PreconditionViolationError.

Version:

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

Author:

Parker Abercrombie

See Also:

PostconditionViolationError, InvariantViolationError, Serialized Form

Constructor Summary

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

PreconditionViolationError

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