edu.ucsb.ccs.jcontractor
Class InvariantViolationError

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

All Implemented Interfaces:

java.io.Serializable

public class InvariantViolationError

extends java.lang.Error

An error that will be thrown when a class invariant 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 InvariantViolationError.

Version:

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

Author:

Parker Abercrombie

See Also:

PreconditionViolationError, PostconditionViolationError, Serialized Form

Constructor Summary

InvariantViolationError(java.lang.String message)
Construction a new exception 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

InvariantViolationError

public InvariantViolationError(java.lang.String message)

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

Parameters:

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