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 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 $

---

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

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

clone, equals, finalize, 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.

---

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

---