Docjar: A Java Source and Docuemnt Enginecom.*    java.*    javax.*    org.*    all    new    plug-in

Quick Search    Search Deep

Class InvariantViolationError  view InvariantViolationError download

  extended byjava.lang.Throwable
      extended byjava.lang.Error
          extended byedu.ucsb.ccs.jcontractor.InvariantViolationError
All Implemented Interfaces:

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.

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

Nested Class Summary
Nested classes inherited from class java.lang.Throwable
Field Summary
Fields inherited from class java.lang.Error
Fields inherited from class java.lang.Throwable
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail


public InvariantViolationError(java.lang.String message)
Construction a new exception with an informative message to tell what went wrong.