Overview  Package   Class  Use  Deprecated  Index
Home >> All >> edu >> ucsb >> ccs >> [ jcontractor overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

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 $

---

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

InvariantViolationError

public InvariantViolationError(java.lang.String message)

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

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> edu >> ucsb >> ccs >> [ jcontractor overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---